1433 search results - page 12 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
IPPS
2000
IEEE
14 years 7 days ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
KESAMSTA
2010
Springer
13 years 6 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
HIPC
2003
Springer
14 years 1 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...