1151 search results - page 150 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
132
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
107
click to vote
ASYNC
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a high-speed, clockless, serial link transceiver for inter-chip communication in asynchronous VLSI systems. Serial link transceivers achieve high offchip data rates by ...
236
click to vote
EC
2011
14 years 11 months ago
2011
Whereas the current practice of designing antennas by hand is severely limited because it is both time and labor intensive and requires a significant amount of domain knowledge, ...
289
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
143
Voted
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...