Sciweavers

9842 search results - page 163 / 1969
» Compositional timing analysis
Sort
View
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
14 years 4 months ago
WAVSTAN: waveform based variational static timing analysis
— We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dyn...
Saurabh K. Tiwary, Joel R. Phillips
IJCNN
2006
IEEE
14 years 3 months ago
Classify Unexpected News Impacts to Stock Price by Incorporating Time Series Analysis into Support Vector Machine
— the paper discusses an approach of using traditional time series analysis, as domain knowledge, to help the data-preparation of support vector machine for classifying documents...
Ting Yu, Tony Jan, John K. Debenham, Simeon J. Sim...
AUTOMATICA
2004
147views more  AUTOMATICA 2004»
13 years 9 months ago
Interval analysis and dioid: application to robust controller design for timed event graphs
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenc...
FMOODS
2007
13 years 11 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
14 years 4 months ago
Use of statistical timing analysis on real designs
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
A. Nardi, Emre Tuncer, S. Naidu, A. Antonau, S. Gr...