159
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
118
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
108
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
132
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...