4434 search results - page 117 / 887 » On the Composition of Hybrid Systems |
270
click to vote
FASE
2011
Springer
14 years 9 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
174
click to vote
ISCA
2008
IEEE
16 years 23 days ago
2008
IEEE
We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory system (STM) can be m...
145
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...