Publications

Presentations and papers:

Data-Driven Operating System for Data-Driven Architectures of Real-Time Systems -- (1984) Seminal work for RITA
Program Construction from Formal Specifications -- (1997) Presentation to South Carolina Research Authority
RITA --(2000) Regulated Isomorphic Temporal Architecture
Untangling Configuration Management -- (2000) Foundation document on CM for my Clients
Product Line Configuration Management, Policy & Procedures -- (2000) Implementation document on CM for my Clients
Beauty and the Beast -- (2004) A presentation to MITRE on things big and temporal
Reconfigurable Computing Seminar Series -12 week seminar (2006)
- Week 1 - Models of Computation
- Week 2 - EE IC Refresher/Primer
- Week 3 - Component ASIC, PLD, CPLD, FPGA
  - Week 3 Addendum
- Week 4 - Electronic Design Automation
- Week 5 - VHDL Primer, part I
- Week 6 - VHDL Primer, part II
- Week 7 - System Architecture
- Week 8 - System Design
- Week 9 - System Design Tools
- Week 10 - Testing
- Week 11 - Military/Aerospace Applications
- Week 12 - Wrap-Up
Reconfigurable Computing Machine
Implementation of Rational Trigonometry Algorithms -- Engineering Excellence Symposium (2006)