3565 search results - page 81 / 713 » Modeling a system controller for timing analysis |
112
click to vote
HPCN
2000
Springer
15 years 3 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
ECRTS
2005
IEEE
15 years 5 months ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
106
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
103
click to vote
LOPSTR
2004
Springer
15 years 5 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
102
click to vote
ICRA
1994
IEEE
15 years 4 months ago
1994
IEEE
The Network Data Delivery Service NDDS is a novel network data-sharing system. NDDS builds on the model of information producers sources and consumers sinks. Producers generate da...