1024 search results - page 35 / 205 » High-Level Execution Time Analysis |
120
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The Overbot is one of the original DARPA Grand Challenge vehicles now being used as a platform for autonomous vehicle research. The vehicle, equipped with a complete actuator an...
104
Voted
SMI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose to address the semanticoriented 3D mesh hierarchical segmentation problem, using enhanced topological skeletons [18]. This high level information drives ...
106
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
191
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
102
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...