1382 search results - page 66 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
110
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
133
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
WSC
2004
15 years 2 months ago
2004
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
114
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Networks-on-chip (NoCs) are an emergent communication infrastructure, which can be designed to deal with growing system complexity and technology evolution. The efficient use of N...
128
click to vote
PDP
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...