David Tremaine

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular(More)
In order to minimize total execution time of parallel algorithms for coarse-grained parallel computers or networks of workstations, the costs of local computation and communication costs must be balanced. In some cases minimizing the total number of global communication operations may not be the best way to achieve this. There have been several recent(More)
  • 1