Deliverables
Final Deliverables
-
SD1 VELOX Applications
-
SD2 VELOX P3 Report
-
SD3 VELOX System Software
-
SD4 Formal Specification of Language Extensions
-
SD5 VELOX Final Report
-
SD6 VELOX Hardware
-
SD7 Long-term Requirements for TM Hardware Support
-
SD8 Programming Patterns for TM