Skip to main content

Computer Systems Research Institute, Technical Reports

Computer Systems Research Institute



rss RSS

357
RESULTS


Show sorted alphabetically

Show sorted alphabetically
SHOW DETAILS
up-solid down-solid
eye
Title
Date Published
Creator
Computer Systems Research Institute, Technical Reports
Language Design to Enhance Programming Reliability
Language Design to Enhance Programming Reliability
by John D. Gannon
texts

eye 496

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
PT: A Pascal Subset
PT: A Pascal Subset
by Alan Rosselet
texts

eye 371

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
An Overview of TUNIS: A UNIX Look-Alike Written in Concurrent Euclid
An Overview of TUNIS: A UNIX Look-Alike Written in Concurrent Euclid
by R.C. Holt
texts

eye 1,149

favorite 2

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Design Study For a Two-Dimensional Computer-Assisted Animation System
Design Study For a Two-Dimensional Computer-Assisted Animation System
by Kenneth B. Evans
texts

eye 152

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
A Student Project for an Operating Systems Course
A Student Project for an Operating Systems Course
by B. Czarnik and D. Tsichritrzis
texts

eye 407

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Concurrency Control Performance Issues
Concurrency Control Performance Issues
by Bruce I. Galler
texts

eye 271

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Omega Alpha
Omega Alpha
by edited by D. Tsichritzis
texts

eye 217

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: May-June 1991
Computernews: May-June 1991
by Patricia Hood
texts

eye 146

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
The Design and Implementation of an Advanced LALR Parse Table Constructor
The Design and Implementation of an Advanced LALR Parse Table Constructor
by David H. Thompson
texts

eye 168

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
An Annotated Bibliography On Computer Program Engineering, Third Edition
An Annotated Bibliography On Computer Program Engineering, Third Edition
by John V. Guttag
texts

eye 155

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1985
Computernews: March 1985
by Martha Parrott
texts

eye 70

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July-August 1988
Computernews: July-August 1988
by Martha Parrott
texts

eye 112

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Optimization Features for the Architecture of a Database Machine
Optimization Features for the Architecture of a Database Machine
by E.A. Ozkarahan and K.C. Sevcik
texts

eye 78

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
On the Semantics of the Relational Data Model
On the Semantics of the Relational Data Model
by Hans Albrecht Schmid and J. Richard Swenson
texts

eye 158

favorite 1

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
The Turing Language Report
The Turing Language Report
by Richard C. Holt and James R. Cordy
texts

eye 104

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
A First-Order Dynamic Logic for Planning
A First-Order Dynamic Logic for Planning
by Henry A. Kautz
texts

eye 112

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Notes from a Workshop on the Attainment of Reliable Software
Notes from a Workshop on the Attainment of Reliable Software
by David B. Wortman
texts

eye 86

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
An Experimental Evaluation of Chess Playing Heuristics
An Experimental Evaluation of Chess Playing Heuristics
by Laszlo Sugar
texts

eye 197

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computer Science Newsletter: November 30, 1972
Computer Science Newsletter: November 30, 1972
by C. Alan Ford
texts

eye 152

favorite 0

comment 0

Reproduced from typewritten copy
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1988
Computernews: March 1988
by Martha Parrott
texts

eye 49

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: May-June 1988
Computernews: May-June 1988
by Martha Parrott
texts

eye 113

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
The Use of Service Time Distributions in Scheduling
The Use of Service Time Distributions in Scheduling
by Kenneth C. Sevcik
texts

eye 73

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Dylan User's Manual
Dylan User's Manual
by P.E. Bonzon
texts

eye 182

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
by James E. Donahue
texts

eye 171

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Theory of Database Mappings
Theory of Database Mappings
by Anthony C. Klug
texts

eye 110

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Design and Verification of Interactive Information Systems Using TAXIS
Design and Verification of Interactive Information Systems Using TAXIS
by Harry K.T. Wong
texts

eye 57

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Decentralized Algorithms in Distributed Systems
Decentralized Algorithms in Distributed Systems
by Ernest Jen-Hao Chang
texts

eye 102

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: October-November 1984
Computernews: October-November 1984
by Martha Parrott
texts

eye 34

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computer Science Newsletter: October 30, 1970
Computer Science Newsletter: October 30, 1970
by C. Alan Ford
texts

eye 70

favorite 0

comment 0

Reproduced from typewritten copy
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
On Approximate Solution Techniques for Queuing Network Models of Computer Systems
On Approximate Solution Techniques for Queuing Network Models of Computer Systems
by Satish Kumar Tripathi
texts

eye 116

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: January 1978
Computernews: January 1978
by Janet Campbell
texts

eye 54

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: October 1988
Computernews: October 1988
by Martha Parrott
texts

eye 81

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Dynamic Protection of Objects In a Computer Utility
Dynamic Protection of Objects In a Computer Utility
by Leslie II. Goldsmith
texts

eye 96

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July-August 1987
Computernews: July-August 1987
by Martha Parrott
texts

eye 30

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Matching Program and Data Representations to a Computing Environment
Matching Program and Data Representations to a Computing Environment
by Eric C.R. Hehner
texts

eye 73

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: January-February 1986
Computernews: January-February 1986
by M. Parrott
texts

eye 40

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
On Proving the Absence of Execution Errors
On Proving the Absence of Execution Errors
by W. David Elliott
texts

eye 98

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
A Prototype Knowledge-based System for Computer-assisted Medical Diagnosis
A Prototype Knowledge-based System for Computer-assisted Medical Diagnosis
by Stephen A. Ho-Tai
texts

eye 87

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computer Science Newsletter: February 26, 1971
Computer Science Newsletter: February 26, 1971
by C. Alan Ford
texts

eye 57

favorite 0

comment 0

Reproduced from typewritten copy
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
A Simple Set Theory for Computer Science
A Simple Set Theory for Computer Science
by Eric C.R. Hehner
texts

eye 139

favorite 1

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Structured Subsets of the PL/I Language
Structured Subsets of the PL/I Language
by Richard C. Holt and David B. Wortman
texts

eye 152

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Automatic Generation of Syntax-Repairing and Paragraphing Parsers
Automatic Generation of Syntax-Repairing and Paragraphing Parsers
by David Thomas Barnard
texts

eye 76

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
ZETA: A Prototype Relational Database Management System
ZETA: A Prototype Relational Database Management System
by M.L Brodie et al
texts

eye 90

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Beta Gamma
Beta Gamma
by edited by D. Tsichritzis
texts

eye 287

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: April 1975
Computernews: April 1975
by Janet Campbell
texts

eye 61

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computer Macro-Scheduling for High Productivity
Computer Macro-Scheduling for High Productivity
by Abraham Schonbach
texts

eye 122

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July-August 1978
Computernews: July-August 1978
by Janet Campbell
texts

eye 52

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: June 1976
Computernews: June 1976
by Janet Campbell
texts

eye 39

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
File Organization and Structure
File Organization and Structure
by G.M. Stacey
texts

eye 93

favorite 2

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
An Educational Database Management System
An Educational Database Management System
by F. Lochovsky and D. Tsichritrzis
texts

eye 79

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Finding x-y Convex Hull a Set of x-y Polygons
Finding x-y Convex Hull a Set of x-y Polygons
by Delfin Montuno and Alain Fournier
texts

eye 104

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Toward Program Illustrator
Toward Program Illustrator
by Edward Yarwood
texts

eye 85

favorite 0

comment 0

34
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1975
Computernews: March 1975
by Janet Campbell
texts

eye 50

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March-April 1982
Computernews: March-April 1982
by David Reed
texts

eye 56

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: August 1974
Computernews: August 1974
by Janet Campbell
texts

eye 65

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July 1976
Computernews: July 1976
by Janet Campbell
texts

eye 41

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July-August 1984
Computernews: July-August 1984
by Martha Parrott
texts

eye 43

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computer Science Newsletter: August 31, 1971
Computer Science Newsletter: August 31, 1971
by C. Alan Ford
texts

eye 46

favorite 0

comment 0

Reproduced from typewritten copy
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: April 1974
Computernews: April 1974
by W.E. Greene
texts

eye 60

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: April 1992
Computernews: April 1992
by Patricia Hood
texts

eye 47

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July 1975
Computernews: July 1975
by Janet Campbell
texts

eye 29

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: February 1974
Computernews: February 1974
by Toronto, Ont. University. Computing Services; Toronto, Ont. University. Computer Centre
texts

eye 44

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: December 1987
Computernews: December 1987
by Martha Parrott
texts

eye 59

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: July 1974
Computernews: July 1974
by Janet Campbell
texts

eye 51

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1987
Computernews: March 1987
by Martha Parrott
texts

eye 38

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: November 1974
Computernews: November 1974
by Janet Campbell
texts

eye 48

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: May-June 1984
Computernews: May-June 1984
by Martha Parrott
texts

eye 38

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1990
Computernews: March 1990
by Patricia Hood
texts

eye 36

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: March 1984
Computernews: March 1984
by Martha Parrott
texts

eye 46

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: May 1978
Computernews: May 1978
by Janet Campbell
texts

eye 36

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: June 1978
Computernews: June 1978
by Janet Campbell
texts

eye 33

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: September 1974
Computernews: September 1974
by Janet Campbell
texts

eye 48

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: September-October 1991
Computernews: September-October 1991
by Patricia Hood
texts

eye 36

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: September 1985
Computernews: September 1985
by Martha Parrott
texts

eye 24

favorite 0

comment 0

Cover title
Topic: Electronic data processing
Computer Systems Research Institute, Technical Reports
Computernews: November 1979
Computernews: November 1979
by Janet Barr
texts

eye 52

favorite 0

comment 0

Cover title
Topic: Electronic data processing

Fetching more results Fetching more results