5171 search results - page 375 / 1035 » Deterministic Parallel Processing |
170
click to vote
ACL
1998
15 years 8 months ago
1998
This paper presents a new model for word alignments between parallel sentences, which allows one to accurately estimate different parameters, in a computationally efficient way. A...
221
Voted
CLUSTER
2004
IEEE
15 years 6 months ago
2004
IEEE
Fault tolerance in parallel systems has traditionally been achieved through a combination of redundancy and checkpointing methods. This notion has also been extended to message-pas...
165
click to vote
COCO
2003
Springer
16 years 12 hour ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
145
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Heartbeat protocols are used by distributed programs to ensure that if a process in a program terminates or fails, then the remaining processes in the program terminate. We presen...
156
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached