A partial evaluator for the Maruti hard real-time system

Authors:
Vivek Nirkhe;William Pugh
Affiliations:
-;-
Venue:
Real-Time Systems - Special issue: Real-time languages and language-level timing tools and analysis
Year:
1993

Citing 0
Cited 5

A Development Environment for Complex Distributed Real-Time Applications

IEEE Transactions on Software Engineering
Statically Safe Speculative Execution for Real-Time Systems

IEEE Transactions on Software Engineering
An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution

Real-Time Systems
Data-Flow Frameworks for Worst-Case Execution Time Analysis

Real-Time Systems
Formal Verification of Compiler Transformations for Speculative Real-Time Execution

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract