4759 search results - page 411 / 952 » Parallelizing the Phylogeny Problem |
167
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
193
click to vote
ISPAN
2005
IEEE
16 years 12 days ago
2005
IEEE
In classical mechanism design setting the outcome of the mechanism is computed by a trusted central party. In this paper we consider distributed implementations in which the outco...
173
click to vote
PDP
2005
IEEE
16 years 12 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
154
click to vote
PODC
2005
ACM
16 years 12 days ago
2005
ACM
— We consider the problem of reliable broadcast in an infinite grid (or finite toroidal) radio network under Byzantine and crash-stop failures. We present bounds on the maximum...
182
click to vote
SPAA
2005
ACM
16 years 11 days ago
2005
ACM
A weighted undirected network is ∆ growth-bounded if the number of nodes at distance 2r around any given node is at most ∆ times the number of nodes at distance r around the n...