Parametric Timing Analysis for Real-Time Systems

Information and Computation- United States

doi 10.1006/inco.1996.0086

Full Text

Abstract

Available in

Categories

Theoretical Computer Science

Computational Theory

Computer Science Applications

Information Systems

Date

November 1, 1996

Authors

Publisher

Elsevier BV

Related search

Static Timing Analysis for Hard Real-Time Systems

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Parametric Timing Analysis

ACM SIGPLAN Notices

English

Towards Composable Timing for Real-Time Programs

English

Toward Parametric Timed Interfaces for Real-Time Components

Electronic Proceedings in Theoretical Computer Science, EPTCS

English

Software Requirements Analysis for Real-Time Process-Control Systems

IEEE Transactions on Software Engineering

English

Improving Early Design Stage Timing Modeling in Multicore Based Real-Time Systems

English

Real-Time TTCN for Testing Real-Time and Multimedia Systems

English

Ontology Models for Real Time Systems

Ontology of Designing

English

Schedulability Analysis for Multiresource Scheduling in Middleware for Distributed Real Time Systems

International Journal of Computer Applications

English