Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Three implementation models for scheme
Three implementation models for scheme
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Emergence of Cellular Computing
Computer
Practical Design of Globally-Asynchronous Locally-Synchronous Systems
ASYNC '00 Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Pursue robust indefinite scalability
HotOS'13 Proceedings of the 13th USENIX conference on Hot topics in operating systems
| Hi-index | 0.00 |
We show how expressions written in a functional programming language can be robustly evaluated on a modular asynchronous spatial computer by compiling them into a distributed virtual machine comprised of reified bytecodes undergoing diffusion and communicating via messages containing encapsulated virtual machine states. Because the semantics of the source language are purely functional, multiple instances of each reified bytecode and multiple execution threads can coexist without inconsistency in the same distributed heap.