691 search results - page 102 / 139 » Path Consistency by Dual Consistency |
IWQOS
2001
Springer
14 years 3 days ago
2001
Springer
Ad-hoc wireless networks consist of mobile nodes interconnected by multi-hop wireless paths. Unlike conventional wireless networks, ad-hoc networks have no fixed network infrastru...
INFOCOM
2000
IEEE
14 years 1 days ago
2000
IEEE
— This paper proposes a controlled-load service that provides a network state with bounded and well known worst-case behavior. The service is primarily developed for real-time ap...
KBSE
2000
IEEE
14 years 1 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
ASPDAC
2000
ACM
14 years 19 hour ago
2000
ACM
- This paper presents a new aged timing simulation methodology that can be used for hot-carrier reliability assurance of VLSI. This methodology consists of a compact model and a un...
VRST
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents an image-based walkthrough technique where reference images are sparsely sampled along a path. The technique relies on a simple user interface for rapid modeli...