Now showing items 61-63 of 63
A transactional compiler for E-FRP with priorities
E-FRP is declarative language for programming resource-bounded, event-driven systems. Its original high-level semantics requires that each event handler execute atomically. This facilitates reasoning about E-FRP programs, ...
Tuning a priority-based register allocator using adaptive compilation
Register allocation is a long studied optimization in compiler construction because it provides great opportunity for improving execution time. Adaptive compilation is a relatively new technique that uses repeated compilation ...
Kinodynamic motion planning for high-dimensional physical systems
This thesis presents a kinodynamic motion planner, Kinodynamic Motion Planning by Interior-Exterior Cell Exploration ( KPIECE ), specifically designed for systems with complex dynamics, where physics-based simulation is ...