314 search results - page 15 / 63 » Generating Path Conditions for Timed Systems |
TITS
2002
13 years 7 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Computing shortest paths between two given nodes is a fundamental operation over graphs, but known to be nontrivial over large disk-resident instances of graph data. While a numbe...
ICCAD
1997
IEEE
13 years 11 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...