Sciweavers

2020 search results - page 27 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
ISCAPDCS
2004
15 years 3 months ago
A Mechanism for Sequential Consistency in a Distributed Objects System
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerom...
116
Voted
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 7 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
WSC
2008
15 years 4 months ago
Aggregated 3D-visualization of a distributed simulation experiment of a queuing system
The paper describes an approach for an aggregated animation of a simulation experiment in an interactive 3D environment, visualizing multiple, distributed simulation runs. Althoug...
Wilhelm Dangelmaier, Matthias Fischer, Daniel Hube...
IJHPCA
2007
114views more  IJHPCA 2007»
15 years 2 months ago
An Approach To Data Distributions in Chapel
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
R. E. Diaconescu, Hans P. Zima