Sciweavers

5790 search results - page 57 / 1158
» Distributed programming with distributed authorization
Sort
View
SIGMOD
2010
ACM
174views Database» more  SIGMOD 2010»
13 years 3 months ago
The SIGMOD 2010 programming contest a distributed query engine
We report on the second annual ACM SIGMOD programming contest, which consisted in building an efficient distributed query engine on top of an in-memory index. This article is co-a...
Clément Genzmer, Volker Hudlet, Hyunjung Pa...
ICDCS
2003
IEEE
14 years 2 months ago
Software Fault Tolerance of Distributed Programs Using Computation Slicing
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
Neeraj Mittal, Vijay K. Garg
IWFM
2003
123views Formal Methods» more  IWFM 2003»
13 years 10 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ISPDC
2006
IEEE
14 years 3 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
PARA
2000
Springer
14 years 16 days ago
Experiments in Separating Computational Algorithm from Program Distribution and Communication
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
Raphael B. Yehezkael, Yair Wiseman, H. G. Mendelba...