1720 search results - page 195 / 344 » Unranking Combinations in Parallel |
176
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
128
click to vote
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--Open-MX is a new message passing layer implemented on top of the generic Ethernet stack of the Linux kernel. Open-MX works on all Ethernet hardware, but it suffers from e...
134
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
159
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
141
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Nowadays, the use of clusters in research centers or industries is undeniable. Since few years, the usage of virtual machines (VM) offers more advanced resource management capabili...