Sciweavers

2870 search results - page 238 / 574
» Synchronization of multi-agent systems
Sort
View
198
Voted

Book
494views
16 years 11 months ago
The Little Book of Semaphores
"I wrote the first edition this book with the goal of identifying synchronization idioms and patterns that could be understood in isolation and then assembled to solve compl...
Allen B. Downey
87
Voted
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
15 years 6 months ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards
102
Voted
ACRI
2008
Springer
15 years 2 months ago
Quick Energy Drop in Stochastic 2D Minority
Cellular automata are usually updated synchronously and thus deterministically. The question of stochastic dynamics arises in the development of cellular automata resistant to nois...
Damien Regnault
116
Voted
ENTCS
2002
78views more  ENTCS 2002»
15 years 19 days ago
ESUIF: An Open Esterel Compiler
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
Stephen Edwards
120
Voted
CASES
2007
ACM
15 years 4 months ago
Lightweight barrier-based parallelization support for non-cache-coherent MPSoC platforms
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
Andrea Marongiu, Luca Benini, Mahmut T. Kandemir