219 search results - page 24 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
JAIR
2008
14 years 9 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
100
click to vote
ISCA
1991
IEEE
15 years 1 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
ISSE
2010
14 years 8 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...