Sciweavers

9842 search results - page 170 / 1969
» Compositional timing analysis
Sort
View
RTAS
1998
IEEE
15 years 6 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
15 years 6 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
15 years 3 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
15 years 3 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
15 years 3 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