4520 search results - page 366 / 904 » Algebraic Techniques for Timed Systems |
201
click to vote
DFG
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
238
click to vote
POLICY
2004
Springer
16 years 27 days ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
189
click to vote
ISLPED
2003
ACM
16 years 24 days ago
2003
ACM
Memory systems consume a significant portion of power in handheld embedded systems. So far, low-power memory techniques have addressed the power consumption when the system is tu...
177
click to vote
RTCSA
2000
IEEE
15 years 12 months ago
2000
IEEE
In previous years, various real-time scheduling techniques have been proposed to improve the performance of a distributed multimedia system. However, not much work has been done o...
189
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...