8. IFIP Congress 1980:
Tokyo,
Japan & Melbourne,
Australia
Simon H. Lavington (Ed.):
Information Processing 80,
Proceedings of IFIP Congress 80,
Tokyo,
Japan - October 6-9,
1980 and Melbourne,
Australia - October 14-17,
1980. North-Holland/IFIP,
1980,
ISBN 0-444-86034-7
Area 1 - Theoretical Foundations of Information Processing
- Erich J. Neuhold, Th. Olnhoff:
The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System.
3-16
- Maurice Nivat:
Non Deterministic Programs: An Algebraic Overview.
17-28
- Janusz A. Brzozowski:
Developments in the Theory of regular Languages.
29-40
- Zohar Manna:
Logics of Programs.
41-51
- Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda:
On the Equivalence Problem for Two DPDA's, One of which is Real-Time.
53-58
- Sebastiaan H. von Solms:
Random Context Array Grammmars.
59-64
- Kari-Jouko Räihä, Esko Ukkonen:
Balancing Syntactic and Semantic Power in Compiler Specification.
65-70
- Michael Yoeli, A. Ginzburg:
Control Nets for Parallel Processing.
71-76
- Patrice Enjalbert, Guy Cousineau:
Three Semantics: A Framework for Studying Program Structures and Program Logics.
77-82
- Hans-Dieter Ehrich, Udo W. Lipeck:
Proving Implementations Correct - Two Alternative Approaches.
83-88
- Masali Nakagawa:
Specifying the Underlying Control Structures of Programming Languages in their Denotational Semantics.
89-94
- Preben Folkjär, Dines Bjørner:
A Formal Model of a Generalized CSP-like Language.
95-99
- Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Semantic Relations in Programming Languages.
101-106
- Tamás Gergely, László Úry:
Program Behaviour Specification through Explicit Time Consideration.
107-111
Area 2 - Computer Architecture and Hardware
- Alice Recoque:
Survey of Main Trends in Computer Hardware Architecture.
115-125
- Makoto Terajima:
Recent Progress inMemory Devices and their Prospect.
127-135
- Koji Kodama, Jiro Yoshii, Ken-ichi Mori, Tsutomu Kawada:
The Japanese Word Processor JW-10.
139-143
- Masatoshi Kubo, Yasushi Taguchi, Kiyoshi Agusa, Yutaka Ohno:
Multi-Microprocessor System for Three-Dimensional Color Graphs.
145-150
- Jack Goldberg:
SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control.
151-156
- Alireza Kavianpour, Arthur D. Friedman:
Different Diagnostic Models for Multiprocessor Systems.
157-162
- Sandy Leinwand, T. Lamdan:
Models of Control at Register Transfer Level.
163-168
- Takanobu Baba, Ken Ishikawa, Kenzo Okuda, Hiroyuki Kobayashi:
MUNAP - A Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing.
169-174
- Dominique Comte, Nourredine Hifdi, Jean-Claude Syre:
The Data Driven LAU Multiprocessor System: Results and Perspectives.
175-180
- Kiyoshi Shibayama, Shinji Tomita, Hiroshi Hagiwara, Katsuhiro Yamazaki, Toshiaki Kitamura:
Performance Evaluation and Improvement of a Dynamically Microprogrammable Computer with Low-Level Parallelism.
181-186
- V. A. J. Maller:
Information Retrieval Using the Content Addressable File Store.
187-192
- Ashoke Deb:
A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory Access.
193-198
- Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
An Overview of CONLAN: A Formal Construction Method for Hardware Description Language.
199-204
Area 3 - Software
- Enn Tyugu:
Towards Practical Synthesis of Programs.
207-219
- John Cocke, Peter W. Markstein:
Measurement of Programming Improvement Algorithms.
221-228
- Vadim E. Kotov:
On Basic Parallel Language.
229-240
- Harlan D. Mills:
Function Semantics for Sequential Programs.
241-250
- Arthur J. Catto, John R. Gurd:
Nondeterministic Dataflow Graphs.
251-256
- Teruo Hikita, Satoru Kawai:
Parallel Sieve Methods for Generating Prime Numbers.
257-262
- Mario Nagata, Teruo Akiyama, Yasutaka Fujikake:
An Interactive Supporting System for Functional Recursive Programming.
263-268
- Takeshi Chusho:
A Good Program = A Structured Program + Optimization Commands.
269-274
- Paul Bourret, Patrice Cros:
A Deterministic Model of Operating Systems.
275-280
- Alfons J. Jammel, Helmut G. Stiegler, Pavel Vogel:
Impacts of Message Orientation.
281-286
- Kokichi Futatsugi, Koji Okada:
Specification Writing as Construction of Hierarchically Structured Clusters of Operators.
287-292
- Bertrand Meyer:
A Basis for the Constructive Approach to Programming.
293-298
- Reiji Nakajima, Taiichi Yuasa, Keiji Kojima:
The iota-Programming System - A Support System for Hieratchical and Modular Programming.
299-304
- Xu Jiafu, Chong Cuihao, N. V. Shulman, Fuqing Yang:
On the Design, Implementation and Use of the Systems Programming Language XCY.
305-308
- Alain J. Martin:
A Distributed Implementation Method for Parallel Programming.
309-314
- C. Gaude, J. Langet, S. Palassin, Claude Kaiser:
Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications.
315-320
- Barry W. Boehm:
Developing Small-Scale Application Software Products: Some Experiment Results.
321-326
- Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon:
Programming Development with or without Coding.
327-330
- A. Vaquero, José M. Troya:
Placement of Records on Linear Storage Devices.
331-336
- James Leslie Keedy:
Paging and Small Segments: A Memory Management Model.
337-342
- Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile:
An Overview of AFFIRM: A Specification and Verification System.
343-347
- Henry Kanoui, Michel Van Caneghem:
Implementing a very High Level Language on a very Low Cost Computer.
349-354
- Ronald M. Kaplan, B. A. Sheil:
Adding Type Declarations to Interlisp.
355-360
- Walter S. Brainerd, Jeanne Adams:
FORTRAN for the 1980s.
361-366
Area 4 - Data Base and Information Systems
- W. Frank King III:
Relational Database Systems: Where We Stand Today.
369-381
- Charles W. Bachman:
The Impact Structured Data Throughout Computer-Based Information Systems.
383-394
- Janis A. Bubenko Jr.:
Information Modeling in the Context of System Development.
395-411
- Claude Delobel:
An Overview of the Relational Data Theory.
413-426
- Yuzuru Tanaka, Yukoo Nozaka, Akinari Masuyama:
Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer.
427-432
- Syunsuke Uemura, Toshitsugu Yuba, Akio Kokubu, Ryoichi Ooomote, Yasuo Sugawara:
The Design and Implementaion of a Magnetic-Bubble Database Machine.
433-438
- Kin-Man Chung, Fabrizio Luccio, C. K. Wong:
Magnetic Bubble Memory Structures for Efficient Sorting and Searching.
439-444
- Kurt Maly, Leonhard Kampa:
H-Trees.
445-450
- Makoto Takizawa, Eiji Hamanaka:
Query Translation in Distributed Database.
451-456
- Peter Dadam, Gunter Schlageter:
Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints.
457-462
- Eric D. Carlson, Wolfgang Metz:
Integrating Dialog Management and Data Base Management.
463-468
- S. Peter de Jong:
The System for Business Automation (SBA): A Unified Application Development System.
469-474
- Michel E. Adiba, Juan M. Andrade, F. Fernandez, Gia Toan Nguyen:
An Overview of the Polypheme Distributed Database Management System.
475-479
- Rudolf Munz:
Transaction Management in the Distributed Database System VDN.
481-486
- Morton M. Astrahan, Mario Schkolnick, Won Kim:
Performance of the System R Access Path Selection Mechanism.
487-491
- Hans-Jörg Schek:
On Index Intervals and Their Optimisation.
493-498
- Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi:
Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language.
499-504
- R. A. Davenport:
Data Administration - The Need for a New Function.
505-510
Area 5 - Computer Networks and Communications
- Eric G. Manning, N. J. Livesey, Hideyuki Tokuda:
Interprocess Communication in Distributed Systems: One View.
513-520
- Peter T. Kirstein:
New Text and Message Services.
521-535
- Alain G. Texier:
New Telecommunication Services and Network Architecture: A Tentative Survey.
537-541
- Hiroshi Inose:
Aspects of Data Communication and Computer Networks.
543-550
- Marco Bozzetti:
A General Overview of the Olivetti Network File System.
551-556
- Leonard Kleinrock, Yechiam Yemini:
Interfering Queueing Processes in Packet-Switched Broadcast Communication.
557-562
- A. D. Le Rest, J. Blevanus, M. Ferragu:
NTI: International Gateway to TRANSPAC.
563-567
- Timothy Johnson:
Identifying the Main Applications of Data Communications in Western Europe.
569-574
- Kazuyoshi Morino, Osamu Takahashi:
A Technique for Describing High-Level Data Link Control (HDLC) Procedures.
575-579
- Yoshikuni Onozato, Shoichi Noguchi:
Dynamic Characteristics of a Satellite Communication System Employing the Slotted Aloha Scheme.
581-585
- James D. Foley:
Optimum Design of Two-Computer Networks.
587-592
- Kurt Haessig, Christian J. Jenny:
Partitioning and Allocating Computational Objects in Distributed Computing Systems.
593-598
- Pierre Azéma, Bernard Berthomieu, Paul Decitre:
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
599-604
- Hosaker N. Mahabala, Mudambi R. Muralidharan:
Pseudo-Ternary Coding to Incorporate checking without a Parity.
605-610
Area 6 - Computing in Science and Industry
- Richard P. Brent:
Unrestricted Algorithms for Elementary and Special Functions.
613-619
- Anthony C. Hearn:
The Personal Algebra Machine.
621-628
- Herbert Freeman:
Lines, Curves, and the Characterization of Shape.
629-639
- Teuvo Kohonen:
Automatic Pattern Recognition - A Challenge to Computer Technology.
641-649
- Yu. G. Evtushenko, Yu. Pavlovsky:
Integrated Optimization - Simulation System for Industry and Regional Planning.
651-658
- B. R. Borgerson, R. H. Johnson:
Beyond CAD to Computer Aided Engineering.
659-666
- A. I. Acil'diev:
The Method of Normal Solutions in Linear Programming.
667-670
- Guri I. Marchuk, Valeri P. Il'in:
Parallel Computations in Grid Methods for Solving Mathematical Physics Problems.
671-676
- Benoit David, Yvon Gardan, J. Mermet:
CAD in Small and Medium Sized Industries.
677-682
- Asbjørn Rolstadås, Peter Falster:
Prototyping Factory Management Systems.
683-688
- O. Kato, T. Fujita, M. Niwa, T. Morishita, J. Tanahashi:
A Handwriting Input System for Japanese.
689-694
- Marc Berthod, Olivier D. Faugeras:
Using Context in the Global Recognition of a Set of Objects: An Optimization Approach.
695-698
- Toyoaki Nishida, Shuji Doshita:
A Knowledge-Based Literature Guide System - A NEw Approach to Document Retrieval.
699-704
- Mehmet Dincbas:
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD.
705-710
- Peter Albrecht:
Survey of Recent Results on Composite Integration Methods for Ordinary Differential Equation, Especially Cyclic Methods.
711-716
- C. William Gear:
Automatic Multirate Methods for Ordinary Differential Equation.
717-722
- Owe Axelsson, I. Gustafsson:
A Preconditioned Conjugate Gradient Method for Finite Element Equations, which is Stable for Rounding Errors.
723-728
- Giuseppe Gambolati, Giampiero Volpi:
An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned Systems.
729-734
- V. V. Zhurin, F. G. Tcheremissine:
Recent Advances in the Numerical Solution of the Boltzmann Equation.
735-740
- J. D. Lawson, David A. Swayne:
High-Order Near Best Uniform Approximations to the Solution of Heat Conduction Problems.
741-746
- Renato de Mori, Giovanna Giordano:
Structural Knowledge for the Recognition of Syllables in Continuous Speech.
747-751
- Miguel A. Hernan, Javier Jiménez:
Image Analysis of Experimental Data in Turbulence.
753-756
Area 7 - Business and Government Applications
Area 8 - Social and Economical Implications
Area 9 - Information Processing and Education
- Jürg Nievergelt:
Computer Science Education: An Emerging Consensus on Basic Concepts.
927-933
- David Gries:
Educating the Programmer: Notation, Proofs and the Development of Programs.
935-944
- Ian D. G. Macleod, J. J. Jackson, John B. Eulenberg:
A Multisensory Electronic System for Developing Handwriting Skills with Blind Trainees.
945-950
- Waltraud Schweikhardt:
A Computer Based Education System for the Blind.
951-954
- Jean-Claude Pagès, Dominique Gremillet, Andreas Horst:
A General Structure for Building Personalized Information: An Alternative Approach to Computer Aided Education.
955-960
- Ghassan A. Kubba:
The Impact of Computers on Arabic Writing, Character Processing and teaching.
961-965
- D. R. Thomas, R. B. Maguire:
Computers and Education: A Remote Learning Application.
967-671
- Klaus Haefner:
The Concept of an Integrated System for Information Access and Telecommunication (ISIT) and its Impact on Education in the 80s.
973-978
- Manfred R. Klopprogge, Peter C. Lockemann:
Teaching Systems Analysis and Planning in Informatics: A Practical Course.
979-983
- Yukuo Isomoto, Keiichi Yamagata, Tadashi Ishiketa:
A Computer-Aided Advising System for FORTRAN Program Debugging: ADVISOR.
985-990
Area 10 - Computers in Everyday Life
- Seymour Papert:
Redefining Childhood: The Computer Presence as an Experiment in Developmental Psychology.
993-998
- Gordon Pask:
The Limits of Togetherness.
999-1012
- Theodor Holm Nelson:
Replacing the Printed Word: A Complete Literay System.
1013-1023
- Alan C. Kay:
User Interface Design in the Smalltalk Computing System (Abstract).
1025
- Chris Schmandt:
Soft Typography.
1027-1031
- Osamu Ishii:
Feasibility Experiments on Versatile Information Processing Systems.
1033-1038
- Christopher F. Herot:
A Spatial Graphical Man-Machine Interface.
1039-1044
- Gregory M. Hunter:
Teleconference in Virtual Space.
1045-1048
- Sherry Turkle:
Personal Computaion and Personal Meanings.
1049-1054
- John Pollard, Glen Campbell:
Using a Home Microcomputer to Teach a Dyslexic Child to Read.
1055-1059
Copyright © Mon Mar 15 03:41:34 2010
by Michael Ley (ley@uni-trier.de)
