Sciweavers

491 search results - page 17 / 99
» Avoiding Determinization
Sort
View
GLOBECOM
2006
IEEE
15 years 5 months ago
XCP-i : eXplicit Control Protocol for Heterogeneous Inter-Networking of High-Speed Networks
— XCP is a transport protocol that uses the assistance of specialized routers to very accurately determine the available bandwidth along the path from the source to the destinati...
Dino M. López-Pacheco, CongDuc Pham, Lauren...
83
Voted
QEST
2006
IEEE
15 years 5 months ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
192
Voted
FAST
2011
14 years 2 months ago
Making the Common Case the Only Case with Anticipatory Memory Allocation
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
Swaminathan Sundararaman, Yupu Zhang, Sriram Subra...
92
Voted
VTC
2006
IEEE
122views Communications» more  VTC 2006»
15 years 5 months ago
Analysis of Capacity Improvements in Multi-Radio Wireless Mesh Networks
In this paper, we argue that additional radios should be placed according to the distribution of traffic load in WMN. We show that the capacity of a WMN is constrained by the bottl...
Bassam Aoun, Raouf Boutaba, Gary W. Kenward
CGF
2006
94views more  CGF 2006»
14 years 11 months ago
A Weighted Error Metric and Optimization Method for Antialiasing Patterns
Displaying a synthetic image on a computer display requires determining the colors of individual pixels. To avoid aliasing, multiple samples of the image can be taken per pixel, a...
Samuli Laine, Timo Aila