27 search results - page 4 / 6 » Using nondeterminism to amplify hardness |
COOPIS
2002
IEEE
14 years 18 days ago
2002
IEEE
CORBA is an important standard middleware used in the development of distributed applications. It has also been used with distributed real-time applications, through its extension ...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
SIGMETRICS
2011
ACM
12 years 10 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...