default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th IFIP Congress 1974: Stockholm, Sweden
- Jack L. Rosenfeld:
Information Processing, Proceedings of the 6th IFIP Congress 1974, 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. IFIP Congress 1974: 3-10 - Leonard Kleinrock:
Resource Allocation in Computer Systems and Computer-Communication Networks. IFIP Congress 1974: 11-18
Computer Networks I
- R. L. Sharma, J. C. Shah, M. T. El-Bardai, K. K. Sharma:
C-System: Multiprocessor Network Architecture. IFIP Congress 1974: 19-23 - George H. Wedberg, Louis W. Hauschild:
The General Electric Network Monitor System. IFIP Congress 1974: 24-28 - David E. Morgan, Walter Banks, W. Colvin, D. Sutton:
A Performance Measurement System for Computer Networks. IFIP Congress 1974: 29-33
Computer Hardware I
- G. B. Herzog:
The Impact of LSI Technology on Computer Systems (Invited Paper). IFIP Congress 1974: 34-38 - T. M. Whitney:
The Design and Impact of Pocket Calculators (Invited Paper). IFIP Congress 1974: 39-43
Computer Design I
- F. K. Williamson, Brian R. Gaines, J. A. Maine, Peter V. Facey:
A High-Level Minicomputer. IFIP Congress 1974: 44-48 - Myron Melman:
The Pipelined Central Controls of the Golem B Computer System. IFIP Congress 1974: 49-54 - F. Anceau, Ph. Drouet, C. Beauducel, P. Courboulet, J. Cretin:
Geoprocessor: A Computer for Geophysical Research. IFIP Congress 1974: 55-59 - Hideo Aiso, Mario Tokoro, Shunichi Uchida, Hideki Mori, Noriyuki Kaneko, Motoo Shimada:
A Very High-Speed Microprogrammable Pipeline Signal Processor. IFIP Congress 1974: 60-64
Theory of Computer Design
- V. M. Glushkov, M. B. Ignatyev, V. A. Myasnikov, V. A. Torgashev:
Recursive Machines and Computing Technology. IFIP Congress 1974: 65-70 - Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage:
A Formal Model for System Oriented Architecture. IFIP Congress 1974: 71-75 - George B. Leeman Jr., William C. Carter, Alexander Birman:
Some Techniques for Microprogram Validation. IFIP Congress 1974: 76-80
Hardware for Computer Graphics
- H. C. A. Hankins, H. L. Mason, R. N. Procter, G. Hughes:
A Low Cost Computer Graphics Storage Terminal with Selective Erasure. IFIP Congress 1974: 81-84 - C. H. Hertz, Å. Månsson:
Color Plotter for Computer Graphics Using Three Electrically Controlled Ink Jets. IFIP Congress 1974: 85-88
Computer Design II
- Harry D. Huskey:
ZIP - A Computational System. IFIP Congress 1974: 89-93 - Michael J. B. Duff, D. M. Watson:
A Parallel Computer for Array Processing. IFIP Congress 1974: 94-97 - Kenji Ohmori, Nobuhiko Koike, Koji Nezu, Shun'ichi Suzuki:
MICS - A Multi-Microprocessor System. IFIP Congress 1974: 98-102 - Wolfgang K. Giloi, Helmut K. Berg:
STARLET: An Unothodox Concept of a String/Array Computer. IFIP Congress 1974: 103-107
Fault Diagnosis
- John F. Wakerly, Edward J. McCluskey:
Design of Low-Cost General-Purpose Self-Diagnosing Computers. IFIP Congress 1974: 108-111 - Akira Nakamura, Junro Nose, Shuzo Yamakawa:
High Speed Generation of Fault Location Data for Logic Circuits. IFIP Congress 1974: 112-116
Computer Hardware II
- G. D. Allery:
Data Communications and Public Networks. IFIP Congress 1974: 117-122 - Jerzy Seidler:
Multiplexing Problems in Computer Communications. IFIP Congress 1974: 123-127 - Butler W. Lampson:
Redundancy and Robustness in Memory Protection. IFIP Congress 1974: 128-132 - Frank H. Sumner:
MU5 - An Assessment of Design. IFIP Congress 1974: 133-136
Hardware Trends and Future Outlook
- Rein Turn:
Computers in the 1980s - Trends in Hardware Technology. IFIP Congress 1974: 137-140 - Michael J. Marcus:
On Attaining the Availability Required in Future Information Processing Systems. IFIP Congress 1974: 141-146
Computer Networks II
- Donald W. Davies:
Packet Switching, Message Switching and Future Data Communication Networks. IFIP Congress 1974: 147-150 - Wyn L. Price:
Simulation Studies of an Isarithmically Controlled Store and Forward Data Communication Network. IFIP Congress 1974: 151-154 - Louis Pouzin:
Cigale, The Packet Switching Machine of the Cyclades Computer Network. IFIP Congress 1974: 155-159 - C. C. Martel, I. M. Cunningham, Marc S. Grushcow:
The BNR Network: A Canadian Experience with Packet Switching Technology. IFIP Congress 1974: 160-164
Switching Problems
- Wolfgang Coy:
On the Realization of Arbitrary Switching Functions with a Linear Number of Tests. IFIP Congress 1974: 165-167 - Christian Rey:
Self-Synchronized Combinational Circuits. IFIP Congress 1974: 168-170 - Jorge Santos:
A General Approach to the Problem of Interleaved Memory Reconfigurations. IFIP Congress 1974: 171-174
Software
Software Reliability
- E. Marmier:
A Program Verifier for Pascal. IFIP Congress 1974: 177-181 - Hermann Kopetz:
Software Redundancy in Real Time Systems. IFIP Congress 1974: 182-186 - Kurt Lautenbach, Hans Albrecht Schmid:
Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP Congress 1974: 187-191
Software Design
- Barry W. Boehm:
Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design. IFIP Congress 1974: 192-197 - Glenn H. MacEwen:
On Instrumentation Facilities in Programming Languages. IFIP Congress 1974: 198-203 - Peter Henderson, Robert A. Snowdon:
A Tool for Structured Program Development. IFIP Congress 1974: 204-207
Programming Systems
- William R. Franta, Kurt Maly:
Simulation Structures and SETL. IFIP Congress 1974: 208-212 - Tan Watanabe, Fujio Yamamoto:
EXTRAN - A Top-Down Programming System. IFIP Congress 1974: 213-217 - Olivier Lecarme, Gregor von Bochmann:
A (Truly) Usable and Portable Compiler Writing System. IFIP Congress 1974: 218-221 - Reind P. van de Riet:
About ABC ALGOL: A Language for Formula Manipulation Systems. IFIP Congress 1974: 222-225
Measurements, Performance and Models of Computer Systems
- J. H. Hine, Donald R. Fitzwater:
Modelling a Drum in a Queueing Network. IFIP Congress 1974: 226-229 - Martin Reiser, Hisashi Kobayashi:
The Effects of Service Time Distributions on System Performance. IFIP Congress 1974: 230-234 - Holger Opderbeck, Wesley W. Chu:
Performance of the Page Fault Frequency Replacement Algorithm in a Multiprogramming Environment. IFIP Congress 1974: 235-241 - Paul J. Jalics, William C. Lynch:
Selected Measurements of the PDP-10 Tops-10 Timesharing Operating System. IFIP Congress 1974: 242-246
Software System Implementation
- Claude Kaiser, Sacha Krakowiak:
Design and Implementation of a Time-Sharing System: A Critical Appraisal. IFIP Congress 1974: 247-251 - Andrew T. F. Hutt:
A Data Base Approach to System Architecture. IFIP Congress 1974: 252-256 - Emmanuel Fizzarotti:
A Communications Oriented Multitasking System. IFIP Congress 1974: 257-260
Improving Memory Utilization
- Takashi Masuda, Hiroyuki Shiota, Kenichiro Noguchi, Takashi Ohki:
Optimization of Program Organization by Cluster Analysis. IFIP Congress 1974: 261-265 - Domenico Ferrari:
Improving Program Locality by Strategy-Oriented Restructuring. IFIP Congress 1974: 266-270 - Jeffrey P. Buzen, Peter P. Chen:
Optimal Load Balancing in Memory Hierarchies. IFIP Congress 1974: 271-275
System Performance and Optimization
- C. F. Borteck, G. N. Nomicos:
Data Processing System Performance with Arbitrary Stochastic Processes. IFIP Congress 1974: 276-280 - Shafeek I. Saleeb, Mokhtar B. Riad:
Use of Simulation for Operating System Optimization. IFIP Congress 1974: 281-285 - Bertram Bussell, Eduardo B. Fernández, Olivier Levy:
Optimal Scheduling for Homogeneous Multiprocessors. IFIP Congress 1974: 286-290
Software Problems in Computer Networks
- Jean-Claude Chupin:
Control Concepts of a Logical Network Machine for Data Banks. IFIP Congress 1974: 291-295 - Malcolm P. Atkinson:
PIXIN: A Data Language for Network Modelling. IFIP Congress 1974: 296-300 - J. Raymond, J. du Masle:
NJCL, A Network Job Control Language. IFIP Congress 1974: 301-303 - Kapali P. Eswaran:
Placement of Records in a File and File Allocation in a Computer. IFIP Congress 1974: 304-307
Current Topics in Programming
- Rod M. Burstall:
Program Proving as Hand Simulation with a Little Induction. IFIP Congress 1974: 308-312 - Bernard A. Galler:
Extensible Languages. IFIP Congress 1974: 313-316 - John E. L. Peck:
Two-Level Grammars in Action. IFIP Congress 1974: 317-321 - George H. Mealy:
Data Structures Theory and Representation. IFIP Congress 1974: 322-325
General Problems of Programming
- Robert Balzer, Norton Greenfeld, Martin Kay, William Mann, Walter Ryder, David Wilczynski, Albert L. Zobrist:
Domain-Independent Automatic Programming. IFIP Congress 1974: 326-330 - Robert G. Herriot:
A Uniform View of Control Structure in Programming Languages. IFIP Congress 1974: 331-335 - David Lorge Parnas:
On a 'Buzzword': Hierarchical Structure. IFIP Congress 1974: 336-339
Scheduling and Allocation
- Donald D. Chamberlin, Raymond F. Boyce, Irving L. Traiger:
A Deadlock-Free Scheme for Resource Locking in a Data-Base Environment. IFIP Congress 1974: 340-343 - Jeffrey S. Fenton, Denis W. Payne:
Dynamic Storage Allocation of Arbitrary Sized Segments. IFIP Congress 1974: 344-348 - Jane W.-S. Liu, C. L. Liu:
Bounds on Scheduling Algorithms for Heterogeneous Comnputing Systems. IFIP Congress 1974: 349-353 - Dennis J. Frailey:
Timing Features for Systems Implementation Languages. IFIP Congress 1974: 354-358
Data Representation
- James R. Bell:
A Compression Method for Compiler Precedence Tables. IFIP Congress 1974: 359-362 - Clifford R. Hollander:
A Scheme for Representing Descriptors as Data. IFIP Congress 1974: 363-366 - Horst Biller, Erich J. Neuhold:
Formal View on Schema-Subschema Correspondence. IFIP Congress 1974: 367-371
Compiler Techniques
- Kristen Rekdal:
Practical Construction of Syntax-Directed Translators. IFIP Congress 1974: 372-375 - Marc L. Joliat:
Practical Minimization of LR(k) Parser Tables. IFIP Congress 1974: 376-380 - Dimitri Tusera:
Example of Transformation of a Derivation Tree for an Expression by Semantic Attributes. IFIP Congress 1974: 381-385
Programming Methodlogy I
- Niklaus Wirth:
On the Design of Programming Languages. IFIP Congress 1974: 386-393 - Per Brinch Hansen:
A Programming Methodology for Operating System Design. IFIP Congress 1974: 394-397
Procedures and Block Structures
- Frances E. Allen:
Interprocedural Data Flow Analysis. IFIP Congress 1974: 398-402 - David B. Lomet:
Control, Structures and the Return Statement. IFIP Congress 1974: 403-407 - Bernd Krieg:
A Class of Recursive Coroutines. IFIP Congress 1974: 408-412 - Leon Presser, John R. White:
Making Global Variables Beneficial. IFIP Congress 1974: 413-418
Programming Methodology II
- Gerhard Seegmüller:
Systems Programming as an Emerging Discipline. IFIP Congress 1974: 419-426 - Mikhail R. Shura-Bura:
Software Implementation Studies: Problems and Prospects. IFIP Congress 1974: 427-430
File Structure and Accesing
- Leo H. Groner, Amrit L. Goel:
Concurrency in Hashed File Access. IFIP Congress 1974: 431-435 - Sakti P. Ghosh, Morton M. Astrahan:
A Translator Optimizer for Obtaining Answers to Entity Set Queries from an Arbitrary Access Path in Network. IFIP Congress 1974: 436-439 - Rudolf Bayer:
Storage Characteristics and Methods for Searching and Addressing. IFIP Congress 1974: 440-444
Mathematical Aspects of Information Processing
Differential Equations
- C. William Gear:
Estimation of Errors and Derivatives in Ordinary Differential Equations. IFIP Congress 1974: 447-451 - Pierre Borne, Jean-Claude Gentina:
Definition of a Matrical Transformation Permitting the Discretization of a Set of Differential Equations. IFIP Congress 1974: 452-455 - J. Ben Rosen:
Solution Boundary Value Problems by a Weighted l1 Minimization. IFIP Congress 1974: 456-460
Formal Models of Parallel Computation
- Ashok K. Chandra:
The Power of Parallelism and Nondeterminism in Programming. IFIP Congress 1974: 461-465 - James L. Peterson, Thomas H. Bredt:
A Comparison of Models of Parallel Computation. IFIP Congress 1974: 466-470 - Gilles Kahn:
The Semantics of a Simple Language for Parallel Programming. IFIP Congress 1974: 471-475
Numerical Analysis and Symbol Manipulation
- Josef Stoer:
On the Convergence Behaviour of Some Minimization Algorithms. IFIP Congress 1974: 476-482 - Joel Moses:
The Evolution of Algebraic Manipulation Algorithms. IFIP Congress 1974: 483-488
Algorithms and Graph Theory
- John D. Lipson:
Flowgraphs and their Generating Functions. IFIP Congress 1974: 489-493 - Matthew S. Hecht:
Topological Sorting and Flow Graphs. IFIP Congress 1974: 494-499 - W. F. Smyth, W. M. L. Benzi:
An Algorithm for Finding the Diameter of a Graph. IFIP Congress 1974: 500-503
Combinatorial Algorithms
- John L. Bruno, Edward G. Coffman Jr., Ravi Sethi:
Algorithms for Minimizing Mean Flow Time. IFIP Congress 1974: 504-510 - Alberto Martelli:
An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. IFIP Congress 1974: 511-515 - Gunther Schmidt, Thomas Ströhlein:
Some Aspects in the Construction of Timetables. IFIP Congress 1974: 516-520 - Paul Carvajal:
Modulus K Check Digits and the Chromatic Number Problem. IFIP Congress 1974: 521-523
Matrix Computation
- Patricia J. Eberlein:
On a New Use of Elementary Transformations. IFIP Congress 1974: 524-526 - Yousef Saad:
Shifts of Origin for the QR Algorithm. IFIP Congress 1974: 527-531 - Frederic N. Ris:
Computing Rigorous Upper Bounds to the Spectral Radii of Non-Negative Matrices. IFIP Congress 1974: 532-536
Software Packages for Numerical Computation
- Leonardo Dalle Rive, Clizio Merli:
FALCON - A Conversational Polyalgorithm for Ordinary Differential Equation Problems. IFIP Congress 1974: 537-541 - James M. Boyle, Kenneth W. Dritz:
An Automated Programming System to Facilitate the Development of Quality Mathematical Software. IFIP Congress 1974: 542-546 - G. Blain, A. Labarthe, J.-C. Rault, M. Sciardis, P. Zamansky:
BAL: An Aid to Scientific Programming Based upon a "Bank of Algorithms". IFIP Congress 1974: 547-551
Nonlinear Programming
- Claude Lemaréchal:
An Algorithm for Minimizing Convex Functions. IFIP Congress 1974: 552-556 - David F. Shanno, Allen Berg, Grant A. Cheston:
Restarts and Rotations of Quasi-Newton Methods. IFIP Congress 1974: 557-561 - Hubert Schwetlick:
Minimizing Nonlinear Functions by Descent Methods. IFIP Congress 1974: 562-568
Logic and Data Bases
- Robert A. Kowalski:
Predicate Logic as Programming Language. IFIP Congress 1974: 569-574 - Anders Haraldson:
PCDB - A Procedure Generator for a Predicate Calculus Data Base. IFIP Congress 1974: 575-579 - William Ward Armstrong:
Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583
Models of Natural Language Text
- Gerard Salton, Chung-Shu Yang, Clement T. Yu:
Contribution to the Theory of Indexing. IFIP Congress 1974: 584-590 - Lotfi A. Zadeh:
Fuzzy Logic and Its Application to Approximate Reasoning. IFIP Congress 1974: 591-594 - Jean-Marie Nicolas, Jean-Claude Syre:
Natural Language Question Answering and Automatic Deduction in the System Syntex. IFIP Congress 1974: 595-599
Numerical Methods
- John R. Rice:
Parallel Algorithms for Adaptive Quadrature - Convergence. IFIP Congress 1974: 600-604 - F. M. Larkin:
Probabilistic Error Estimates in Spline Interpolation and Quadrature. IFIP Congress 1974: 605-609 - J. Vignes, M. La Porte:
Error Analysis in Computing. IFIP Congress 1974: 610-614
Theory of Computation
- Michael O. Rabin:
Theoretical Impediments to Artificial Intelligence. IFIP Congress 1974: 615-619 - John E. Hopcroft:
Complexity of Computer Computations. IFIP Congress 1974: 620-626
Approximation Methods
- Henry C. Thacher Jr.:
Numerical Application of the Generalized Euler Transformation. IFIP Congress 1974: 627-631 - William B. Gragg, G. D. Johnson:
The Laurent-Pade Table. IFIP Congress 1974: 632-637 - Corrado Corradi, Guido Gambetta:
A Numerical Method fro Estimating Distributed Lag Models. IFIP Congress 1974: 638-641
Storage Mapping Algorithms
- Arnold L. Rosenberg:
Computed Access in Ragged Arrays. IFIP Congress 1974: 642-646 - Hans-Dieter Ehrich:
Theory of Direct-Access Storage Functions. IFIP Congress 1974: 647-651
Automata Theory
- Taylor L. Booth:
Design of Minimal Expected Processing Time Finite-State Transducers. IFIP Congress 1974: 652-656 - Wolfgang Wechler, Vladimir Dimitrov:
R-Fuzzy Automata. IFIP Congress 1974: 657-660 - Takayasu Ito, Shigeru Ando:
A Complete Axiom System of Super-Regular Expressions. IFIP Congress 1974: 661-665
Numerical Analysis
- G. W. Stewart:
The Numerical Treatment of Large Eigenvalue Problems. IFIP Congress 1974: 666-672 - Michael R. Osborne:
On the Numerical Solution of Boundary Value Problems for Ordinary Differential Equations. IFIP Congress 1974: 673-677
Computational Complexity
- Ronald L. Rivest:
On the Optimality of Elia's Algorithm for Performing Best-Match Searches. IFIP Congress 1974: 678-681 - Jacques Morgenstern:
Linear Tangent Algorithms and Lower Bounds for the Complexity of Computation. IFIP Congress 1974: 682-684 - Joseph F. Traub:
Parallel Algorithms and Parallel Comnputational Complexity. IFIP Congress 1974: 685-687
Technological and Scientific Applications
Pattern Recognition
- Edwin Diday, A. Schroeder, Y. Ok:
The Dynamic Clusters Method in Pattern Recognition. IFIP Congress 1974: 691-697 - Charles T. Zahn Jr.:
An Algorithm for Noisy Template Matching. IFIP Congress 1974: 698-701 - James C. Stoffel:
The Theory of Prime Events Data Analysis for Sample Vectors with Inherently Discrete Variables. IFIP Congress 1974: 702-706
Computer Graphics
- Charles A. Csuri:
Real-Time Animation.