11121 search results - page 199 / 2225 » Computing with Continuous Change |
119
click to vote
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Several recent studies identify the memory system as the most frequent source of hardware failures in commercial servers. Techniques to protect the memory system from failures mus...
119
Voted
GMP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
133
Voted
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents the results from a detailed, experimental study of OSPF, an intra-domain routing protocol, running on a mid-size regional Internet service provider. Using mult...
115
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
120
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...