5128 search results - page 58 / 1026 » When Abstraction Fails |
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Commercial backbone networks must continue to operate even when links and routers fail. Routing schemes such as OSPF, IS-IS, and MPLS reroute traffic, but they cannot guarantee...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
We present a new framework for robust 3D tracking, using a dynamic data driven coupling of continuous and discrete methods to overcome their limitations. Our method uses primarily ...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
104
click to vote
ITP
2010
14 years 11 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...