1886 search results - page 216 / 378 » Verifying and Validating Simulation Models |
113
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
112
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...
144
click to vote
ALGOSENSORS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
121
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
122
click to vote
LCN
2005
IEEE
15 years 8 months ago
2005
IEEE
It is known that analytic modelling for TCP latency is a non trivial task. Recently, some significant progress has been made, such as the comprehensive result by Sikdar et al. Ho...