MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Compositional timing analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets
by Dianxiang Xu, Xudong He, Ieee Computer Society, Ieee Computer Society, Yi Deng — 2002 — IEEE Trans. Soft. Engineering
… constraints. A technique for compositional timing analysis is also proposed to deal with complex task…
Cited by 4 (0 self) – Add To MetaCart

Complexity Analysis for a Lazy Higher-Order Language
by David Sands — 1990 — In Proceedings of the 3rd European Symposium on Programming
…-equations are parameterised by this context-description to give a compositional time-analysis. Using this form of context…
Cited by 39 (2 self) – Add To MetaCart

Model Composition for Scheduling Analysis in Platform Design
by Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst — 2002
… Analysis, Scheduling, Formal Analysis Abstract We present a compositional approach to analyze timing…
Cited by 19 (10 self) – Add To MetaCart

Dependable Systems of Systems
by C. Jones, M. O. Killijian, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky, R. J. Stroud, Project Summary — 2001
… contribute to the development of formal techniques for compositional timing analysis, which is an open area…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB