Sciweavers

9842 search results - page 643 / 1969
» Compositional timing analysis
Sort
View
SAS
2005
Springer
16 years 22 days ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
Markus Müller-Olm, Helmut Seidl
EMSOFT
2004
Springer
16 years 19 days ago
Multiple process execution in cache related preemption delay analysis
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
Jan Staschulat, Rolf Ernst
ISCAS
2003
IEEE
89views Hardware» more  ISCAS 2003»
16 years 16 days ago
Timing-mismatch analysis in high-speed analog front-end with nonuniformly holding output
This paper will present a practical and complete analysis of timing-mismatch effects for high-speed Analog Front-End (AFE) systems with the inherent nonuniformly holding outputs. ...
Sai-Weng Sin, Seng-Pan U., Rui Paulo Martins, Jos&...
ITC
1999
IEEE
89views Hardware» more  ITC 1999»
15 years 11 months ago
Defect detection using power supply transient signal analysis
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. The power supply transient signals of an ...
Amy Germida, Zheng Yan, James F. Plusquellic, Fide...
CODES
1998
IEEE
15 years 11 months ago
Schedulability analysis of heterogeneous systems for performance message sequence chart
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
Frank Slomka, Jürgen Zant, Lennard Lambert