Sciweavers

6808 search results - page 69 / 1362
» Distributed Concurrency Control
Sort
View
DAC
2000
ACM
16 years 7 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
145
Voted
LCPC
2007
Springer
16 years 8 days ago
Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers
Yuan Zhang, Evelyn Duesterwald, Guang R. Gao
170
Voted
NJC
2002
109views more  NJC 2002»
15 years 5 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
ERLANG
2004
ACM
15 years 11 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...