4636 search results - page 371 / 928 » Modelling and Validation with VipTool |
126
Voted
CARDIS
2004
Springer
15 years 10 months ago
2004
Springer
CMOS gates consume different amounts of power whether their output has a falling or a rising edge. Therefore the overall power consumption of a CMOS circuit leaks information about...
124
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
An audio fingerprint is a compact representation of the perceptually relevant parts of audio content. A suitable audio fingerprint can be used to identify audio files, even if ...
157
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
143
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
138
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
Evaluating the resiliency of stateful Internet services to significant workload spikes and data hotspots requires realistic workload traces that are usually very difficult to obt...