859 search results - page 21 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
ANSS
1997
IEEE
13 years 12 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
IWFM
1998
13 years 9 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...