Sciweavers

ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
14 years 3 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
FPGA
2010
ACM
191views FPGA» more  FPGA 2010»
14 years 3 months ago
Voter insertion algorithms for FPGA designs using triple modular redundancy
Triple Modular Redundancy (TMR) is a common reliability technique for mitigating single event upsets (SEUs) in FPGA designs operating in radiation environments. For FPGA systems t...
Jonathan M. Johnson, Michael J. Wirthlin
ARC
2010
Springer
177views Hardware» more  ARC 2010»
14 years 3 months ago
An FPGA-Based Real-Time Event Sampler
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
Niels Penneman, Luc Perneel, Martin Timmerman, Bjo...
ARC
2010
Springer
178views Hardware» more  ARC 2010»
14 years 3 months ago
An Analysis of Delay Based PUF Implementations on FPGA
Physical Unclonable Functions promise cheap, efficient, and secure identification and authentication of devices. In FPGA devices, PUFs may be instantiated directly from FPGA fabri...
Sergey Morozov, Abhranil Maiti, Patrick Schaumont
TEI
2010
ACM
136views Hardware» more  TEI 2010»
14 years 3 months ago
Development strategies for tangible interaction on horizontal surfaces
Sergi Jordà, Seth E. Hunter, Pol Pla i Cone...
ISPD
2010
ACM
155views Hardware» more  ISPD 2010»
14 years 3 months ago
Interconnect power and delay optimization by dynamic programming in gridded design rules
Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer
SIGMETRICS
2009
ACM
135views Hardware» more  SIGMETRICS 2009»
14 years 3 months ago
Scheduling in multi-channel wireless networks: rate function optimality in the small-buffer regime
We consider the problem of designing scheduling algorithms for the downlink of cellular wireless networks where bandwidth is partitioned into tens to hundreds of parallel channels...
Shreeshankar Bodas, Sanjay Shakkottai, Lei Ying, R...
SIGMETRICS
2009
ACM
140views Hardware» more  SIGMETRICS 2009»
14 years 3 months ago
Optimal power allocation in server farms
Anshul Gandhi, Mor Harchol-Balter, Rajarshi Das, C...