5 search results - page 1 / 1 » Convergence debugging |
AADEBUG
2005
Springer
13 years 10 months ago
2005
Springer
INFOCOM
2009
IEEE
13 years 11 months ago
2009
IEEE
—The Border Gateway Protocol (BGP) handles the task of establishing routes between the Autonomous Systems (ASes) that make up the Internet. It is known that it is possible for a ...
ISBI
2004
IEEE
14 years 5 months ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
DISCO
1993
13 years 9 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...