570 search results - page 28 / 114 » concurrency 2006 |
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
106
click to vote
AIA
2006
14 years 11 months ago
2006
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....
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...
71
Voted
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...