7918 search results - page 353 / 1584 » Model Composition Directives |
141
click to vote
AINA
2009
IEEE
15 years 11 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....
124
click to vote
SECURWARE
2007
IEEE
15 years 11 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 ...
163
click to vote
RTSS
2003
IEEE
15 years 10 months 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...
141
click to vote
ICCAD
1996
IEEE
15 years 9 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...
163
Voted
UAI
1996
15 years 6 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...