3565 search results - page 41 / 713 » Modeling a system controller for timing analysis |
112
click to vote
SNPD
2008
15 years 1 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
110
click to vote
MACH
1990
15 years 29 days ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
JSAC
2008
14 years 11 months ago
2008
Abstract-- This paper considers the integration of communication and control with respect to the task of coordinated heading control for a group of N vehicles. The heading control ...