Models of Computation

The set of allowable operations used in computation and their respective costs.
file

Visible to the public Sensor Lattices

Submitted by mkatsev on Mon, 10/28/2013 - 2:23pm. Contributors:

Abstract:

Using the newly introduced idea of a sensor lattice, this project conducts a systematic study of the "granularity" at which the world can be sensed and how that affects the ability to accomplish common tasks with cyberphysical systems (CPSs). A sensor is viewed as a device that partitions the physical world states into measurement-invariant equivalence classes, and the sensor lattice indicates how all sensors are related.

file

Visible to the public CPS Foundations in Computation and Communication

Submitted by Mina on Fri, 10/25/2013 - 10:19am. Contributors:

Abstract:

Modern processor architectures sacrifice timing predictability for increased average computational throughput. Branch prediction, multi-level memory hierarchies, out-of-order execution, and data forwarding all make accurate execution time predictions impossible. As accurate timing predictions are required for task scheduling, our goal is the development of a Precision Timed (PRET) processor, along with the inter-process communication methods and operating system services, which remove many of the sources of timing indeterminacy.