2275 search results - page 243 / 455 » Design of Embedded Systems with Novel Applications |
169
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
196
click to vote
ECRTS
2006
IEEE
16 years 20 days ago
2006
IEEE
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...
173
click to vote
RTCSA
2006
IEEE
16 years 18 days ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
176
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...
177
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...