WorldCat Identities

Harvard University Center for Research in Computing Technology

Overview
Works: 108 works in 108 publications in 1 language and 103 library holdings
Classifications: QA379, 001.642
Publication Timeline
Key
Publications about Harvard University Publications about Harvard University
Publications by Harvard University Publications by Harvard University
Most widely held works about Harvard University
 
Most widely held works by Harvard University
Marching algorithms for elliptic boundary value problems by Randolph E Bank ( Book )
1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide
ECL programmer's manual by Harvard University ( Book )
1 edition published in 1974 in English and held by 2 WorldCat member libraries worldwide
TR ( )
in English and held by 2 WorldCat member libraries worldwide
Unsafe operations in B-trees by Harvard University ( Book )
1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide
Adapt: ADA distributed application prototyping technique by Harvard University ( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
A proposed system for structured programming by Harvard University ( Book )
1 edition published in 1974 in English and held by 1 WorldCat member library worldwide
Abstract model of MSGp : first phase of an experiment in software development by Glenn H Holloway ( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
This report describes the first phase of an experiment designed to demonstrate techniques for software development and evolution. The experiment involves the production of a family of functionally similar systems on dissimilar host computers with markedly different operating systems. The basic technique being used is machine assisted stepwise refinement from an abstract model program that embodies the desired characteristics of the family members without overconstraining the individual implementations. The example system being developed in this experiment is MSG, the interprocess communication component of the National Software Works (NSW). MSG has already been specified and implemented by conventional means for several host computers. Our experiment consists of: production of an abstract model of the MSG family, realization of MSG on two actual hosts, to study the incremental costs of producing new instances by our techniques from a suitable model, and evolution of the MSG family in accord with actual changes to the MSG specification as they arise, to evaluate the efficiencies of maintaining families in unison. (Author)
Estimation of sparse Jacobian matrices by Harvard University ( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Satisfiability problems for propositional calculi by Harvard University ( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Deriving randomized parallel algorithms for selection and sorting by J. H Reif ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
On the expressive power of query languages for relational databases by Harvard University ( Book )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
Depth first search is inherently sequential by Harvard University ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Data flow analysis of distributed communicating processes by Harvard University ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Distributed reconfiguration strategies for fault tolerant multiprocessor systems by Harvard University ( Book )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
New data structures for orthogonal queries by Harvard University ( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Universal two person games of incomplete information by Harvard University ( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
Sample statistics and error bounds for performance predictions in queueing networks by Harvard University ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Performance analysis of concurrency control methods in database systems by Harvard University ( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
A topological approach to dynamic graph connectivity by Harvard University ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Cardinalities definable by constant depth polynomial size circuits by Harvard University ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.00 for Abstract m ... to 1.00 for Marching a ...)
Alternative Names
Harvard University Center for Research in Computing Technology
Languages
English (22)