6770 search results - page 261 / 1354 » How GPUs Work |
109
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract -- Shortest path routing protocols may suffer from congestion due to the use of a single shortest path between a source and a destination. The goal of our work is to first...
105
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—We propose a new parametric class of scheduling and routing policies for open multiclass queueing networks. We establish their stability and show they are amenable to distribute...
120
Voted
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reproducing and learning from failures in deployed software is costly and difficult. Those activities can be facilitated, however, if the circumstances leading to a failure are p...
130
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
122
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...