2924 search results - page 413 / 585 » Lower Bounds in Distributed Computing |
149
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
168
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
145
click to vote
ISPAN
2005
IEEE
15 years 10 months ago
2005
IEEE
For a given graph G = (V, E) and a positive integer k, the super line graph of index k of G is the graph Sk(G) which has for vertices all the k-subsets of E(G), and two vertices S...
138
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
152
click to vote
ICNP
2000
IEEE
15 years 9 months ago
2000
IEEE
Fair queueing of rate and delay-sensitive packet flows in a shared-medium, multihop wireless network remains largely unaddressed because of the unique design issues such as locat...