1054 search results - page 29 / 211 » Models for automatic generation of safety-critical real-time... |
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
92
Voted
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
100
click to vote
VIP
2003
14 years 11 months ago
2003
This paper presents a novel approach for creating curvilinear, texture mapped, 3D scene models from a single painting or photograph with no prior internal knowledge about the shap...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
ICIP
2003
IEEE
15 years 2 months ago
2003
IEEE
Driver’s fatigue/distraction is one of the most common causes of traffic accidents. The aim of this paper is to develop a real time system to detect anomalous situations while ...