WorldCat Identities

Cornell University Department of Computer Science

Overview
Works: 472 works in 525 publications in 1 language and 1,476 library holdings
Genres: Periodicals  Conference proceedings 
Classifications: QA76.9.A96, 511.3
Publication Timeline
Key
Publications about Cornell University Publications about Cornell University
Publications by Cornell University Publications by Cornell University
Most widely held works about Cornell University
 
Most widely held works by Cornell University
Implementing mathematics with the Nuprl proof development system by R. L Constable ( Book )
2 editions published in 1986 in English and held by 161 WorldCat member libraries worldwide
MTP an atomic multicast transport protocol by Alan O Freier ( Book )
1 edition published in 1990 in English and held by 117 WorldCat member libraries worldwide
Abstract: "This paper describes MTP: a reliable transport protocol that utilizes the multicast strategy of applicable lower layer network architectures. In addition to transporting data reliably and efficiently, MTP provides the client synchronization necessary for agreement on the receipt of data and the joining of the group of communicants."
Optimal primary-backup protocols ( Book )
1 edition published in 1992 in English and held by 115 WorldCat member libraries worldwide
Abstract: "We give primary-backup protocols for various models of failure. These protocols are optimal with respect to degree of replication, failover time, and response time to client requests."
Log-based recovery in asynchronous distributed systems by Kenneth Paul Kane ( Book )
1 edition published in 1990 in English and held by 81 WorldCat member libraries worldwide
Replication has been shown to be an important tool in the design of high- performance and highly-available distributed systems. When applied to data, however, replication significantly complicates the problem of maintaining consistency within a system. This problem is further complicated when repositories of the data can potentially fail and recover. In this dissertation, we describe a log-based mechanism for restoring consistent states to replicated data objects after failures
Tools for monitoring and controlling distributed applications by Keith A Marzullo ( Book )
1 edition published in 1991 in English and held by 67 WorldCat member libraries worldwide
Abstract: "The Meta system is a UNIX-based toolkit that assists in the construction of reliable reactive systems, such as distributed monitoring and debugging systems, tool integration systems and reliable distributed applications. Meta provides mechanisms for instrumenting a distributed application and the environment in which it executes, and Meta supplies a service that can be used to monitor and control such an instrumented application. The Meta toolkit is built on top of the ISIS toolkit; they can be used together in order to build fault-tolerant and adaptive distributed applications."
The process group approach to reliable distributed computing by Kenneth P Birman ( Book )
1 edition published in 1991 in English and held by 66 WorldCat member libraries worldwide
Reviews six years of research on ISIS
Using process groups to implement failure detection in asynchronous environments by Aleta M Ricciardi ( Book )
1 edition published in 1991 in English and held by 64 WorldCat member libraries worldwide
Discusses the group membership problem as it relates to failure detection in asynchronous, distributed systems
Information storage and retrieval by Harvard University ( )
in English and held by 49 WorldCat member libraries worldwide
Proposals for a dynamic library by Gerard Salton ( Book )
3 editions published between 1972 and 1973 in English and held by 36 WorldCat member libraries worldwide
Information storage and retrieval by Harvard University ( Book )
10 editions published between 1966 and 1970 in English and held by 13 WorldCat member libraries worldwide
Technical report ( )
in English and held by 13 WorldCat member libraries worldwide
Information storage and retrieval; scientific report to the National Science Foundation by Cornell University ( )
in English and held by 8 WorldCat member libraries worldwide
Information storage and retrieval; reports on analysis, search and iterative retrieval to the National Science Foundation by Cornell University ( Book )
1 edition published in 1968 in English and held by 6 WorldCat member libraries worldwide
A data abstraction language for concurrent programming by Thomas Peter Murtagh ( Book )
2 editions published in 1983 in English and held by 6 WorldCat member libraries worldwide
Reports on evaluation, clustering and feedback by Cornell University ( Book )
2 editions published in 1967 in English and held by 6 WorldCat member libraries worldwide
Networked computer science technical reports library ( )
in English and held by 5 WorldCat member libraries worldwide
This web site features an international collection of computer science technical reports from computer science departments and industrial and government research laboratories
On the motion of objects in contact by John E Hopcroft ( Book )
1 edition published in 1984 in English and held by 5 WorldCat member libraries worldwide
There is an increasing use of computers in the design, manufacture and manipulation of physical objects. An important aspect of reasoning about such actions concerns the motion of objects in contact. The study of problems of this nature requires not only the ability to represent physical objects but the development of a framework or theory in which to reason about them. In this paper such a development is investigated and a fundamental theorem concerning the motion of objects in contact is proved. The simplest form of this theorem states that if two objects in contact can be moved to another configuration in which they are in contact, then there is a way to move them from the first configuration to the second configuration such that the objects remain in contact throughout the motion. This result is proved when translation and rotation of objects are allowed. The problem dealing with more generalized types of motion is also discussed. This study has obvious applications in compliant motion and in motion planning
Characterization of two new experimental collections in computer and information science containing textual and bibliographic concepts by E. A Fox ( Book )
1 edition published in 1983 in English and held by 5 WorldCat member libraries worldwide
Two new collections are described which are particularly useful for investigating the interaction between textual and bibliographic data in the automatic indexing and retrieval of documents. An extension to the vector space model has been proposed whereby various types of concepts are included in the representation of such documents. Experiments using an enhanced version of the SMART system have shown such an extended model to perform better than simpler schemes. The CACM and ISI collections developed for this research should be of value for future related studies
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.85 (from 0.00 for National S ... to 1.00 for Reports on ...)
Alternative Names

controlled identity Cornell University

Cornell University. Computer Science Department
Cornell University. Computer Science Dept
Cornell University. Dept. of Computer Science
Languages
English (43)