MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modeling Priority Schemes." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Validation of a Parameterized Bus Architecture Model
by Julien Schmaltz, Dominique Borrione — 2003 — Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003). www.cs.utexas.edu/users/moore/acl2/workshop-2003
… master should be granted bus access, using a priority scheme modeled by a priority matrix (Fig 8…
Cited by 1 (0 self) – Add To MetaCart

A Transition System Semantics for the Control-Driven Coordination Language MANIFOLD
by M. M. Bonsangue, F. Arbab, J. W. de Bakker, J. J. M. M. Rutten, A. Scutella, G. Zavattaro — 1998 — THEORETICAL COMPUTER SCIENCE
…. For simplicity, we do not model this priority scheme in our formal semantics presented in this paper. 6 system…
Cited by 15 (8 self) – Add To MetaCart

A Transition System Semantics for the Control-Driven Coordination Language MANIFOLD
by F. Arbab, J. W. de Bakker, M. M. Bonsangue, J. J. M. M. Rutten, A. Scutella, G. Zavattaro — 1998 — THEORETICAL COMPUTER SCIENCE
… for the communication that is 3 This non-determinism is actually subject to a priority scheme on the matching event…
Cited by 9 (7 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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