1239 search results - page 130 / 248 » Applying Model Checking to Concurrent UML Models |
116
Voted
FUIN
2000
15 years 2 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...
138
Voted
CC
2004
Springer
15 years 8 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...
153
Voted
PLDI
2011
ACM
14 years 5 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...
114
Voted
DSD
2007
IEEE
15 years 9 months 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...
127
Voted
SOFSEM
2007
Springer
15 years 8 months 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...