Sciweavers

ERSHOV
1993
Springer
14 years 3 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
ACM
1993
14 years 3 months ago
Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science
ional Frameworks: Toolkits and Abstractions In Introductory Computer Science Cynthia Brown, Harriet Fell, Viera Proulx, Richard Rasala College of Computer Science, Northeastern Uni...
Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx...
ACM
1994
14 years 3 months ago
Identifying Essential Competencies of Software Engineers
The knowledge and skills of software engineers are perhaps the most important factors in determining the success of software development. Thus, we seek to identify the professiona...
Richard T. Turley, James M. Bieman
FOCS
1994
IEEE
14 years 3 months ago
Expander Codes
Sipser and Spielman have introduced a constructive family of asymptotically good linear error-correcting codes--expander codes--together with a simple parallel algorithm that will ...
Michael Sipser, Daniel A. Spielman
FOCS
1994
IEEE
14 years 3 months ago
The Load, Capacity and Availability of Quorum Systems
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
Moni Naor, Avishai Wool