1515 search results - page 208 / 303 » Parallel computing on any desktop |
110
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
127
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
121
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
125
Voted
NPC
2004
Springer
15 years 9 months ago
2004
Springer
In conventional DHTs, each node is assigned an exclusive slice of identifier space. Simple it is, such arrangement may be rough. In this paper we propose a generic component struc...
125
click to vote
NPC
2004
Springer
15 years 9 months ago
2004
Springer
Atomic Commitment Protocol (ACP) is an important part for any distributed transaction. ACPs have been proposed for homogeneous and heterogeneous distributed database management sys...