3812 search results - page 601 / 763 » Combinations of TRAP Based Systems |
161
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
156
click to vote
ICRA
2009
IEEE
15 years 12 months ago
2009
IEEE
— Prior research in biology and mechanics has shown the importance of hierarchy to the performance of dry adhesive systems on rough surfaces. The gecko utilizes several levels of...
186
click to vote
MICRO
2009
IEEE
15 years 12 months ago
2009
IEEE
Phase Change Memory (PCM) is an emerging memory technology that can increase main memory capacity in a cost-effective and power-efficient manner. However, PCM cells can endure on...
146
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...
155
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...