7918 search results - page 353 / 1584 » Model Composition Directives |
193
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
181
click to vote
SECURWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
228
click to vote
RTSS
2003
IEEE
16 years 20 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
204
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
218
click to vote
UAI
1996
15 years 8 months ago
1996
This paper presents a Bayesian approach to learning the connectivity structure of a group of neurons from data on configuration frequencies. A major objective of the research is t...