3872 search results - page 455 / 775 » The Java memory model |
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
165
click to vote
EUROPAR
2009
Springer
16 years 25 days ago
2009
Springer
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...
167
click to vote
DMSN
2009
ACM
16 years 23 days ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
211
click to vote
IEEEICCI
2003
IEEE
15 years 11 months ago
2003
IEEE
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...
175
click to vote
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...