11051 search results - page 2081 / 2211 » An Investigation of Generalized Cases |
162
click to vote
INFOCOM
2005
IEEE
16 years 19 days ago
2005
IEEE
The Mulitplicative Increase Multiplicative Decrease (MIMD) congestion control algorithm in the form of Scalable TCP has been proposed for high speed networks. We study fairness amo...
198
click to vote
IPPS
2005
IEEE
16 years 19 days ago
2005
IEEE
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...
206
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
219
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
179
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...