Sciweavers

2129 search results - page 19 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
TIME
2005
IEEE
14 years 1 months ago
Analysis of Timed Processes with Data Using Algebraic Transformations
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Michel A. Reniers, Yaroslav S. Usenko
MVA
1990
143views Computer Vision» more  MVA 1990»
13 years 8 months ago
Multiresolution Pyramid Architectures for Real-Time Motion Analysis
Multiresolution pyramid techniques can improve the efficiency of basic vision algorithms by orders of magnitude. They will be key to developing practical vision systems to perform...
Peter J. Burt
RTAS
1996
IEEE
13 years 11 months ago
Efficient worst case timing analysis of data caching
Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching, which is necessa...
Sung-Kwan Kim, Sang Lyul Min, Rhan Ha
AUTOMATICA
2005
169views more  AUTOMATICA 2005»
13 years 7 months ago
Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...
Shoudong Huang, Matthew R. James, Dragan Nesic, Pe...
DATE
2008
IEEE
76views Hardware» more  DATE 2008»
14 years 1 months ago
Signal Probability Based Statistical Timing Analysis
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
Bao Liu