CompSys704

Lecture is going slowly as usual. Going through models of computation and hardware/software implementations. Should think about the underlining model of computation to help with formal methods. You can force yourself to use a type of model and make work arounds to work with the specification.

SystemJ - the idea is to use the language and the model of computation will follow.

Custom processors: can modify the execution path, add to the instruction set and hardware ports, functional units.

Sent from my iPod Touch