1528 search results - page 202 / 306 » Performance Assertion Checking |
108
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
100
click to vote
ISPD
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents SafeChoice (SC), a novel clustering algorithm for wirelength-driven placement. Unlike all previous approaches, SC is proposed based on a fundamental theorem, s...
100
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
106
click to vote
ISSTA
2009
ACM
15 years 8 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...
128
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—It has been shown that the radio channel impulse response for a pair of legitimate Ultra-wide band (UWB) transceivers can be used to generate secret keys for secure communicatio...