7099 search results - page 13 / 1420 » Context for models of concurrency |
CONCURRENCY
2006
13 years 9 months ago
2006
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
CAV
2009
Springer
14 years 4 months ago
2009
Springer