R. E. A. Mason (Ed.):
Information Processing 83,
Proceedings of the IFIP 9th World Computer Congress,
On the Design of ADA (Invited Paper)
Formal and Informal Models of Office Activity (Invited Paper)
Models of Communication Architectures
Net Theory of Systems and Processes
Trends in Office Workstations Design
Computing in High Energy Physics (Invited Paper)
- Paolo Zanella:
Computing in High-Energy Physics: Facing a New Generation of Experiments.
Image Manipulation in the Office
Physiology for Man Computer Cooperation in Knowledge Processing (Invited Paper)
- André Bisseret:
Physiology for Man Computer Cooperation in Knowledge Processing.
Applications - II
Logic Programming (Invited Paper)
Database System Design for High Performance (Invited Paper)
- Rudolf Bayer:
Database System Design for High Performance.
The Power of Computational Automata
- Rusins Freivalds:
Methods and Languages to Prove the Power of Probabilistic Machines.
- Juraj Wiedermann:
Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine.
Elements of Distributed Systems
Computer Science Education
First Steps Towards Inferential Programming (Invited Paper)
Future Microprocessor Trends (Invited Paper)
Universal Relation Interfaces for Database Systems (Invited Paper)
Formulating Human Purposes - Meta-Engineering Computers for People (Invited Paper)
- Daniel C. Dennett:
Formulating Human Purposes - Meta-Engineering Computers for People.
VLSI and the Foundations of Computation (Invited Paper)
- Carver Mead:
VLSI and the Foundations of Computation.
On Protocol Engineering (Invited Paper)
Logic Programming - I
Program Transformations and Optimization
Specification and Design of (Parallel) Programs (Invited Paper)
- Cliff B. Jones:
Specification and Design of (Parallel) Programs.
Program Synthesis and Verification
- J. M. Barzdin:
Some Rules of Inductive Inference and their Use for Program Synthesis.
- Ali Mili:
The Bottom up Analysis of While Statements: Strongest Invariant Functions.
Naive Denotational Semantics (Invited Paper)
Architectural Concepts for High-Performance,
General-Purpose Computers (Invited Paper)
- Gene M. Amdahl:
Architectural Concepts for High-Performance, General-Purpose Computers.
Expectations of Standardization (Invited Paper)
Studys of Communications Protocols
- Michio Oyamaguchi:
Relationship Between Abstract and Concrete Implementations of Algebraic Specifications.
- J. M. Robson:
The Complexity of Go.
Logics and Programming
Ease of Use:
A System Design Challenge (Invited Paper)
Computing in the Developing Countries of Asia (Invited Paper)
- Gopal K. Gupta:
Computing in the Developing Countries of Asia.
Semantics of Parallel Programs
- Takayasu Ito:
Regular Tree Expressions and Behaviors of Functional Nets.
- Matthew Hennessy:
Synchronous and Asynchronous Experiments on Processes.
Compiler Development - I
Computers in Developing and Developed Countries - A Contrast
Applications of Artificial Intelligence Techniques to Office Automation Systems (Invited Paper)
- Kohei Amo, Ken-ichi Mori:
Applications of Artificial Intelligence Techniques to Office Automation Systems.
Abstraction and Parametric Polymorphism (Invited Paper)
Local Networking of Personal Computers (Invited Paper)
Physical Database Organization
Office Work Suuport
Microprocessors in System Design
Nineteen Eighty Four?
The Architectures in the Fifth Generation Computers (Invited Paper)
Data Base Applications
Prolog in Practice (Invited Paper)
Implementation and Engineering of a Production-Oriented DBMS (Invited Paper)
- Peter Schnell:
Implementation and Engineering of a Production-Oriented DBMS.
Viewing Computing Systems Within a Social Context (Invited Paper)
What Good is Temporal Logic? (Invited Paper)
Man-Machine Speech Communications
Facsimile Processing and Communications
Computer Architecture - I
Getting Together With Computers.
New Issues of Computer Privacy in the Eighties (Invated Paper)
- Alan F. Westin:
New Issues of Computer Privacy in the Eighties.
On Real-Time Distributed Computing (Invited Paper)
The nu-Conversion and an Analytic Semantics (Invated Paper)
Computers and National Development
- Frederic E. Lamond:
Microprocessors as Agents of De-Industrialization.
- Judith H. Hammond:
The Challenge of Change: Information Technology and the Community - An Australian Innovative Project.
Models for Systems and Organizations
Recovery Algorithms for Database Systems (Invited Paper)
Computer Architecture - II
Applications - II
- N. C. Gupta:
System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study.
- Michael Szabo, Dale H. Bent:
An Assessment of the State of the Art of Computer Based Learning Systems Design.
Comparison of Concurrency Control Methods Using Analytic Models (Invited Paper)
- Kenneth C. Sevcik:
Comparison of Concurrency Control Methods Using Analytic Models.
Algebra of Algorithms,
Data Structures and Parallel Computation (Invited Paper)
Some Linear-Time Algorithms for Systolic Arrays (Invited Paper)
Educating the Information Generation (Invited Paper)
Process in Computer Networks (Invited Paper)
Impact of Computers on the Young and the Naive
Advances in the Exploitation of Sparsity (Invited Paper)
- J. K. Reid:
Advances in the Exploitation of Sparsity.
Logic Programming - II
Development of a Tracking and Data Acquisition System for Spacecraft (Invited Paper)
Compiler Development - II
Man-Machine Methods for Solving Large-Scale Economic Planning Problems (Invited Paper)
- V. L. Makarov:
Man-Machine Methods for Solving Large-Scale Economic Planning Problems.
The View of a Recent Convert to Denotational Semantics (Invited Paper)
Copyright © Fri Mar 12 17:15:43 2010
by Michael Ley (firstname.lastname@example.org)
- Albert R. Meyer:
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics.