MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Modularity." – sorted by Relevance.

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

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

397 documents found, showing 1 through 10. Next 10 →

ATOM

Abstraction and Modularity Mechanisms for Concurrent Computing
by Gul Agha, Svend Frølund, Wooyoung Kim, Rajendra Panwar, Anna Patterson, Daniel Sturman — 1993 — IEEE Parallel and Distributed Technology: Systems and Applications
…Abstraction and Modularity Mechanisms for Concurrent Computing Gul Agha, Svend Frlund, WooYoung Kim…
Cited by 62 (20 self) – Add To MetaCart

Abstraction and Modularity Mechanisms for Concurrent Computing
by Gul Agha Svend, Gul Agha, Svend Frlund, Wooyoung Kim, Rajendra Panwar, Anna Patterson, Daniel Sturman — 1993 — IEEE Parallel and Distributed Technology: Systems and Applications
…Abstraction and Modularity Mechanisms for Concurrent Computing Gul Agha, Svend Frlund, WooYoung Kim…
Add To MetaCart

ABSTRACT Modular Network Trace Analysis
by Wolfgang Kiess, Nadine Chmill, Ulrich Wittelsbürger, Martin Mauve
…ABSTRACT Modular Network Trace Analysis Wolfgang Kiess Nadine Chmill Ulrich Wittelsbürger Martin…
Add To MetaCart

Using Abstraction in Modular Verification of Synchronous Adaptive Systems
by Ina Schaefer, Arnd Poetzsch-heffter, Technische Universtiät Kaiserslautern — 2006 — In Proc. of ”Workshop on Trustworthy Software
…Using Abstraction in Modular Verification of Synchronous Adaptive Systems Ina Schaefer and Arnd…
Cited by 2 (2 self) – Add To MetaCart

Poster Abstract: Modular Communication Protocols for Sensor Networks
by Olaf Landsiedel, Jó Ágila, Bitsch Katharina, Denkinger Klaus Wehrle
…Poster Abstract: Modular Communication Protocols for Sensor Networks Olaf Landsiedel Jó Ágila…
Add To MetaCart

Abstraction and Modular Verification of Infinite-State Reactive Systems
by Zohar Manna, Michael A. Colon, Bernd Finkbeiner, Henny B. Sipma, Tomas E. Uribe — 1998 — Requirements Targeting Software and Systems Engineering (RTSE), LNCS
…Abstraction and Modular Verification of Infinite-State Reactive Systems # Zohar Manna, Michael A…
Cited by 4 (1 self) – Add To MetaCart

Checking Synchronous Programs using Automatic Abstraction, Modular Verification and Assumption
by A. Merceron, Gmd Set-ees, D- Sankt Augustin — 1996 — GMD, Schloss Birlinghoven, D-53754 Sankt Augustin
…Checking Synchronous Programs using Automatic Abstraction, Modular Verification and Assumption…
Cited by 1 (1 self) – Add To MetaCart

Abstract Modular Information Hiding and Type-Safe Linking for C ∗
by unknown authors
…Abstract Modular Information Hiding and Type-Safe Linking for C ∗ This paper presents CMOD, a…
Add To MetaCart

Abstract Modular Information Hiding and Type-Safe Linking for C
by unknown authors
…Abstract Modular Information Hiding and Type-Safe Linking for C This paper presents CMOD, a novel…
Add To MetaCart

A front-end tool for automated abstraction and modular verification of actor-based models
by Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar — 2004 — In: Proceedings of ACSD’04, (IEEE Computer Society
…A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models Marjan…
Cited by 8 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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