481 search results - page 44 / 97 » Differential symbolic execution |
139
click to vote
KI
1998
Springer
15 years 4 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
101
click to vote
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
111
click to vote
SIAMREV
2010
14 years 7 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
121
Voted
TWC
2010
14 years 7 months ago
2010
Abstract--Impulse Radio Ultra WideBand (IR-UWB) communication has proven to be an important technique for supporting high-rate, short-range, and low-power communication. In this pa...