800 search results - page 1 / 160 » Programming Models for Concurrency and Real-Time |
TOOLS
2009
IEEE
13 years 12 months ago
2009
IEEE
JUCS
2006
13 years 5 months 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 ...
ECBS
2009
IEEE
14 years 12 hour 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...
APLAS
2010
ACM
13 years 3 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
13 years 11 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...