12981 search results - page 2470 / 2597 » Model Checking and Abstraction |
113
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. If the genetic maps of two species are modelled as permutations of (homologous) genes, the number of chromosomal rearrangements in the form of deletions, block moves, inv...
121
Voted
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
126
click to vote
IWDC
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. For time-constrained applications, repair-server-based active local recovery approaches can be valuable in providing low-latency reliable multicast service. However, an a...
119
click to vote
IWDC
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Endpoint admission control is a mechanism for achieving scalable services by pushing quality-of-service functionality to end hosts. In particular, hosts probe the network...
112
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—We study a network model in which each network link is associated with a set of delays and costs. These costs are a function of the delays and reflect the prices paid i...