MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Design and verification of real-time systems." – sorted by Relevance.

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

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

9 documents found, showing 1 through 9.

ATOM

Worst Case Execution Time Analysis for Modern Hardware Architectures
by Greger Ottosson Mikael, Mikael Sjodin — 1997 — In: Proc. of ACM SIGPLAN, Workshop on Languages, Compilers and Tools for Real-Time Systems
… case execution times (WCETs) for programs are crucial for the design and verification of real-time…
Add To MetaCart

A Systematic Design of Real-time Systems Using Duration Calculus
by Do Van Nhon, Dang Van Hung — 2000
… verification in this paper may capture a common form in the design process of real-time systems, and can…
Cited by 3 (1 self) – Add To MetaCart

Real-time Systems Development with Duration Calculus: an Overview
by Dang Van Hung — 2002 — Published in the proceedings for the UNU-IIST 10th Anniversary Colloquium on Formal Methods at the Crossroads, from Panacea to Foundational Support, LNCS 2757
… present the main achievements of UNU/IIST during the project “Design Techniques for Real-time Systems…
Cited by 8 (4 self) – Add To MetaCart

Debugging of Heterogeneous Real-Time Systems, General Motors
by Name Andrei, Mihai Hagiescu Mirişte, Supervisor Assoc, Prof Wong Weng-fai — 2007
… systems, Hardware software codesign, Embedded software design, Verification of Real Time Systems, Virtual…
Add To MetaCart

Automated Modular Specification and Verification of Real-Time Reactive Systems
by Jonathan S. Ostroff — 1995 — In Proc. Workshop on Industrial Strength Formal Specification Techniques WIFT'95, IEEE Computer
…Automated Modular Specification and Verification of Real-Time Reactive Systems Jonathan S. Ostroff…
Cited by 2 (1 self) – Add To MetaCart

Distributing Constraints by Sampling in Non-Binary CSPs
by Miguel A. Salido, Adriana Giret, Federico Barber — 2003 — In IJCAI Workshop on Distributing Constraint Reasoning
…, hardware design and verification, real-time systems and robot planning. Some of these problems can…
Cited by 5 (4 self) – Add To MetaCart

Exploiting the Constrainedness in Constraint Satisfaction Problems
by Miguel A. Salido, Federico Barber — 2004 — Artificial Intelligence: Methodology, Systems, and Applications LNAI 3192
… design and verification, real-time systems and robot planning. These problems may be soluble or insoluble…
Cited by 1 (1 self) – Add To MetaCart

Distributed csps by graph partitioning
by Miguel A. Salido, Federico Barber — 2006 — Applied Mathematics and Computation 183:491–498
… and symbolic reasoning, diagnosis, decision support, scheduling, hardware design and verification, real-time…
Cited by 1 (1 self) – Add To MetaCart

Real-Time Unity
by Al Carruth — 1994
… program specifications include some hard real-time requirement so that the system may properly interact…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 9.

ATOM

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