2302 search results - page 60 / 461 » Testing as Abstraction |
159
click to vote
TCAD
2008
15 years 5 months ago
2008
Abstract--A key design constraint of circuits used in handheld devices is the power consumption, mainly due to battery life limitations. Adaptive power management (APM) techniques ...
169
click to vote
STACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Suppose one has access to oracles generating samples from two unknown probability distributions p and q on some N-element set. How many samples does one need to test whet...
139
click to vote
KBSE
2007
IEEE
15 years 12 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
145
click to vote
IPSN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...
155
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...