University of Toronto. Computer Systems Research Group.
VIAF ID: 130106199 ( Corporate )
Permalink: http://viaf.org/viaf/130106199
Preferred Forms
- 110 2 _ ‡a University of Toronto ‡b Computer Systems Research Group
-
- 110 2 _ ‡a University of Toronto ‡b Computer Systems Research Group
- 110 2 _ ‡a University of Toronto. Computer Systems Research Group
-
-
- 110 2 0 ‡a University of Toronto. ‡b Computer Systems Research Group
-
4xx's: Alternate Name Forms (13)
5xx's: Related Names (6)
- 510 2 _ ‡a Computer Systems Research Institute ‡9 g:Toronto ‡e Nachfolger
- 551 _ _ ‡a Toronto
- 510 2 _ ‡a University of Toronto. ‡b Computer Systems Research Institute
- 510 2 0 ‡a University of Toronto. ‡b Computer Systems Research Institute
- 510 2 _ ‡a University of Toronto ‡b Computer Systems Research Institute
- 510 2 _ ‡a University of Toronto ‡e Ueberordnung
Works
Title | Sources |
---|---|
Adaptive microprogramming and processor modeling | |
Alpha beta | |
An annotated bibliography on computer program engineering | |
Another look at communicating processes | |
The approximate solution of large queueing network models | |
Artistic computer transformations of two-dimensional text and images : final report to the Canada Council Explorations Program | |
Automatic generation of syntax-repairing and paragraphing parsers | |
Characterizing service time and response time distributions in queueing network models of computer systems. | |
A communication model for message management systems | |
A comparative analysis of several disk scheduling algorithms | |
Compiler structure | |
A computational model of collaboration on reference in direction-giving dialogues | |
Computer handbook for senior management | |
Computer Systems Research Group : general information, Septembre 1971 | |
Context-free grammars and derivation trees as programming tools | |
D O considered OD : a contribution to the programming calculus. | |
Decentralized algorithms in distributed systems | |
Design issues in the foundation of a computer based tool for music composition | |
Deterministic left to right parsing | |
Dialogue and process design for interactive information systems using TAXIS | |
Dynamic protection of objects in a computer utility | |
Eliminating the variable from Dijkstra's mini-language | |
Encyc. of music in Canada, c1981: | |
Entering the 80's | |
Estimating selectivities in data bases | |
An extended Taxis compiler | |
Finding x-y convex hull of a set of x-y polygons | |
A first-order dynamic logic for planning | |
A formal theory of indexical knowledge and action | |
A formal treatment of imperfect information in database management | |
A framework for visual motion understanding | |
Intelligent computer-assisted instruction in syntactic style | |
Language design to enhance programming reliability. | |
A language facility for designing interactive database-intensive applications | |
Machine-independent code generation | |
Matching program and data representations to a computing environment | |
A methodology for programming with concurrency | |
Normalization and functional dependencies in the relational data base model | |
An object-oriented office data model | |
Office Knowledge : Representation, Management, and Utilization : selected full papers based on contributions to the IFIP TC 8/WG 8.4 International Workshop on Office Knowledge : Representation, Management, and Utilization, Toronto, Ontario, Canada, 17-19 August, 1987 | |
On deadlock in computer systems | |
On the axiomatic verification of concurrent algorithms | |
Optimal file designs and reorganization points | |
Optimal processor scheduling when service times are hyperexponentially distributed and preemption overhead is not negligible. | |
P I S A : a programming system for interactive production of application software. | |
A Panache of DBMS ideas III | |
Process structuring | |
Progress report on NRC negotiated development grant, January-December 1972, NRC account number D-11, grantees: T. E. Hull, G. R. Slemon | |
Project SUE as a learning experience | |
A prototype knowledge-based system for computer-assisted medical diagnosis | |
Psychological complexity of computer programs : an initial experiment | |
PT:a Pascal subset | |
Pted : a standard Pascal text editor based on the Kernighan & Plauger design | |
The representation of programs in the procedural semantic network formalism | |
Requirements modeling : a knowledge representation approach to software requirements definition | |
Robust concurrency control in distributed databases | |
L.S.L. : a link and selector language. | |
S/SL:Syntax/Semantic language : introduction and specification | |
Satisfying database states | |
A simple set theory for computing science | |
Sorting out sorting : insertion sorts | |
Specification and verification of data base semantic integrity. | |
Structure of a portable operating system | |
A study of program and memory policy behaviour | |
A syntax directed error recovery method | |
The synthesis of optimal decision trees from decision tables | |
System-oriented macro-scheduling | |
A Taxis clinical trial management system | |
Technical report - University of Toronto, Computer Systems Research Group. | |
Three dimensional data display with hidden line removal | |
Time-constrained memory for reader-based text comprehension | |
Topics in performance evaluation : Project SAM | |
Topics in PSN-II | |
Towards practical functional programming | |
A Trusted network architecture | |
The Turing language report | |
A unifying model of physical databases | |
Virtual time CSMA : a study | |
Z E T A : a prototype relational data base management system. |