Sciweavers

6808 search results - page 235 / 1362
» Distributed Concurrency Control
Sort
View
WDAG
2005
Springer
88views Algorithms» more  WDAG 2005»
16 years 2 days ago
Optimal Resilience for Erasure-Coded Byzantine Distributed Storage
We analyze the problem of efficient distributed storage of information in a message-passing environment where both less than one third of the servers, as well as an arbitrary num...
Christian Cachin, Stefano Tessaro
IFIP
2010
Springer
15 years 1 months ago
Dependency-Driven Distribution of Synchronous Programs
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
Daniel Baudisch, Jens Brandt, Klaus Schneider
CEC
2009
IEEE
16 years 1 months ago
Birds on the wall: Distributing a process-oriented simulation
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
Adam T. Sampson, John Markus Bjørndalen, Pa...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 12 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,...
158
Voted
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 12 months ago
Virtual Organizing: Using Threads to Coordinate Distributed Work
This paper explores the critical role of conversational threads in facilitating the ongoing, distributed work of one virtual organization. In studying the electronic mail exchange...
JoAnne Yates, Wanda J. Orlikowski, Stephanie L. Wo...