1617 search results - page 94 / 324 » Parallel Cost Analysis of Distributed Systems |
119
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
121
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
131
Voted
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
134
Voted
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
91
Voted
CONCUR
1990
Springer
15 years 6 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...