6. IFIP Congress 1974:
Stockholm,
Sweden
Jack L. Rosenfeld (Ed.):
Information Processing 74,
Proceedings of IFIP Congress 74,
Stockholm,
Sweden,
August 5-10,
1974. North-Holland,
1974,
ISBN 0-7204-2803-3
Computer Hardware amd Architecture
Computer Hardware and Software
- Michael J. Flynn:
Trends and Problems in Computer Organizations.
3-10
- Leonard Kleinrock:
Resource Allocation in Computer Systems and Computer-Communication Networks.
11-18
Computer Networks I
Computer Hardware I
- G. B. Herzog:
The Impact of LSI Technology on Computer Systems (Invited Paper).
34-38
- T. M. Whitney:
The Design and Impact of Pocket Calculators (Invited Paper).
39-43
Computer Design I
- F. K. Williamson, Brian R. Gaines, J. A. Maine, P. V. Facey:
A High-Level Minicomputer.
44-48
- Myron Melman:
The Pipelined Central Controls of the Golem B Computer System.
49-54
- F. Anceau, Ph. Drouet, C. Beauducel, P. Courboulet, J. Cretin:
Geoprocessor: A Computer for Geophysical Research.
55-59
- Hideo Aiso, Mario Tokoro, Shunichi Uchida, Hideki Mori, Noriyuki Kaneko, Motoo Shimada:
A Very High-Speed Microprogrammable Pipeline Signal Processor.
60-64
Theory of Computer Design
Hardware for Computer Graphics
Computer Design II
Fault Diagnosis
Computer Hardware II
Hardware Trends and Future Outlook
- Rein Turn:
Computers in the 1980s - Trends in Hardware Technology.
137-140
- M. J. Marcus:
On Attaining the Availability Required in Future Information Processing Systems.
141-146
Computer Networks II
- Donald W. Davies:
Packet Switching, Message Switching and Future Data Communication Networks.
147-150
- Wyn L. Price:
Simulation Studies of an Isarithmically Controlled Store and Forward Data Communication Network.
151-154
- Louis Pouzin:
Cigale, The Packet Switching Machine of the Cyclades Computer Network.
155-159
- C. C. Martel, I. M. Cunningham, M. S. Grushcow:
The BNR Network: A Canadian Experience with Packet Switching Technology.
160-164
Switching Problems
- Wolfgang Coy:
On the Realization of Arbitrary Switching Functions with a Linear Number of Tests.
165-167
- C. Rey:
Self-Synchronized Combinational Circuits.
168-170
- Jorge Santos:
A General Approach to the Problem of Interleaved Memory Reconfigurations.
171-174
Software
Software Reliability
Software Design
Programming Systems
Measurements,
Performance and Models of Computer Systems
Software System Implementation
Improving Memory Utilization
System Performance and Optimization
Software Problems in Computer Networks
Current Topics in Programming
General Problems of Programming
Scheduling and Allocation
Data Representation
Compiler Techniques
- Kristen Rekdal:
Practical Construction of Syntax-Directed Translators.
372-375
- Marc L. Joliat:
Practical Minimization of LR(k) Parser Tables.
376-380
- Dimitri Tusera:
Example of Transformation of a Derivation Tree for an Expression by Semantic Attributes.
381-385
Programming Methodlogy I
Procedures and Block Structures
Programming Methodology II
File Structure and Accesing
Mathematical Aspects of Information Processing
Differential Equations
- C. William Gear:
Estimation of Errors and Derivatives in Ordinary Differential Equations.
447-451
- Pierre Borne, Jean-Claude Gentina:
Definition of a Matrical Transformation Permitting the Discretization of a Set of Differential Equations.
452-455
- J. Ben Rosen:
Solution Boundary Value Problems by a Weighted l1 Minimization.
456-460
Formal Models of Parallel Computation
Numerical Analysis and Symbol Manipulation
- Josef Stoer:
On the Convergence Behaviour of Some Minimization Algorithms.
476-482
- Joel Moses:
The Evolution of Algebraic Manipulation Algorithms.
483-488
Algorithms and Graph Theory
Combinatorial Algorithms
Matrix Computation
- Patricia J. Eberlein:
On a New Use of Elementary Transformations.
524-526
- Yousef Saad:
Shifts of Origin for the QR Algorithm.
527-531
- Frederic N. Ris:
Computing Rigorous Upper Bounds to the Spectral Radii of Non-Negative Matrices.
532-536
Software Packages for Numerical Computation
Nonlinear Programming
Logic and Data Bases
Models of Natural Language Text
Numerical Methods
- John R. Rice:
Parallel Algorithms for Adaptive Quadrature - Convergence.
600-604
- F. M. Larkin:
Probabilistic Error Estimates in Spline Interpolation and Quadrature.
605-609
- J. Vignes, M. La Porte:
Error Analysis in Computing.
610-614
Theory of Computation
Approximation Methods
Storage Mapping Algorithms
Automata Theory
Numerical Analysis
- G. W. Stewart:
The Numerical Treatment of Large Eigenvalue Problems.
666-672
- Michael R. Osborne:
On the Numerical Solution of Boundary Value Problems for Ordinary Differential Equations.
673-677
Computational Complexity
- Ronald L. Rivest:
On the Optimality of Elia's Algorithm for Performing Best-Match Searches.
678-681
- Jacques Morgenstern:
Linear Tangent Algorithms and Lower Bounds for the Complexity of Computation.
682-684
- J. F. Traub:
Parallel Algorithms and Parallel Comnputational Complexity.
685-687
Technological and Scientific Applications
Pattern Recognition
Computer Graphics
Picture Processing
Methods in Pattern Recognition
Computer-Aided Design
Artificial Intelligence and Control Applications
Artificial Intelligence
- Laurent Siklóssy, John W. Roach:
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers.
814-817
- Lesley M. Daniel:
And-Or Graphs and Critical Paths.
818-822
- Paul S. Wang:
Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma.
823-827
- N. S. Sridharan:
A Heuristic Program to Discover Syntheses for Complex Organic Molecules.
828-833
Applications in the Social Sciences and the Humanities
Analysis of Literary Texts
- Betty A. Pasta:
Four Types of Computer-Aided Analysis.
837-841
- John B. Smith:
Computer Generated Analogues of Mental Structures from Language Data.
842-845
- Paul A. Fortier:
From Objectivity to Covenience: Information Processing for Literary Study.
846-850
Computer and Art
Computers in the Humanities
- Joseph Raben:
Alphabetic and Numeric Data Processing: A View from the Humanities.
866-871
- Pierre Barbaud:
Composing Music and Generating Sound by Computer.
872-874
Computer Assisted Instruction
- F. Adam, R. Jacoud, M. Jacques, J. J. Kessis, J. J. Pelletreau, J. Penne, J. P. Rambaut, J. P. Toulouse:
A Current C.A.I. Project: The O.P.E. System.
875-879
- F. Esposito, G. Ingravallo, A. Liso, O. Murro, G. Prezioso, M. Refice, M. Abbattista, C. Dell'Aquila:
Computer Based packages in hte Instructional Engineering Approach.
880-883
- Adele Goldberg:
Design for a Computer-Tutor for Elementary Mathematical Logic.
884-888
Teaching Computer Science
Social Implications
Natural Language Processing
Computers in Social and Economic Development
- Derek S. Henderson:
Computer Experience with Selected Secondary and Primary School Children.
928-930
- Harold Borko:
Social Implications of Comnputer Technology.
931-933
Systems for Management and Administration
Theoretical Aspects of Information Systems for Management
Design and Implementatin of Management Information System
Economics of Information Processing
Files and Data Management
Data Base Management Systems
Data Base Design
Business Applications of Information Systems
- Maurice Pollack:
An Interactive Approach to Airline Route-Frequency Planning.
1037-1041
