Sciweavers

1346 search results - page 73 / 270
» An Interface Model for Parallel Components
Sort
View
FMSD
2006
183views more  FMSD 2006»
13 years 8 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
OMER
2001
13 years 10 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
CONCURRENCY
2002
112views more  CONCURRENCY 2002»
13 years 8 months ago
An analysis of VI Architecture primitives in support of parallel and distributed communication
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
Andrew Begel, Philip Buonadonna, David E. Culler, ...
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
14 years 3 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
DAC
2002
ACM
14 years 9 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...