1105 search results - page 146 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
147
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
131
click to vote
DAGM
2001
Springer
15 years 8 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...
119
Voted
FMOODS
2000
15 years 4 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
111
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
131
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...