395 search results - page 42 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
156
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 3 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
122
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
112
click to vote
GI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
141
click to vote
TC
2002
15 years 1 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
124
click to vote
JIB
2007
15 years 1 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...