1704 search results - page 15 / 341 » Design of a Concurrent and Distributed Language |
AEI
2000
13 years 8 months ago
2000
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
CONCURRENCY
2008
13 years 8 months ago
2008
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
JSA
2006
13 years 8 months ago
2006
This paper proposes a new concurrent data structure, called parallel hash table, for synchronizing the access of multiple threads to resources stored in a shared buffer. We prove ...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...