Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar6. IFIP Congress 1974: Stockholm, Sweden
Computer Hardware amd Architecture
Computer Hardware and Software
- 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
- 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
Hardware Trends and Future Outlook
- 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, M. 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 - Jorge Santos:
A General Approach to the Problem of Interleaved Memory Reconfigurations. IFIP Congress 1974: 171-174
Software
Software Reliability
- 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
- 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
- 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
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 - 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
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
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
- Horst Biller, Erich J. Neuhold:
Formal View on Schema-Subschema Correspondence. IFIP Congress 1974: 367-371
Compiler Techniques
- Dimitri Tusera:
Example of Transformation of a Derivation Tree for an Expression by Semantic Attributes. IFIP Congress 1974: 381-385
Programming Methodlogy I
- Per Brinch Hansen:
A Programming Methodology for Operating System Design. IFIP Congress 1974: 394-397
Procedures and Block Structures
Programming Methodology II
- Mikhail R. Shura-Bura:
Software Implementation Studies: Problems and Prospects. IFIP Congress 1974: 427-430
File Structure and Accesing
- 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
Numerical Analysis and Symbol Manipulation
- Josef Stoer:
On the Convergence Behaviour of Some Minimization Algorithms. IFIP Congress 1974: 476-482
Algorithms and Graph Theory
- 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
Matrix Computation
- 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
- David F. Shanno, Allen Berg, Grant A. Cheston:
Restarts and Rotations of Quasi-Newton Methods. IFIP Congress 1974: 557-561
Logic and Data Bases
- 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
Theory of Computation
Approximation Methods
- Henry C. Thacher Jr.:
Numerical Application of the Generalized Euler Transformation. IFIP Congress 1974: 627-631 - Corrado Corradi, Guido Gambetta:
A Numerical Method fro Estimating Distributed Lag Models. IFIP Congress 1974: 638-641
Storage Mapping Algorithms
Automata Theory
- Taylor L. Booth:
Design of Minimal Expected Processing Time Finite-State Transducers. IFIP Congress 1974: 652-656 - Takayasu Ito, Shigeru Ando:
A Complete Axiom System of Super-Regular Expressions. IFIP Congress 1974: 661-665
Numerical Analysis
- 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 - James C. Stoffel:
The Theory of Prime Events Data Analysis for Sample Vectors with Inherently Discrete Variables. IFIP Congress 1974: 702-706
Computer Graphics
- Robert P. Futrelle:
GALATEA: Interactive Graphics for the Analysis of Moving Images. IFIP Congress 1974: 712-716 - Dermont H. McLain:
Computer Construction of Surfaces through Arbitrary Points. IFIP Congress 1974: 717-721 - Robin Williams:
On the Application of Relational Data Structures in Computer Graphics. IFIP Congress 1974: 722-726
Picture Processing
- Takeo Kanade, Yuichi Ohta:
Picture Processing Laboratory and Its Application. IFIP Congress 1974: 738-742
Methods in Pattern Recognition
- Richard B. Neely, George M. White:
On the Use of Syntax in a Low Cost Real Time Speech Recognition System. IFIP Congress 1974: 748-752
Computer-Aided Design
- Mamoru Hosaka, Fumihiko Kimura, Naotake Kakishita:
A Unified Method for Processing Polyhedra. IFIP Congress 1974: 768-772 - B. G. J. Thompson, J. Hughes:
An Experimental Investigation of the Performance of a Computer-Aided Building Design System. IFIP Congress 1974: 773-777
Artificial Intelligence and Control Applications
- Masanori Ozeki, Shigeo Naganuma, Nobukazu Inada:
Railway Traffic Control System. IFIP Congress 1974: 802-806 - Michael L. Dertouzos:
Control Robotics: The Procedural Control of Physical Processes. IFIP Congress 1974: 807-813
Artificial Intelligence
- Laurent Siklóssy, John W. Roach:
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers. IFIP Congress 1974: 814-817 - Paul S. Wang:
Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma. IFIP Congress 1974: 823-827 - N. S. Sridharan:
A Heuristic Program to Discover Syntheses for Complex Organic Molecules. IFIP Congress 1974: 828-833
Applications in the Social Sciences and the Humanities
Analysis of Literary Texts
- John B. Smith:
Computer Generated Analogues of Mental Structures from Language Data. IFIP Congress 1974: 842-845 - Paul A. Fortier:
From Objectivity to Covenience: Information Processing for Literary Study. IFIP Congress 1974: 846-850
Computer and Art
- Igor Gumowski, Christian Mira:
Point Sequences Generated by Two-Dimensional Recurrences. IFIP Congress 1974: 851-855 - Leslie Mezei, Martine Puzin, Pat Conroy:
Simualtion of Patterns of Nature by Computer Graphics. IFIP Congress 1974: 861-865
Computers in the Humanities
- Joseph Raben:
Alphabetic and Numeric Data Processing: A View from the Humanities. IFIP Congress 1974: 866-871
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. IFIP Congress 1974: 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. IFIP Congress 1974: 880-883 - Adele Goldberg:
Design for a Computer-Tutor for Elementary Mathematical Logic. IFIP Congress 1974: 884-888
Teaching Computer Science
- F. Robert A. Hopgood:
Computer Animation Used as a Tool in Teaching Computer Science. IFIP Congress 1974: 889-892 - Tomas Ohlsson:
Microprogramming Experiments: A Vehicle for Understanding Comuter Architecture. IFIP Congress 1974: 893-897 - Elliott I. Organick, Joseph Wilson Thomas:
Conputer-Generated Semantics Displays. IFIP Congress 1974: 898-902 - Alvin J. Surkan:
Student Produced Example Game with Computer Feedback for FORTRAN Learning. IFIP Congress 1974: 903-907
Social Implications
- Moshe Mangad, William E. Hanna Jr.:
Computers and Health Insurance Models. IFIP Congress 1974: 913-918
Natural Language Processing
- Andrée Tretiakoff:
Computer Generated Word Classes and Sentence Structures. IFIP Congress 1974: 919-920 - Alexandre Andreewsky, Christian Fluhr:
A Learning Method for Natural Language Processing and Application to Information Retrieval. IFIP Congress 1974: 924-927
Computers in Social and Economic Development
- Derek S. Henderson:
Computer Experience with Selected Secondary and Primary School Children. IFIP Congress 1974: 928-930
Systems for Management and Administration
Theoretical Aspects of Information Systems for Management
- Jean-Louis Le Moigne:
The "Manager-Terminal-Model" System is also a Model (Toward a Theory of Managerial Meta Models). IFIP Congress 1974: 946-951
Design and Implementatin of Management Information System
- G. X. Amey, R. Baglow, E. W. Chadler, P. Nador, J. Spruce Riordon:
Towards a Generic Information System Design Process. IFIP Congress 1974: 957-961 - Charles B. Stabell:
On the Development of Decision Support Systems as a Marketing Problem. IFIP Congress 1974: 962-966
Economics of Information Processing
Files and Data Management
- Laurent Hyafil, F. Prusker, Jean Vuillemin:
Design of Optimal Merge on Direct Access Devices. IFIP Congress 1974: 979-982 - Richard W. Conway, William L. Maxwell, Howard L. Morgan:
A Technique for File Surveillance. IFIP Congress 1974: 988-992 - Paul Lindgreen:
Basic Operations on Information as a Basis for Data Base Design. IFIP Congress 1974: 993-997
Data Base Management Systems
- T. William Olle:
Current and Future Trends in Data Base Management Systems. IFIP Congress 1974: 998-1006 - Jules I. Schwartz, Iona Blackwell:
DML - An Interactive Data Management Language. IFIP Congress 1974: 1007-1011 - P. M. Cashin, M. G. Robinson, D. M. Yates:
Experience with Scrapbook, a Non-Formatted Data Base System. IFIP Congress 1974: 1012-1016
Data Base Design
- Claude Deheneffe, Henri Hennebert, W. Paulus:
Relational Model for a Data Base. IFIP Congress 1974: 1022-1025 - Jean-Luc Hainaut, Baudouin Le Charlier:
An Extensible Semantic Model of Data Base and Its Data language. IFIP Congress 1974: 1026-1030
Business Applications of Information Systems
- Maurice Pollack:
An Interactive Approach to Airline Route-Frequency Planning. IFIP Congress 1974: 1037-1041 - G. A. Fisher:
An Order and Charge System for Some Bakeries in the United Kingdom. IFIP Congress 1974: 1042-1046 - Harald Westhagen, Bjarne Hope:
Introduction of a New Administrative Control System in the Norwegian Shipping Industry. IFIP Congress 1974: 1047-1051
Applications of Interactive Computing
- Roy C. Amara, Jacques F. Vallee:
FORUM: A Computer-Based System to Support Interaction among People. IFIP Congress 1974: 1052-1056 - Eric D. Carlson, John L. Bennett, Gary M. Giddings, Patrick E. Mantey:
The Design and Evaluation of an Interactive Geo-Data Analysis and Display System. IFIP Congress 1974: 1057-1061 - Michael Scott Morton:
Decision Support System: Some Lessons from an On-Going Application. IFIP Congress 1974: 1062-1066
Information Systems for Governmental Administration
- K. A. Bagrinovski:
Decisions in a System of Models for Planning National Economy. IFIP Congress 1974: 1067-1071 - Edgar H. Sibley, Alfonz Rabenseifer:
Extremely Large Data Systems for National Statistics. IFIP Congress 1974: 1072-1075 - Konstantin Gabrovski:
Computers in Planning in People's Republic of Bulgaria. IFIP Congress 1974: 1076-1079 - Wolfgang Mausberg:
A Thesaurus for a Parliamentary Information System. IFIP Congress 1974: 1080-1084
Control Aspects of Management and Information Systems
- Nikita N. Moiseev:
Hierarchal Structures in Controlled Dynamic Systems: Concepts and Prospects. IFIP Congress 1974: 1085-1087 - J. P. Quadrat:
Numerical Application of Stochastic Optimal Control to Inventory and Investment Problems. IFIP Congress 1974: 1088-1091 - Kornél Terplán:
Optimal Disturbance Control within the Management Information System. IFIP Congress 1974: 1092-1095
maintained by 
at 
at 
last updated on 2018-07-12 22:11 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint