Sciweavers

9842 search results - page 170 / 1969
» Compositional timing analysis
Sort
View
RTAS
1998
IEEE
14 years 1 months ago
Bounding Loop Iterations for Timing Analysis
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
Christopher A. Healy, Mikael Sjödin, Viresh R...
EPIA
1989
Springer
14 years 1 months ago
Semantic Analysis of Time and Tense in Natural Language: An Implementation
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
Nelma Moreira
ICPR
2010
IEEE
13 years 10 months ago
Analysis and Adaptation of Integration Time in PMD Camera for Visual Servoing
The depth perception in the objects of a scene can be useful for tracking or applying visual servoing in mobile systems. 3D time-of-flight (ToF) cameras provide range images which ...
Pablo Gil
SNPD
2008
13 years 11 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
WCET
2003
13 years 11 months ago
Fully Automatic, Parametric Worst-Case Execution Time Analysis
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
Björn Lisper