Sciweavers

2167 search results - page 124 / 434
» On the need for statistical timing analysis
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 7 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
DATAMINE
2006
176views more  DATAMINE 2006»
15 years 6 months ago
A Bit Level Representation for Time Series Data Mining with Shape Based Similarity
Clipping is the process of transforming a real valued series into a sequence of bits representing whether each data is above or below the average. In this paper, we argue that clip...
Anthony J. Bagnall, Chotirat (Ann) Ratanamahatana,...
IJVR
2006
199views more  IJVR 2006»
15 years 6 months ago
Interactive Virtual Humans in Real-Time Virtual Environments
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
Nadia Magnenat-Thalmann, Arjan Egges
DATE
2010
IEEE
178views Hardware» more  DATE 2010»
15 years 11 months ago
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
Shrikanth Ganapathy, Ramon Canal, Antonio Gonz&aac...
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
15 years 11 months ago
Spectral Analysis of Energy-Constrained Reserves
The definition of a service is key to the ability to meter it, measure it, regulate it, price it, or otherwise take it into consideration. Reserves (a form of power supply insuran...
Fernando Alvarado