—This paper describes a decentralised car traffic control simulation with re-routing and propagation of messages among traffic nodes (roads intersections and traffic lights). The...
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
We consider the wave equation damped by a nonlinear boundary velocity feedback q(ut). First we consider the case where q has a linear growth at infinity. We prove that the usual de...
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...