57 search results - page 6 / 12 » Hardware-software coverification of concurrent embedded real... |
105
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
135
Voted
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
118
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
127
click to vote
APLAS
2010
ACM
14 years 12 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...
129
Voted
RTAS
1998
IEEE
15 years 6 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...