WorldCat Identities

Cornell University Department of Computer Science

Overview
Works: 441 works in 546 publications in 1 language and 1,518 library holdings
Genres: Periodicals  Conference papers and proceedings  Handbooks and manuals 
Roles: Other
Classifications: Z699.A1, 010.7805
Publication Timeline
.
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 151 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 120 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 by N Budhiraja( Book )

1 edition published in 1992 in English and held by 118 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 Gyanshruti( Book )

1 edition published in 1990 in English and held by 85 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
The process group approach to reliable distributed computing by Kenneth P Birman( Book )

3 editions published between 1991 and 1992 in English and held by 77 WorldCat member libraries worldwide

Reviews six years of research on ISIS
Tools for monitoring and controlling distributed applications by Keith Marzullo( Book )

1 edition published in 1991 in English and held by 74 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."
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 74 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 50 WorldCat member libraries worldwide

Information storage and retrieval : scientific report no. ISR-18 to the National Science Foundation and to the National Library of Medicine : reports on analysis, dictionary construction, user feedback, clustering, and on-line retrieval by Cornell University( Book )

21 editions published between 1966 and 1970 in English and held by 48 WorldCat member libraries worldwide

This report contains a record of the continuing investigation of various techniques for automatic content analysis, and for the storage and search of structured information. In particular, some storage allocation techniques are examined which are useful in the manipulation of natural language data; a variety of machine programs and experi ments are then described for the processing of bibliographic citations; and two models for a completely automatic document retrieval system are outlined. (Author)
Proposals for a dynamic library by Gerard Salton( Book )

3 editions published between 1972 and 1973 in English and held by 34 WorldCat member libraries worldwide

The current library environment is first examined, and an attempt is made to explain why the standard approaches to the library problem have been less productive than had been anticipated. A new design is then introduced for modern library operations based on a two-fold strategy: on the input side, the widest possible utilization should be made of cooperative and shared operations, whereas dynamic, user-controlled procedures should be used for the subsequent internal processes. The dynamic environment applies in particular to the maintenance of the indexing vocabulary, the organization of the stored information files, the performance of search and retrieval operations, and the control of the library collection necessitated by document growth and retirement. Some experimental results are included. (Author)
Proceedings of the workshop on models of complex human learning : held in conjunction with the Sixth International Machine Learning Workshop, Rooms 700-702, Clark Hall, Cornell University, Ithaca, N.Y., June 27-28, 1989 by Workshop on Models of Complex Human Learning( Book )

3 editions published in 1989 in English and held by 15 WorldCat member libraries worldwide

Technical report by Cornell University( )

in English and held by 14 WorldCat member libraries worldwide

Information storage and retrieval; scientific report no. ISR-16 to the National Science Foundation by Cornell University( Book )

8 editions published between 1966 and 1974 in English and held by 12 WorldCat member libraries worldwide

Information storage and retrieval; scientific report to the National Science Foundation by Cornell University( )

in English and held by 10 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
User's guide to PL/C, the Cornell compiler for PL/I by Richard Walter Conway( Book )

4 editions published between 1971 and 1979 in English and held by 5 WorldCat member libraries worldwide

Characterization of two new experimental collections in computer and information science containing textual and bibliographic concepts by Edward A Fox( Book )

1 edition published in 1983 in English and held by 5 WorldCat member libraries worldwide

The ISI collection has author, title/abstract, and co-citation data for the 1460 most highly cited articles and manuscripts in information science in the 1969-1977 period. The CACM collection contains 7 types of concepts for the 3204 articles published in the Communication of the ACM up through 1979. These collections have 76 and 52 queries, respectively, along with relevance judgments
Concepts and notations for concurrent programming by Gregory R Andrews( Book )

1 edition published in 1982 in English and held by 5 WorldCat member libraries worldwide

Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.48 for Proceeding ... to 1.00 for National S ...)

Alternative Names

controlled identityCornell University

Cornell University. Computer Science Department

Cornell University. Computer Science Dept

Cornell University. Dept. of Computer Science

Languages
English (74)