3565 search results - page 99 / 713 » Modeling a system controller for timing analysis |
124
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
134
click to vote
SOFSEM
2009
Springer
16 years 3 days ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
158
click to vote
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
156
click to vote
CASES
2008
ACM
15 years 5 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
114
click to vote
CC
1994
Springer
15 years 7 months ago
1994
Springer
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...