International Computing Symposium

Keyphrases

Publications

1977

Eduard Mumprecht
The Funnel, a New and Practical Presentation Method for Program Building Blocks. International Computing Symposium (1977)
Eero Peltola, Hannu Erkiö
Balanced Internal Merge Sorting. International Computing Symposium (1977)
Augusto Celentano
Parsing Languages Described by Syntax Graphs. International Computing Symposium (1977)
F. E. Taylor
The Relative Merits of Distributed Computing Systems. International Computing Symposium (1977)
Jan van den Bos
A Design of a Communication Supervisor for a Local Network Employing Monitors. International Computing Symposium (1977)
Max Vetter
Principles of Data Base Systems. International Computing Symposium (1977)
Vangalur S. Alagar, David K. Probst
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium (1977)
Herbert Weber
D-GRAPHS: A Conceptial Model for Data Bases. International Computing Symposium (1977)
Cliff B. Jones
Program Specifications and Formal Development. International Computing Symposium (1977)
Livio Lazzeri, Luciano Lenzini, Allen Springer
Terminal Access to Host Computers through RPCNET. International Computing Symposium (1977)
W. E. King
The Evolution of Relational Database Management Technology. International Computing Symposium (1977)
Andrew T. Arblaster
Some Measures of Information about Program States. International Computing Symposium (1977)
Ernst Denert
Specification and Design of Dialogue Systems with State Diagrams. International Computing Symposium (1977)
Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone
More Flexible and Powerful Control Constructs for Structured Programming. International Computing Symposium (1977)
Philippe Jorrand
Very High Level Languages - Some Aspects of the Evolution of Language Design. International Computing Symposium (1977)
Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
Project LILA. The ELL(1) Generator of LILA, an Introduction. International Computing Symposium (1977)
A. Brini, R. Ferrari, T. Montagna, M. Montagni, G. Perna, J. Szanto
GOSPEL: a Time-Sharing Approach to Continuous System Simulation. International Computing Symposium (1977)
Gunter Schlageter
To the Problem of Record Placement in Inverted File Systems. International Computing Symposium (1977)
Elie Milgrom, Rosemary Michelle Simpson, Pierre Verbaeten, Yves D. Willems
From Programming Education to Professional Practice. International Computing Symposium (1977)
Paul Lindgreen, Edith Rosenberg
SODA - A Flexible Scheme for Database/ Program Interface. International Computing Symposium (1977)
P. Ribeyre, P. Y. Saintoyant
A Predictive Tool for the Improvement of Program Behaviour. International Computing Symposium (1977)
Václav Chvalovský
Structured Programming in Cobol - Yet Another Approach. International Computing Symposium (1977)
Didier Bert
Problem Specification and Algorithmic Programming. International Computing Symposium (1977)
Eckhard D. Falkenberg
Concepts for the Coexistence Approach to Data Base Management. International Computing Symposium (1977)
Dennis de Champeaux
Solutions and Their Problems. International Computing Symposium (1977)
R. A. Cowan
DPL: A Mathematical Computation System. International Computing Symposium (1977)
C. Glowacki
A Closed Form Expression of the Page Fault Rate for LRU Paging Algorithm in a Markovian Reference Model of Program Behavior. International Computing Symposium (1977)
Wolfgang K. Giloi
Beyond APL - An Interactive Language for the Eighties. International Computing Symposium (1977)
Fabio Alberto Schreiber
A Framework for Distributed Database Systems. International Computing Symposium (1977)
Guy Latouche
Optimal Partitioning of a Finite Buffer between Two Pairs of Producer-Consumer. International Computing Symposium (1977)
John Yiannis Cotronis, Peter E. Lauer
Verification of Concurrent Systems of Processes. International Computing Symposium (1977)
H. R. Schuchmann
Privacy Protection - Is It just an Engineering Issue? International Computing Symposium (1977)
David Al-Dabass
Microprocessor Based Parallel Computers and Their Application to the Solution of Control Algorithms. International Computing Symposium (1977)
Wolfgang Janko
An Insertion Sort for Uniformly Distributed Keys Based on Stopping Theory. International Computing Symposium (1977)
J. J. Dumont, Guy Latouche
Analysis of a Foreground-Background System with Two Levels of Priority among Foreground Jobs. International Computing Symposium (1977)
Reiner Durchholz
Types and Related Concepts. International Computing Symposium (1977)
L. C. Caruthers, D. Groot, E. Hermans, Andries van Dam, Jan van den Bos
GPGS - General Purpose Graphic System. International Computing Symposium (1977)
E. Mark Gold
Semantic Approach to Design fo Controller Languages and Hardware. International Computing Symposium (1977)
Daniel Thalmann, Bernard Levrat
SPIP: A Way of Writing Portable Operating Systems. International Computing Symposium (1977)
Michael E. Senko
Conceptual Schema, Abstract Data Structures, Enterprise Descriptions. International Computing Symposium (1977)
Alan D. Pearman
Optimal and Sub-Optimal Configurations for Computer Networks. International Computing Symposium (1977)
Lester Lipsky
Comparison of Performance Measurements of a Computer System with a Queueing Model. International Computing Symposium (1977)
Mohammad Inam ul Haq
On Safeguarding Statistical Disclosure by Giving Approximate Answers to Queries. International Computing Symposium (1977)
Raymond R. Devillers, Guy Louchard
Using Auxiliary Variables in Parallel Programs Verification. International Computing Symposium (1977)
Chris J. Hinde
Algorithmic Embedding in Fuzzy Sets. International Computing Symposium (1977)
G. Barta
GRIN - A Simple Command Language for Graphic Interaction. International Computing Symposium (1977)
Domenico Ferrari, Makoto Kobayashi
Program Restructuring Algorithms for Global LRU Environments. International Computing Symposium (1977)
International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint) International Computing Symposium (1977)
Paulo A. S. Veloso
Some Bounds on Quasi-Initialised Finite Automata. International Computing Symposium (1977)
Dines Bjørner
Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium (1977)