7. IFIP Congress 1977: Toronto, Canada

Future Directions in Computer Architecture

• Maurice V. Wilkes: Beyond Today's Computers. 1-5 BibTeX
• Yaohan Chu: Direct-Execution Computer Architecture. 7-12 BibTeX

Software Studies I

• Rajat K. Deb: On Generation of Test Data and Minimal Cover of Directed Graphs. 13-16 BibTeX
• J. L. Cheval, F. Christian, Sacha Krakowiak, J. Montuelle, Jacques Mossière: An Experiment in Modular Program Design. 17-21 BibTeX
• Ken Sakamura, Hideaki Kitafusa, Yukio Takeyari, Hideo Aiso: A Debugging Machine - An Approach to an Adaptive Computer. 23-28 BibTeX

Pattern Recognition and Artificail Intelligence

• Kazuaki Komori, Takahiko Kawatani, Kenichiro Ishii, Yukiyasu Iida: A Feature Concentration Method for Character Recognition. 29-34 BibTeX
• Kiyoshi Iwata, Masumi Yoshida, Eiishiro Yamamoto, Takeshi Masui, Yukikazu Kabuyama, Shin-ichi Shimizu: Recognition System for Handprinted Characters. 35-39 BibTeX
• Alan W. Biermann, Douglas R. Smith: The Hierarchical Synthesis of Lisp Scanning Programs. 41-45 BibTeX

Educating in Computing I

• J. N. P. Hume: Education in Computing Versus User Needs. 47-51 BibTeX
• Ira Pohl, Alan Shaw: Introducing Computer Science - An Alternative. 53-56 BibTeX

Theories of Programs and Languages

• Janis Barzdin, Janis Bicevskis, Audris Kalnins: Automatic Construction of Complete Sample System for Program Testing. 57-62 BibTeX
• Peter Bachmann: Data-Flow-Analysis in Weakly Interpreted Program-Schemes. 63-68 BibTeX
• Jean-François Perrot, Jacques Sakarovitch: A Theory of Syntactic Monoids for Context-Free Languages. 69-72 BibTeX

New Methods for Information Systems Development

• Mats Lundeberg: Utilization of New Information Systems Development Methods in Practice - Perspectives and Prospects. 73-78 BibTeX
• J. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet: Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information System. 79-84 BibTeX
• Tadashi Ishiketa, T. Yokoyama, S. Mandai, N. Takeshima: A Managerial Decision-Making Tool - Computer Assisted Problem-Solving System (CAPSS). 85-90 BibTeX

Finite Elements Methods

• Michel Bernadou: Conforming Finite Element Methods for Shell Problems with Numerical Integration. 91-96 BibTeX
• Michel Bercovier: A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations. 97-101 BibTeX
• Owe Axelsson, Uno Nävert: On a Graphical Package for Nonlinear Partial Differential Equation Problems. 103-108 BibTeX

Future Directions in Information Management

• Mayford L. Roark: Some Approaches to the Management of Change. 109-112 BibTeX
• Kurt Ziegler Jr.: Distributed Data Base Where Are You? (A Tutorial). 113-115 BibTeX

Programming Languages

• Andrei P. Ershov, Valery V. Grushetsky: An Implementation-Oriented Method for Describing Algorithmic Languages. 117-122 BibTeX
• Marie-Claude Gaudel: A Formal Approach to Translator Specification. 123-127 BibTeX
• Tiko Kameda, Hussein M. Abdel-Wahab: Optimal Code Generation for Machines with Different Types of Instructions. 129-132 BibTeX

Data Base Theory

• T. S. E. Maibaum: Mathematical Semantics and a Model for Data Bases. 133-138 BibTeX
• P. Dell'Orco, V. N. Spadavecchia, Margaret King: Using Knowledge of a Data Base World in Interpreting Natural Language Queries. 139-144 BibTeX
• Stephen Todd: Automatic Constraint Maintenance and Updating Defined Relations. 145-148 BibTeX

Distributed Processing

• Mamoru Maekawa: Interprocess Communications in a Highly Diversified Distributed System. 149-154 BibTeX
• Gérard Le Lann: Distributed Systems - Towards a Formal Approach. 155-160 BibTeX
• Toshiyuki Sakai, Tsunetoshi Hayashi, Shigeyoshi Kitazawa, Koichi Tabata, Takeo Kanade: Inhouse Computer Network Kuipnet. 161-166 BibTeX

Graphics

• Mamoru Hosaka, Fumihiko Kimura: An Interactive Geometrical Design System with Handwriting Input. 167-172 BibTeX
• Teus Hagen, Paul J. W. ten Hagen, Paul Klint, Han Noot: The Intermediate Language for Pictures. 173-178 BibTeX
• Eric D. Carlson, Gary M. Giddings, Robin Williams: Multiple Colors and Image Mixing in Graphics Terminals. 179-182 BibTeX

Numerical Analysis

• Graziano Frosini, Francesco M. Viterbo: Computing the Frequency of a Sampled Sinusoidal Function. 183-187 BibTeX
• David F. Shanno, Kang-Hoh Phua: Inexact Step Lengths and Quasi-Newton Methods. 189-193 BibTeX
• Jonas Mockus: On Bayesian Methods for Seeking the Extremum and their Application. 195-200 BibTeX

Computer Aided Instruction

• J. Hebenstreit: New Trends and Related Problems in Computer-Based Education. 201-208 BibTeX
• Philippe Masse, Jean-Claude Sabonnadiere: Introduction of Computer Aided Design in an Educational System. 209-212 BibTeX

Impact of Information Systems on Organisations

• Robert I. Tricker: The Impact of Information Systems on Organisational Thinking. 213-221 BibTeX
• Emilio Bartezzaghi, Claudio Ciborra, Paolo Romano, Piercarlo Maggiolini: Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing Firms. 223-227 BibTeX

Modelling and Analysis of Data Networks

• Gregor von Bochmann, Jan Gecsei: A Unified Method for the Specification and Verification of Protocols. 229-234 BibTeX
• Lawrence Van Sickle, K. Mani Chandy: Computational Complexity of Network Design Algorithms. 235-239 BibTeX
• D. A. Hutchison, J. Spruce Riordon, Samy A. Mahmoud: A Recursive Algorithm for Deadlock Preemption in Computer Networks. 241-246 BibTeX

Pattern Recognition and Process Control

• Josef Kittler: The Discriminant Function Approach to Classification of Incomplete Pattern Vectors. 247-251 BibTeX
• Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel: Validation Problems in Pattern Recognition Study of a Particular Case. 253-257 BibTeX
• V. M. Glushkov, A. I. Nikitin, I. V. Sergienko: Problems of Plating-Line Scheduling. 259 BibTeX

Effects OF Information Technology on Organisation Structures

• Richard L. Nolan: Restructuring the Data Processing Organization for Data Resource Management. 261-265 BibTeX

Trends and Developments in CAD

• J. Hatvany: Trends and Developments in Computer-Aided Design. 267-271 BibTeX
• Frank M. Lillehagen, Jørn Øian, Jan F. Mack: Focusing on the Internal Mode in CAD and CAM Systems. 273-278 BibTeX

Foundations for Proofs about Programs

• J. W. de Bakker: Semantics and the Foundations of Program Proving. 279-284 BibTeX
• Andrzej Blikle: An Analytic Approach to the Verification of Iterative Programs. 285-290 BibTeX

Software Studies II

• Christian Galtier: An Allocation Algorithm for Multi-Micro Computers Using Array Structured Data. 291-296 BibTeX
• Ian H. Witten: Software for Speech Output. 297-301 BibTeX
• James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky: Program Generation and Transformation - Tools for Mathematical Software Development. 303-308 BibTeX

Routing and Congestion Control in Switched Data Networks

• Wyn L. Price: Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting. 309-313 BibTeX
• J. W. Wong, M. S. Unsoy: Analysis of Flow Control in Switched Data Networks. 315-320 BibTeX
• Harry Rudin: On Alternate Routing in Circuit-Switched Data Networks. 321-326 BibTeX

Future of Data Management

• G. M. Nijssen: On the Gross Architecture for the Next Generation Database Management System. 327-335 BibTeX
• Norman R. Nielsen, Brian Ruder: Computer System Integrity Safeguards. 337-342 BibTeX

Computer Assisted Training

• B. Varet, F. Allorent, J. P. Levy, N. Salame, F. M. Blondel, J. F. Boyer: Comparison Between a Prescribed and a Permissive Process in Computer Assisted Training in Decision Making. 343-346 BibTeX
• Reind P. van de Riet: BASIS - An Interactive System for the Introductory Course in Informatics. 347-351 BibTeX

Process Control

• N. N. Krasovskii: Control under Incomplete Information. 353-365 BibTeX
• Michel Clerget: Realizations of Two Dimensional Recursive Filters. 367-371 BibTeX

Techniques in CAD I

• James N. Hanson: The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation. 373-376 BibTeX
• Alina Golka: A Computer System for the Synthesis of Reinforced Concrete Frames. 377-381 BibTeX
• Gérard Courtieux, Daniel Guibert: Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture. 383-387 BibTeX

Data Base Studies I

• Hermann Helbig: A New Method for Deductive Answer Finding in a Question-Answering System. 389-393 BibTeX
• Mayer D. Schwartz, Dorothy E. Denning, Peter J. Denning: Securing Data Bases under Linear Queries. 395-398 BibTeX
• Klaus-Dieter Krägeloh, Peter C. Lockemann: Top-Down Optimization in Multi-Level Data Base Systems. 399-404 BibTeX

Fault Tolerance

• Algirdas Avizienis: Fault-Tolerant Computing-Progress, Problems and Prospects. 405-420 BibTeX
• Kumar Subramanian: A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme. 421-426 BibTeX

Distributed Data Switching

• Paul V. Mockapetris, Michael Lyle, David J. Farber: On the Design of Local Network Interfaces. 427-430 BibTeX
• Ernst A. Rothauser, D. Wild: MLMA-A Collision-Free Multi-Access Method. 431-436 BibTeX

Telecommunications Management

• Michael L. Ford: Business Problems in Planning of International Data Communications Networks. 437-439 BibTeX

Data Base Studies II

• Gerard Salton, Donna Bergmark: Clustered File Generation and its Application to Computer Science Taxonomies. 441-445 BibTeX
• Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi: Mappings in Database Systems. 447-452 BibTeX
• Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine: A Procedural Language for the Relational Data Base Management System "Syntex". 453-457 BibTeX

Data Networks: Past, Present and Future

• Paul Baran: Some Perspectives on Networks-Past, Present and Future. 459-464 BibTeX
• Hubert Zimmermann: The Cyclades Experience-Results and Impacts. 465-469 BibTeX

Performance Evaluation

• N. A. Yannacopoulos, Roland N. Ibbett, R. W. Holgate: Performance Measurements of the MU5 Primary Instruction Pipeline. 471-476 BibTeX
• Simon H. Lavington, Alan E. Knowles: Assessing the Power of an Order Code. 477-480 BibTeX
• Anthony E. Krzesinski, S. Gerber, Peter Teunissen: A Multiclass Network Model of a Multiprogramming Timesharing Computer System. 481-486 BibTeX

Computational Algorithms

• J. A. van Hulzen, R. P. Hettich: Approximation with a Class of Rational Functions. 487-492 BibTeX
• David Y. Y. Yun: Fast Algorithm for Rational Function Integration. 493-498 BibTeX
• Sady Maurin: An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation. 499-502 BibTeX

Organisational Productivity - The Role of Information Technology

• Paul A. Strassmann: Organisational Productivity-The Role of Information Technology. 503-508 BibTeX

Packet Networks - Issues, Experiences, Choices

• C. Ian McGibbon, Howard Gibbs: DATAPAC - A Phased Approach to the Introduction of Public Packet-Switched Network. 509-513 BibTeX
• Louis Pouzin: Packet Networks-Issues and Choices. 515-521 BibTeX

Program Translation

• Peter Henderson: An Approach to Compile-Time Type Checking. 523-527 BibTeX
• George Poonen: Error Recovery for LR(k) Parsers. 529-533 BibTeX
• Harald Ganzinger, Knut Ripken, Reinhard Wilhelm: Automatic Generation of Optimizing Multipass Compilers. 535-540 BibTeX

Future Potentials in Computer Communication

• Lawrence G. Roberts: Packet Network Design-The Third Generation. 541-546 BibTeX
• Leonard Kleinrock: Performance of Distributed Multi-Access Computer-Communication Systems. 547-552 BibTeX

System Performance

• Dennis G. Kafura: Task Scheduling with Critical Section Constraints. 553-557 BibTeX
• Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman: Customer Classes and Closed Network Models-A Solution Technique. 559-564 BibTeX
• Kenneth C. Sevcik: Priority Scheduling Disciplines in Queuing Network Models of Computer Systems. 565-570 BibTeX

Programming Support Systems

• Eduardo A. Jordan: A Support for Program Design with Abstract Machines. 571-575 BibTeX
• K. Jackson: Language Design for Modular Software Construction. 577-581 BibTeX
• Shoji Shinozawa, Hiroosa Ikeda, Atsushi Nakashima, Masamitsu Watanabe: Pseudo-Languages and their Pre-Processors. 583-587 BibTeX

Data Bases and Business Systems

• Edgar H. Sibley: The Impact of Database Technology on Business Systems. 589-596 BibTeX

Education in Computing II

• Bernard Levrat: The Impact of Education in Computing on Science. 597-600 BibTeX
• John R. Abrahams, George De Wolf: Experience with a Computer-Assisted Training System. 601-605 BibTeX

Soft Hardware

• Kwan Chi Leung, C. Michel, P. Le Beux: Logical Systems Design using PLAs and Petri Nets Programmable Handwired Systems. 607-611 BibTeX
• Emilio Luque Fadon, Lorenzo Moreno Ruiz, José F. Tirado Fernandez: A Multilingual High Level Processor. 613-618 BibTeX
• Mark G. Karpovsky, E. A. Trachtenberg: Linear Checking Equations and Error-Correcting Capability for Computation Channels. 619-623 BibTeX

Graphics in Software Engineering

• Frederick P. Brooks Jr.: The Computer "Scientist" as Toolsmith-Studies in Interactive Computer Graphics. 625-634 BibTeX
• Michael E. Senko: FORAL LP - Making Pointed Queries with a Light Pen. 635-640 BibTeX

Interactive Approaches to Corporate Planning and Control

• Ian P. Sharp: Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL. 641-642 BibTeX

Hardware Aids to Software

• Tetsuo Ida, Eiichi Goto: Performance of Parallel Hash Hardware with Key Deletion. 643-647 BibTeX
• Jonathan L. Bondy, David N. Freeman: Putting Supervisory Routines into Hardware. 649-653 BibTeX
• Gareth Thomas, Andrei G. Necula: Multidimensional Array Accessing in the MU5 Computer. 655-659 BibTeX

Computerized Evaluation and Computational Learning

• Hanan Samet: A New Approach to Evaluating Code Generation in a Student Environment. 661-665 BibTeX
• Alexandre Andreewsky, Fathi Debili, Christian Fluhr: Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of Content. 667-672 BibTeX

Specialized Computer Services

• Behrooz Parhami, Farhad Mavaddat: Computers and the Farsi Language-A Survey of Problem Areas. 673-676 BibTeX
• Paul A. Fortier, Donald Keeping: Another Face of Computing-Service to the Blind. 677-682 BibTeX
• T. R. Natesan, N. Sabapathy, K. Viswanathan: Optimization of Selection and Allocation of Candidates to Professional Colleges in India. 683-688 BibTeX

CAD - Perspectives and Prospects

• Jack Foisseau, René Jacquart, François-Régis Valette: Means and Levels of Knowledge Representation in the CAD System Germinal. 689-694 BibTeX
• Nicholas Negroponte: On Being Creative with Computer Aided Design. 695-704 BibTeX

Decision Support Systems

• Michel R. Klein: Finsim - A Decision Support System for Financial Planning and Engineering. 705-710 BibTeX
• J. A. M. Wolters: Computer Based Planning and Modelling System. 711-716 BibTeX
• Trygve Reenskaug: Prokon/Plan-A Modelling Tool for Project Planning and Control. 717-721 BibTeX

Logic and Proofs for Programs

• Edward A. Ashcroft, William W. Wadge: Intermittent Assertion Proofs in Lucid. 723-726 BibTeX
• Paul Pritchard: Program Proving-Expression Languages. 727-731 BibTeX
• Robert L. Constable: A Constructive Programming Logic. 733-738 BibTeX

System Programming

• Takanobu Baba: A Microprogram Generating System-MPG. 739-744 BibTeX
• Subrata Dasgupta: Parallelism in Loop-Free Microprograms. 745-750 BibTeX
• Jean-Loup Baer, M. Fries: On the Efficiency of Some List Marketing Algorithms. 751-756 BibTeX

Automated Design in Electronics

• M. A. Gavrilov: Automation of Electronic and Microelectronic Design. 757-775 BibTeX
• Noah S. Prywes, Yung Chang, Cihan Tinaztepe: NOPAL - Automated Design and Programming of Testing. 777-782 BibTeX

Verification and Programming

• David C. Luckham: Program Verification and Verification Oriented Programming. 783-793 BibTeX
• Malcolm C. Newey: Proving Properties of Assembly Language Programs. 795-799 BibTeX

Impact of Information Systems on Organisations II

• Maurice Landry, Jean-Louis Le Moigne: Towards a Theory of Organizational Information System-A General System Perspective. 801-805 BibTeX
• Vladimir Dimitrov, Lilly D. Driankova: Programme System for Social Choice under Fuzzy Managing. 807-811 BibTeX
• Enrique A. Calderon, Teresa A. Sobrino, Jose Luis A. Frias: GEO-XI-A Socioeconomic Laboratory for Planning Agencies. 813-817 BibTeX

Operating Systems

• Derrick Morris, G. R. Frank, Colin J. Theaker: Machine-Independent Operating Systems. 819-825 BibTeX
• Alfons J. Jammel, Helmut G. Stiegler: Managers Versus Monitors. 827-830 BibTeX

Complexity Theory

• Gerd Wechsung: A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions. 831-833 BibTeX
• Donald A. Alton: "Natural" Complexity Measures and a Subrecursive Speed-up Theorem. 835-838 BibTeX
• Rusins Freivalds: Probabilistic Machines Can Use Less Running Time. 839-842 BibTeX

Palallel Architectures

• Erik L. Dagless: A Multiprocessor - CYBA-M. 843-848 BibTeX
• Arvind, Kim P. Gostelow: A Computer Capable of Exchanging Processors for Time. 849-853 BibTeX
• Shinji Tomita, Kiyoshi Shibayama, Shigeru Oyanagi, Hiroshi Hagiwara: Hardware Organization of a Low Level Parallel Processor. 855-860 BibTeX

Programming Methodology

• David Lorge Parnas: The Use of Precise Specification in the Development of Software. 861-867 BibTeX
• Anita K. Jones: The Narrowing Gap Between Language Systems and Operating Systems. 869-873 BibTeX

Systems for Public Planning and Control

• Ivan Kadar, Péter Kovács: Management Information System on the Level of Hungarian Government. 875-877 BibTeX
• V. P. Lane, R. A. Danes: Organization Based Structure of Financial Planning and Control System. 879-883 BibTeX

Techniques in CAD II

• Zsuzsanna Markusz: How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic. 885-889 BibTeX
• Henri G. Marchand: Algorithmic Macro Design System for Shift Registers. 891-895 BibTeX
• D. B. Jarvis: LSI by CAD Out of Daisy. 897-900 BibTeX

New Approaches to Systems Integrity

• David J. Lewis: System Quality Through Development Audit. 901-904 BibTeX
• K. K. Wong: A New Approach for Risk Analysis and Control - The UK Experience. 905-910 BibTeX
• H. J. Will, H. Brussel: ACL - A Conversational Language for Audit Intelligence. 911-915 BibTeX

Numerical Methods in Mathematical Physics and in Control Theory

• Jacques-Louis Lions: Numerical Methods for Variational Inequalities Applications in Physics and in Control Theory. 917-924 BibTeX
• Claudia Lidia Simionescu: Computational Aspects for a Control Problem. 925-928 BibTeX

Formal Theories of Programs and Parallelism

• Toshio Nishimura: Formalization of Concurrent Processes. 929-937 BibTeX
• Keith L. Clark, Sten-Åke Tärnlund: A First Order Theory of Data and Programs. 939-944 BibTeX

Distributed Systems - Operational and Privacy Requirements

• James C. Emery: Managerial and Economic Issues in Distributed Computing. 945-955 BibTeX
• Rein Turn: Implementation of Privacy Protection Requirements. 957-962 BibTeX

Programming Systems

• Juris Reinfelds, Carlo E. Vandoni: Sigma 76. 963-968 BibTeX
• Richard G. Hamlet: Single-Language Small-Processor Systems. 969-974 BibTeX
• Jean G. Vaucher, Normand Rochon: PL4 - A Low Level Language with Class. 975-979 BibTeX

Concepts in Parallel Programs

• Pierre Robert, Jean-Pierre Verjus: Toward Autonomous Descriptions of Synchronization Modules. 981-986 BibTeX
• Carl Hewitt, Henry G. Baker: Laws for Communicating Parallel Processes. 987-992 BibTeX
• Gilles Kahn, David B. MacQueen: Coroutines and Networks of Parallel Processes. 993-998 BibTeX