4385 search results - page 42 / 877 » Abstraction for Concurrent Objects |
SIGACT
1998
14 years 10 months ago
1998
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
LADS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
CONCURRENCY
2002
14 years 10 months ago
2002
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
SAC
2010
ACM
15 years 5 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...