5977 search results - page 578 / 1196 » Hierarchical Performance Modeling for Distributed System Arc... |
243
click to vote
IEEECIT
2005
IEEE
16 years 27 days ago
2005
IEEE
Subject to limited computational resource, feedback scheduling aims to improve, or to optimize, the global control performance of real-time control systems. For the system that co...
223
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
186
click to vote
GCC
2003
Springer
16 years 16 days ago
2003
Springer
This paper proposes an abstract and generic topological model that captures the essence of P2P architecture. Such model should in return facilitate the exploitation of the new desi...
209
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
199
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...