4759 search results - page 690 / 952 » Parallelizing the Phylogeny Problem |
193
click to vote
STACS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent years, probabilistic analyses of algorithms have received increasing attention. Despite results on the average-case complexity and smoothed complexity of exact ...
134
click to vote
NSPW
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
180
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
144
click to vote
CONCUR
2004
Springer
15 years 12 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...
168
click to vote
ECOOPW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...