748 search results - page 42 / 150 » concurrency 2008 |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
TVLSI
2002
14 years 9 months ago
2002
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
CONCURRENCY
2006
14 years 9 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...
CONCURRENCY
2006
14 years 9 months ago
2006
Abstract-- Grid middleware needs to adapt to changing resources for a large variety of operations. Currently, information about Grid resources can be retrieved from various monitor...
67
Voted
CONCURRENCY
2004
14 years 9 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...