854 search results - page 138 / 171 » Timing coverification of concurrent embedded real-time syste... |
138
click to vote
ECRTS
2010
IEEE
14 years 10 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
RTAS
2002
IEEE
15 years 2 months ago
2002
IEEE
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...
JOT
2008
14 years 9 months ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...