1639 search results - page 5 / 328 » Towards a theory of shared data in distributed systems |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
FOSSACS
2003
Springer
14 years 21 days ago
2003
Springer
SIAMSC
2008
13 years 7 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
IPPS
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...