5548 search results - page 506 / 1110 » Programming a Distributed System Using Shared Objects |
320
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
178
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A classic example of multiagent coordination in a shared environment involves the use of pheromone deposits as a communication mechanism. Due to physical limitations in deploying ...
177
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
185
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Small unpiloted aircraft (UAVs) each have limited power budgets. If a group (swarm) of small UAVs is organised to perform a common task such as geo-location, then it is possible t...
191
click to vote
CSL
2005
Springer
16 years 15 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...