Sciweavers

441 search results - page 23 / 89
» Reliable Distributed Programming in C : The Arjuna Approach
Sort
View
88
Voted
SOSP
2007
ACM
15 years 7 months ago
Sinfonia: a new paradigm for building scalable distributed systems
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. S...
SIGMOD
2001
ACM
135views Database» more  SIGMOD 2001»
15 years 10 months ago
The Network is the Database: Data Management for Highly Distributed Systems
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
Julio C. Navas, Michael J. Wynblatt
LCTRTS
2005
Springer
15 years 3 months ago
Composable code generation for distributed giotto
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
FTDCS
1999
IEEE
15 years 2 months ago
PODC: Paradigm-Oriented Distributed Computing
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
Hairong Kuang, Lubomir Bic, Michael B. Dillencourt...
SIGSOFT
2010
ACM
14 years 8 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...