1239 search results - page 130 / 248 » Applying Model Checking to Concurrent UML Models |
156
click to vote
FUIN
2000
15 years 6 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
189
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
200
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
154
click to vote
DSD
2007
IEEE
16 years 22 days ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
177
click to vote
SOFSEM
2007
Springer
16 years 15 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...