MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Composition of Model Programs." – 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

Parallel and serial composition of model programs
by Margus Veanes, Colin Campbell, Wolfram Schulte — 2007
…Parallel and Serial Composition of Model Programs Margus Veanes, Colin Campbell and Wolfram…
Cited by 1 (1 self) – Add To MetaCart

Protocol Modeling with Model Program Composition
by Margus Veanes, Wolfram Schulte
…Protocol Modeling with Model Program Composition Margus Veanes and Wolfram Schulte Microsoft…
Add To MetaCart

Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
by Jeff Rickel, Bruce Porter — 1994 — In Proceedings of the Twelfth National Conference on Artificial Intelligence
… this time scale. Both algorithms have been implemented in a compositional modeling program called tripel…
Cited by 39 (5 self) – Add To MetaCart

Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
by Jeff Rickel And, Jeff Rickel, Bruce Porter — 1994 — In Proceedings of the Twelfth National Conference on Artificial Intelligence
… this time scale. Both algorithms have been implemented in a compositional modeling program called tripel…
Add To MetaCart

Non-Standard Semantics for Program Slicing
by Roberto Giacobazzi, Isabella Mastroeni — 2003 — Special issue on Partial Evalution and Semantics-Based Program Manipulation
… compositional, provide inadequate models for some known program manipulation techniques. We are interested…
Cited by 5 (1 self) – Add To MetaCart

State Isomorphism in Model Programs with Abstract Data Structures ⋆
by Margus Veanes, Juhan Ernits, Colin Campbell
… to validate the contract. The possible traces of a composition of model programs is the intersection…
Cited by 1 (1 self) – Add To MetaCart

A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence
by Judith A. Stafford, C Judith A. Staord
… With a Halt. . . . . . . . . . . . . . . 34 3.4 Compositional Model of Program Dependencies…
Cited by 5 (2 self) – Add To MetaCart

Qualitative Modeling and Simulation of Socio-Economic Phenomena
by Giorgio Brajnik, Udine Italy, Marji Lines — 1997
…. Compositional modeling programs cope automatically with such a model switching. There are two main benefits…
Cited by 5 (0 self) – Add To MetaCart

Experiences with CODE and HeNCE in Visual Programming for Parallel Computing
by James Browne Jack, Jack Dongarra, Syed I. Hyder, Keith Moore, Peter Newton — 1995 — IEEE Parallel and Distributed Technology
… of choice of procedural mechanism. We will then demonstrate that a compositional model of programming based…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 9.

ATOM

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