6939 search results - page 226 / 1388 » Algorithm Engineering for Parallel Computation |
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
121
Voted
ICDCS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper discusses wireless channel allocation problem for data dissemination in mobile computing systems. Methods for accessing data through broadcast and on-demand channels ar...
115
click to vote
WWW
2010
ACM
15 years 2 months ago
2010
ACM
Algorithms are an integral part of computer science literature. However, none of the current search engines offer specialized algorithm search facility. We describe a vertical sea...
PPSN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...
91
Voted
IPPS
2010
IEEE
15 years 12 days ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...