1054 search results - page 29 / 211 » Models for automatic generation of safety-critical real-time... |
168
click to vote
ASPDAC
2005
ACM
15 years 8 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...
175
click to vote
SAFECOMP
1998
Springer
15 years 10 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...
196
click to vote
VIP
2003
15 years 7 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...
189
click to vote
ICRA
2007
IEEE
16 years 11 days 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...
180
click to vote
ICIP
2003
IEEE
15 years 11 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 ...