Sciweavers

828 search results - page 66 / 166
» Modularity for Timed and Hybrid Systems
Sort
View
145
Voted
WSC
1997
15 years 5 months ago
A Hybrid Tool for the Performance Evaluation of NUMA Architectures
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
James Westall, Robert Geist
130
Voted
SPAA
2005
ACM
15 years 9 months ago
The expansion and mixing time of skip graphs with applications
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
James Aspnes, Udi Wieder
MOMPES
2008
IEEE
15 years 10 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke
129
Voted
ISORC
1999
IEEE
15 years 8 months ago
Implementing the Real-Time Publisher/Subscriber Model on the Controller Area Network (CAN)
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
Jörg Kaiser, Michael Mock
143
Voted
ISAMI
2010
15 years 1 months ago
Toward a Behavioral Decomposition for Context-Awareness and Continuity of Services
Many adaptative context-aware middleware exist and most of them rely on so-called vertical architectures that offer a functional decomposition for contextawareness. This architectu...
Nicolas Ferry, Stephane Lavirotte, Jean-Yves Tigli...