5171 search results - page 375 / 1035 » Deterministic Parallel Processing |
131
Voted
ACL
1998
15 years 5 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...
155
Voted
CLUSTER
2004
IEEE
15 years 3 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...
128
Voted
COCO
2003
Springer
15 years 9 months 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...
105
Voted
ICDCS
1998
IEEE
15 years 8 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...
107
Voted
CSL
2006
Springer
15 years 7 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