21324 search results - page 384 / 4265 » Making the case for computing |
152
click to vote
CONEXT
2009
ACM
15 years 6 months ago
2009
ACM
The behavior of routing protocols during convergence is critical as it impacts end-to-end performance. Network convergence is particularly important in BGP, the current interdomai...
153
click to vote
CF
2005
ACM
15 years 7 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
169
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
138
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...
152
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...