10051 search results - page 1620 / 2011 » A Dynamic Separator Algorithm |
143
Voted
ESA
2001
Springer
15 years 9 months ago
2001
Springer
We study the completion time of broadcast operations on static ad hoc wireless networks in presence of unpredictable and dynamical faults. Concerning oblivious fault-tolerant dist...
142
click to vote
RECOMB
2001
Springer
15 years 9 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
164
Voted
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
136
Voted
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
129
click to vote
RTSS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...