2203 search results - page 299 / 441 » Temporal Abstract Interpretation |
104
Voted
TODAES
2008
15 years 3 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
103
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
101
Voted
JUCS
2010
15 years 2 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
114
Voted
RTS
2010
15 years 2 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
112
Voted
SAB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...