Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by H. Corporaal
Strengthening Property Preservation in Concurrent Real-Time Systems
Global Analysis of Resource Arbitration for MPSoC
Related publications
Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems
Real-Time Attributes in Operating Systems
Achieving Real-Time in Distributed Computing
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Research Directions in Real-Time Systems.
Real-Time TTCN for Testing Real-Time and Multimedia Systems
Scheduling Garbage Collection in Real-Time Systems
Real-Time Speech Recognition Systems
Formal Verification of User-Level Real-Time Property Patterns
Transaction Processing in Real-Time Database Systems
