Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Committee Member Budd, Tim Date issued sim 2009-06-08

Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

Creator:

Strauss, Paul J.

Abstract:

An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...

Resource Type:

Masters Thesis