2487 search results - page 324 / 498 » cases 2009 |
142
click to vote
EUROPAR
2009
Springer
16 years 12 days ago
2009
Springer
Moore’s Law suggests that the number of processing cores on a single chip increases exponentially. The future performance increases will be mainly extracted from thread-level par...
167
click to vote
EUROPAR
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
161
click to vote
FCT
2009
Springer
16 years 12 days ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
140
click to vote
FSEN
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
140
click to vote
FSEN
2009
Springer
16 years 12 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...