5128 search results - page 935 / 1026 » When Abstraction Fails |
224
click to vote
PATMOS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
176
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
157
click to vote
TCC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
164
click to vote
TELETRAFFIC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We focus in this paper on passive traffic measurement techniques that collect traces of TCP packets and analyze them to derive, for example, round-trip times or aggregate...
182
click to vote
TELETRAFFIC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract— Paths with loops, even transient ones, pose significant stability problems in high-speed networks. We present a new algorithm, named Distributed Path Computation with ...