800 search results - page 102 / 160 » Programming Models for Concurrency and Real-Time |
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
130
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
101
click to vote
KR
1994
Springer
15 years 5 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
104
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...