Sciweavers

1368 search results - page 190 / 274
» Avoiding Simplicity Is Complex
Sort
View
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
15 years 8 months ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
116
Voted
IOLTS
2002
IEEE
148views Hardware» more  IOLTS 2002»
15 years 7 months ago
Active Replication: Towards a Truly SRAM-Based FPGA On-Line Concurrent Testing
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
Manuel G. Gericota, Gustavo R. Alves, Miguel L. Si...
113
Voted
IV
2002
IEEE
97views Visualization» more  IV 2002»
15 years 7 months ago
Towards a Visual Interface for Information Visualization
Information visualization, aided by ever more accessible computational resources, continues to grow in popularity and significance. The capability to generate complex imagery by ...
Daryl H. Hepting
112
Voted
SIGMETRICS
2010
ACM
150views Hardware» more  SIGMETRICS 2010»
15 years 7 months ago
Incentive compatibility and dynamics of congestion control
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...
Brighten Godfrey, Michael Schapira, Aviv Zohar, Sc...
ACNS
2010
Springer
156views Cryptology» more  ACNS 2010»
15 years 7 months ago
Batch Groth-Sahai
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
Olivier Blazy, Georg Fuchsbauer, Malika Izabach&eg...