590 search results - page 26 / 118 » Debugging Program Loops Using Approximate Modeling |
104
click to vote
AVSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Dual camera systems (omnidirectional and slaved PTZ cameras) are widely used in public area monitoring and target tracking. However, due to their low and non-uniform resolution, o...
TPDS
1998
14 years 9 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
EAAI
2008
14 years 10 months ago
2008
This paper presents the design of an infinite horizon nonlinear optimal neurocontroller that replaces the conventional automatic voltage regulator and the turbine governor (CONVC)...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...