Searching for authors named "Richard Gerber" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Languages and Tools for Real-time Systems: Problems, Solutions and Opportunities
- …Languages and Tools for Real-time Systems: Problems, Solutions and Opportunities Richard Gerber…
- Cited by 2 (0 self) – Add To MetaCart
-
Slicing Real-Time Programs for Enhanced Schedulability
- …Slicing Real-Time Programs for Enhanced Schedulabilky Richard Gerber and Seongsoo Hong Department…
- Cited by 7 (0 self) – Add To MetaCart
-
Semantics-Based Compiler Transformations for Enhanced Schedulability
- …-Based Compiler Transformations for Enhanced Schedulability Richard Gerber and Seongsoo Hong Department…
- Cited by 33 (7 self) – Add To MetaCart
-
Composite Model Checking with Type Specific Symbolic Encodings
- …Composite Model Checking with Type Specific Symbolic Encodings* Tevfik Bultan Richard Gerber…
- Cited by 1 (1 self) – Add To MetaCart
-
Experiments with Digital Video Playback
- …Experiments with Digital Video Playback * Richard Gerber and Ladan Gharai Institute for Advanced…
- Cited by 1 (0 self) – Add To MetaCart
-
Compiling Real-Time Programs with Timing Constraint Refinement and Structural Code Motion
- … * Richard Gerber and Seongsoo Hong Department of Computer Science University of Maryland College Park, MD…
- Cited by 23 (2 self) – Add To MetaCart
-
Scheduling with Compiler Transformations: The TCEL Approach
- … Scheduling with Compiler Transformations: The TCEL Approach Seongsoo Hong and Richard Gerber Department…
- Cited by 2 (1 self) – Add To MetaCart
-
Multi-Platform Simulation of Video Playout Performance
- …Multi-Platform Simulation of Video Playout Performance Ladan Gharai and Richard Gerber Institute…
- Cited by 3 (3 self) – Add To MetaCart
-
Compiling Real-Time Programs into Schedulable Code
- … Compiling Real-Time Programs into Schedulable Code Seongsoo Hong and Richard Gerber Department of Computer…
- Cited by 20 (6 self) – Add To MetaCart
-
A Resource-Based Prioritized Bisimulation for Real-Time Systems
- …A Resource-Based Prioritized Bisimulation for Real-Time Systems Richard Gerber Insup Lee Dept…
- Cited by 21 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
