133 search results - page 17 / 27 » Dissipativity properties of detailed models of synchronous g... |
CAV
2010
Springer
13 years 11 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...
ICCAD
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
OSDI
2002
ACM
14 years 7 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
TCOM
2010
13 years 5 months ago
2010
—The impact of antenna mutual coupling on signal correlation in multi-antenna receivers has been studied in great detail. By contrast, there has been little work on how mutual co...
CAD
2006
Springer
13 years 7 months ago
2006
Springer
Modeling, design and fabrication of tissue scaffolds with intricate architecture, porosity and pore size for desired tissue properties presents a challenge in tissue engineering. ...