800 search results - page 86 / 160 » Programming Models for Concurrency and Real-Time |
109
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
110
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
108
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
143
click to vote
SAC
2008
ACM
15 years 22 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
107
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...