Now showing items 21-22 of 22

    • Which classes of structures are both pseudo-elementary and definable by an infinitary sentence? 

      Boney, Will; Csima, Barbara F.; Day, Nancy A.; Harrison-Trainor, Matthew (2019-03-21)
      When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary ...
    • Worst Case Latency Analysis for Hoplite FPGA-based NoC 

      Wasly, Saud; Pellizzoni, Rodolfo; Kapre, Nachiket (2017-10-30)
      Overlay NoCs, such as Hoplite, are cheap to implement on an FPGA but provide no bounds on worst-case routing latency of packets traversing the NoC due to deflection routing. In this paper, we show how to adapt Hoplite to ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages