Sciweavers

132 search results - page 21 / 27
» A Bayesian approach to analysis of limit standards
Sort
View
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
14 years 10 hour ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
ADHOCNOW
2008
Springer
13 years 8 months ago
Cheating on the CW and RTS/CTS Mechanisms in Single-Hop IEEE 802.11e Networks
This paper presents a work in progress which deals with the problem of node misbehaviour in ad-hoc networks. A realistic approach is used to determine the impact of contention wind...
Szymon Szott, Marek Natkaniec, Andrzej R. Pach
VISSYM
2007
13 years 10 months ago
Multi-Resolution Techniques for Visual Exploration of Large Time-Series Data
Time series are a data type of utmost importance in many domains such as business management and service monitoring. We address the problem of visualizing large time-related data ...
Ming C. Hao, Umeshwar Dayal, Daniel A. Keim, Tobia...
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
14 years 1 months ago
MOBICHARTS: A Notation to Specify Mobile Computing Applications
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyam...
INFOCOM
2002
IEEE
14 years 19 days ago
On the scalability of ad hoc routing protocols
— A novel framework is presented for the study of scalability in ad hoc networks. Using this framework, the first asymptotic analysis is provided with respect to network size, m...
Cesar A. Santivanez, A. Bruce McDonald, Ioannis St...