1550 search results - page 240 / 310 » Erlang for Concurrent Programming |
158
Voted
DATE
2009
IEEE
16 years 25 days ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
146
click to vote
KBSE
2009
IEEE
16 years 24 days 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...
154
click to vote
IISWC
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
188
click to vote
RP
2009
Springer
16 years 18 days ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
147
click to vote
ATAL
2007
Springer
16 years 7 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...