The embedded machine is a virtual machine in the spirit of the Java virtual machine with specific extensions for embedded real-time computing on distributed platforms. The embedded machine provides an abstract platform for generating distributed code from high-level embedded programming languages. The instruction set of the embedded machine has a formal synchronous (zero-delay) semantics which ...

Choice between SIMD and MIMD. Parallel programming languages are either synchronous or asynchronous, re ecting whether the target machine is either a SIMD or MIMD architecture. On SIMD machines, programs are restricted to total synchrony, even if that causes poor machine utilization. On MIMD machines, tightly synchronous execution is quite expensive to implement when needed. Since the choice is...

This paper presents new protocols for Byzantine state machine replication and Byzantine agreement in the synchronous and authenticated setting. The PBFT state machine replication protocol tolerates f Byzantine faults in an asynchronous setting using n = 3f + 1 replicas. We improve the Byzantine fault tolerance to n = 2f + 1 by utilizing the synchrony assumption. Our protocol also solves synchro...