176 search results - page 26 / 36 » Techniques for Functional Test Pattern Execution |
ASPLOS
2011
ACM
13 years 12 days ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
CONNECTION
2006
13 years 8 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
EVOW
2004
Springer
14 years 2 months ago
2004
Springer
Cellular Genetic Algorithms (cGAs) are a subclass of Genetic Algorithms (GAs) in which the population diversity and exploration are enhanced thanks to the existence of small overla...
PVM
2004
Springer
14 years 2 months ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...