800 search results - page 1 / 160 » Programming Models for Concurrency and Real-Time |
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
95
Voted
JUCS
2006
15 years 6 days ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
109
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
109
Voted
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...
RTAS
2008
IEEE
15 years 6 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...