default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. IFIP Congress 1971: Ljubljana, Yugoslavia, Volume 1
- Charles V. Freiman, John E. Griffith, Jack L. Rosenfeld:
Information Processing, Proceedings of IFIP Congress 1971, Volume 1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28, 1971. North-Holland 1972, ISBN 0-7204-2063-6
Part 1: Mathematical Foundations of Information Processing
Invited Papers
- Robert W. Floyd:
Toward Interactive Design of Correct Programs. IFIP Congress (1) 1971: 7-10 - Raj Reddy:
Speech Recognition: Prospects of the Seventies. IFIP Congress (1) 1971: 11-18 - Donald E. Knuth:
Mathematical Analysis of Algorithms. IFIP Congress (1) 1971: 19-27 - Andrei P. Ershov:
Theory of Program Schemata. IFIP Congress (1) 1971: 28-45
Theoretical Foundations for Computer Science
- Terrence Fine:
Stochastic Independence and Computational Complexity. IFIP Congress (1) 1971: 46-51 - Valery A. Nepomniaschy:
Conditions for the Algorithmic Completeness of Systems of Operations. IFIP Congress (1) 1971: 52-55 - Claus-Peter Schnorr:
Optimal Gödel Numberings. IFIP Congress (1) 1971: 56-58 - Arthur C. Fleck:
On the Combinatorial Complexity of Context-free Grammars. IFIP Congress (1) 1971: 59-60 - Ryszard S. Michalski, Zenon Kulpa:
A System of Programs for the Synthesis of Switching Circuits Using the Method of Disjoint Stars. IFIP Congress (1) 1971: 61-65 - Andries P. J. van der Walt:
Random Context Languages. IFIP Congress (1) 1971: 66-68 - David L. Milgram, Azriel Rosenfeld:
Array Automata and Array Grammars. IFIP Congress (1) 1971: 69-74 - Stephen A. Cook:
Linear Time Simulation of Deterministic Two-Way Pushdown Automata. IFIP Congress (1) 1971: 75-80 - J. M. Barzdin:
Prognostication of Automata and Functions. IFIP Congress (1) 1971: 81-84
Graphs, Data Structures, and Symbol Manipulation
- John E. Hopcroft, Robert Endre Tarjan:
Planarity Testing in V log V Steps: Extended Abstract. IFIP Congress (1) 1971: 85-90 - Jürg Nievergelt, C. K. Wong:
On Binary Search Trees. IFIP Congress (1) 1971: 91-98 - John L. Bruno, Edward G. Coffman Jr.:
Nearly Optimal Binary Search Trees. IFIP Congress (1) 1971: 99-103 - Sandra E. Hutchins:
Data Compression in Context-Free Languages. IFIP Congress (1) 1971: 104-109 - James N. Hanson:
Equation Solutions by Functional Analysis Algorithms and Formula Manipulation. IFIP Congress (1) 1971: 110-114
Mathematical Models for Information Processing Systems
- Gerard Salton:
Experiments in Automatic Thesaurus Construction for Information Retrieval. IFIP Congress (1) 1971: 115-123 - Leonard Kleinrock, Richard R. Muntz, Jiunn Hsu:
Tight Bounds on the Average Response Time-Shared Computer Systems. IFIP Congress (1) 1971: 124-133 - Masanao Aoki:
Decentralized Control of Large Dynamic Systems and a New Class of Associated Optimization. IFIP Congress (1) 1971: 134-140 - Giuseppe Iazeolla:
Walking Strategies for a Single-Server Multiqueue Service System. IFIP Congress (1) 1971: 141-148
Mathematical Problems in Pattern Recognition
- S. Watanabe:
A Unified View of Clustering Algorithms. IFIP Congress (1) 1971: 149-154 - Harry C. Andrews:
Some Unitary Transformations in Pattern Recognition and Image Processing. IFIP Congress (1) 1971: 155-160 - Edward S. Deutsch:
Toward Isotopic Image Reduction. IFIP Congress (1) 1971: 161-172 - Alberto Martelli, Ugo Montanari:
Optimal Smoothing in Picture Processing: An Application to Fingerprints. IFIP Congress (1) 1971: 173-178
Artificial Intelligence
- Bruce G. Buchanan, Joshua Lederberg:
The Heuristic DENDRAL Program for Explaining Empirical Data. IFIP Congress (1) 1971: 179-188 - Richard Fikes:
Monitored Execution of Robot Plans Producted by STRIPS. IFIP Congress (1) 1971: 189-194 - Rob Kling:
Reasoning by Analogy as an Aid to Heuristic Theorem Proving. IFIP Congress (1) 1971: 195-200 - Johns F. Rulifson, Richard J. Waldinger, Jan A. Derksen:
A Language for Writing Problem-Solving Programs. IFIP Congress (1) 1971: 201-205 - Jay M. Tenenbaum, Alan C. Kay, Thomas O. Binford, Gilbert Falk, Jerome A. Feldman, Gunnar Grape, R. Paul, Karl K. Pingle, Irwin Sobel, Robert F. Sproull:
A Laboratory for Hand-Eye Research. IFIP Congress (1) 1971: 206-210
Pattern Recognition Techniques
- Vukasin P. Masnikosa:
Extraction of Essential Descriptors for Pattern Contours. IFIP Congress (1) 1971: 211-217 - George M. Miller:
Real-Time Classification of Handwritten Script Words. IFIP Congress (1) 1971: 218-223 - Jack Sklansky, P. J. Najin:
A Parallel Mechanism for Recognizing Silhouettes. IFIP Congress (1) 1971: 224-228
Program Construction and Verification
- Robert L. Constable:
Constructive Mathematics and Automatic Program Writers. IFIP Congress (1) 1971: 229-233 - James C. King:
A Program Verifier. IFIP Congress (1) 1971: 234-249 - Edward A. Ashcroft, Zohar Manna:
The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) 1971: 250-255 - Joachim Szlachta:
On the Correctness of Accepted Input. IFIP Congress (1) 1971: 256-260
Closing Session
- Herbert A. Simon:
The Theory of Problem Solving. IFIP Congress (1) 1971: 261-277
Part 2: Computer Software
Invited Papers
- Brian Randell:
Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) 1971: 281-290 - Peter Lucas:
Formal Definition of Programming Languages and Systems. IFIP Congress (1) 1971: 291-297 - Thomas E. Cheatham Jr.:
The Recent Evolution of Programming Languages. IFIP Congress (1) 1971: 298-313
Program Performance
- Vinton G. Cerf, Gerald Estrin:
Measurement of Recursive Programs. IFIP Congress (1) 1971: 314-319 - Peter Deutsch, Charles A. Grant:
A Flexible Measurement Tool for Software Systems. IFIP Congress (1) 1971: 320-326 - Brian A. Wichmann:
The Performance of Some Algol Systems. IFIP Congress (1) 1971: 327-334
Program System Design
- Y. V. Kapitonova, Alexander A. Letichevsky:
Design Problems of Software Special Systems. IFIP Congress (1) 1971: 335-338 - David Lorge Parnas:
Information Distribution Aspects of Design Methodology. IFIP Congress (1) 1971: 339-344 - Claude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière:
System Design and Implementation Using Parallel Processes. IFIP Congress (1) 1971: 345-352 - Fumio Akiyama:
An Example of Software System Debugging. IFIP Congress (1) 1971: 353-359
Programming Languages and Systems
- Ian F. Currie, Susan G. Bond, J. D. Morison:
Algol 68-R, Its Implementation and Use. IFIP Congress (1) 1971: 360-363 - F. Mizzi, P. Toussaint:
PHYSICTRAN: A Programming Language for Physicists, Economists, and Engineers Extending the Possibilities of Fortran V in Automatic Solving. IFIP Congress (1) 1971: 364-369 - Juris Reinfelds:
AMTRAN 70. IFIP Congress (1) 1971: 370-375 - Thomas C. Spillman:
Exposing Side-Effects in a PL/I Optimizing Compiler. IFIP Congress (1) 1971: 376-381 - Richard D. Jenks:
"META/PLUS" - The Syntax Extension Facility for "SCRATCHPAD". IFIP Congress (1) 1971: 382-384
Program Optimization
- Frances E. Allen:
A Basis for Program Optimization. IFIP Congress (1) 1971: 385-390 - Martin Hopkins:
An Optimizing Compiler Design. IFIP Congress (1) 1971: 391-396 - Peter Bachmann:
A Contribution to the Problem of the Optimization of Programs. IFIP Congress (1) 1971: 397-401
Aspects of Programming
- Michael Woodger:
On Semantic Levels in Programming. IFIP Congress (1) 1971: 402-407 - William A. Wulf:
Programming without the Goto. IFIP Congress (1) 1971: 408-413 - Allan Ballard, Dennis Tsichritzis:
Transformations of Programs. IFIP Congress (1) 1971: 414-418 - W. Morven Gentleman:
A Portable Coroutine System. IFIP Congress (1) 1971: 419-424
Interactive System
- Louis W. Wolf, Larry J. Julyk:
Generalized Interactive Symbolic Manipulations. IFIP Congress (1) 1971: 425-428 - Leslie Mezei, A. Zivian:
ARTA, an Interactive Animation System. IFIP Congress (1) 1971: 429-434 - R. D. H. Wycherley:
An Interaction-Handling Technique for Satellite Graphics. IFIP Congress (1) 1971: 435-439 - Olivier Lecarme:
A System for Interactive Graphic Programming. IFIP Congress (1) 1971: 440-444 - I. Casazza, P. Russo, C. Dell'Aquila, O. Murro, G. Prezioso, M. Refice:
A New Interactive Graphic Package. IFIP Congress (1) 1971: 445-449
Data Handling
- Brian T. Bennett, W. Donald Frazer:
Approximating Optimal Direct-Access Merge Performance. IFIP Congress (1) 1971: 450-453 - William H. Burge:
An Analysis of the Compromise Merge Sorting Techniques. IFIP Congress (1) 1971: 454-459 - Allen Reiter, A. Clute, Jay M. Tenenbaum:
Representation and Execution of Searchers Over Large Tree-Structured Data Bases. IFIP Congress (1) 1971: 460-472 - P. L. Long, K. B. L. Rastogi, James E. Rush, J. A. Wyckoff:
Large On-Line Files of Bibliographic Data: An Efficient Design and a Mathematical Predictor of Retrieval Behavior. IFIP Congress (1) 1971: 473-478
Operating Systems
- Per Brinch Hansen:
An Analysis of Response Ratio Scheduling. IFIP Congress (1) 1971: 479-484 - W. Frank King III:
Analysis of Demand Paging Algorithms. IFIP Congress (1) 1971: 485-490 - John Pomeranz:
Paging with Fewest Expected Replacements. IFIP Congress (1) 1971: 491-493 - Jacek Olszewski:
On a Structure of Operating Systems Schedulers. IFIP Congress (1) 1971: 494-497 - Prakash G. Hebalkar:
A Graph Model for Analysis of Deadlock Prevention in Systems with Parallel Computations. IFIP Congress (1) 1971: 498-503
Formal Language Manipulation
- Siegward Backes:
Top-Down Syntax Analysis and Floyd-Evans Production Language. IFIP Congress (1) 1971: 504-508 - Gerhard Chroust:
Scope Conserving Expression Evaluation. IFIP Congress (1) 1971: 509-512 - Wilf R. LaLonde, E. S. Lee, James J. Horning:
An LALR(k) Parser Generator. IFIP Congress (1) 1971: 513-518 - James J. Horning:
A Procedure for Grammatical Inference. IFIP Congress (1) 1971: 519-523 - Stefano Crespi-Reghizzi:
An Effective Model for Grammar Interference. IFIP Congress (1) 1971: 524-529
Closing Session
- Friedrich L. Bauer:
Software Engineering. IFIP Congress (1) 1971: 530-538
Part 3: Computer Hardware and Systems
Invited Papers
- David J. Wheeler:
The Limits of the Complexity of Computer Systems. IFIP Congress (1) 1971: 541-544 - Edmund E. Newhall, Anastasios N. Venetsanopoulos:
Computer Communication - Representative Systems. IFIP Congress (1) 1971: 545-552 - Eugene Shapiro:
Technologies for Storage Hierarchies. IFIP Congress (1) 1971: 553-558
Multiprocessing
- Michael A. Kartev:
On the Structure of Multiprocessor Systems. IFIP Congress (1) 1971: 559-564 - Michael J. Flynn:
Shared Internal Resources in Multiprocessor. IFIP Congress (1) 1971: 565-569 - M. M. Lehman, Gerald Waldbaum:
An Analytical Model for Upper Bounds on the Performance of Event-Driven, Hierarchical Computer Systems. IFIP Congress (1) 1971: 570-576
Applications of Microprogramming
- P. S. Roberts, Chris S. Wallace:
A Microprogrammed Lexical Processor. IFIP Congress (1) 1971: 577-581 - Z. L. Rabinovitch:
Development of Computer Languages and Interpretive Systems. IFIP Congress (1) 1971: 582-585 - Jean Suchard, Gérard Bossuet:
Modular Microprogrammed Logical Units (ULM). IFIP Congress (1) 1971: 586-590 - Farhad Mavaddat:
Using Stacks to Detect Expression Parallelism. IFIP Congress (1) 1971: 591-596
Hardware Systems Design
- Robert S. Wilkov:
Reliability Considerations in Computer Network Design. IFIP Congress (1) 1971: 597-602 - Rolf Schubert:
Structure of a Highly Reliable System. IFIP Congress (1) 1971: 603-607 - Josef F. Huber:
High-Performance Program Request Control. IFIP Congress (1) 1971: 608-613
Communications
- Wesley W. Chu:
Optimal Fixed Message Block Size for Computer Communications. IFIP Congress (1) 1971: 614-621 - Donald W. Davies:
Packet Switching in a Public Data Network. IFIP Congress (1) 1971: 622-627 - T. H. Beeforth, Richard L. Grimsdale, Fred Halsall, D. J. Woollons:
Aspects of a Proposed Data Communication System. IFIP Congress (1) 1971: 628-633 - A. L. Dudick, E. Fuchs, Peter E. Jackson:
Data Traffic Measurements for Inquiry - Response Computer Communication Systems. IFIP Congress (1) 1971: 634-641 - C. S. Duke, M. J. McIntyre:
A New Approach to Data Communications in the B6700. IFIP Congress (1) 1971: 642-647
Hybrid and Analog Computation
- Stanoje P. Bingulac, Milic R. Stojic:
Iterative Calculations via the Block-Oriented Simulation Languages. IFIP Congress (1) 1971: 648-654 - Kenneth G. Beauchamp, C. J. Kelley, P. G. Thomasson, M. E. Williamson:
Development of a Hybrid System for University Research. IFIP Congress (1) 1971: 655-661 - Ahmed A. Kamal, A. K. El-Sherif:
Analysis and Compensation of High-Speed Electronic Analog Computer Errors. IFIP Congress (1) 1971: 662-667 - Robert M. Howe, R. B. Hollstien, Richard A. Moran:
Hardware/Software Considerations in the AD/Four Electronic Patched Hybrid Computer. IFIP Congress (1) 1971: 668-674 - C. C. Wheeler, Richard L. Grimsdale:
A Program-Controlled Two-Dimensional Impedance Network. IFIP Congress (1) 1971: 675-679
Voice, Filters, and Codes
- John D. Bagley:
A Voice Input Facility for Digital Computers. IFIP Congress (1) 1971: 680-685 - Toshiyuki Sakai, Kenji Ohtani, Shinji Tomita:
On-Line, Real-Time, Multiple-Speech Output System. IFIP Congress (1) 1971: 686-690 - H. Troy Nagle Jr., Chester C. Carroll:
Memory Sizing for Digital Filters. IFIP Congress (1) 1971: 691-696 - Alexander A. Davydov, G. M. Tenengol'ts:
On a Class of Codes Correcting Errors in Information Exchanged Between Computers. IFIP Congress (1) 1971: 697-703
Computer Architecture
- Richard P. Wishner, H. R. Downs, J. Shechter:
Real-Time Computer Techniques for Parallel Processors. IFIP Congress (1) 1971: 704-710 - James L. Parker:
A Logic-Per-Track Retrieval System. IFIP Congress (1) 1971: 711-716 - Gerard L. M. Nougez, Dominique M. J. Peccoud:
An Array Processor Design for APL-Like Data Structure. IFIP Congress (1) 1971: 717-720 - J. N. Potvin, P. Chenevert, Kenneth C. Smith, P. Boulton:
Star-Ring: A Computer Intercommunication and I/O System. IFIP Congress (1) 1971: 721-728 - P. D. Jones, Neil R. Lincoln:
J. E. Thornton: Whither Computer Architecture? IFIP Congress (1) 1971: 729-736
Graphics and Display
- P. J. Pobgee, J. R. Parks:
Applications of a Low Cost Graphical Input Tablet. IFIP Congress (1) 1971: 737-741 - Peter Salminger:
Experimental Display with Input by Light Gate Field Selection. IFIP Congress (1) 1971: 742-747 - Bertram Bussell, Harry M. Taxin:
Visual Resolution Processing for Interactive Graphics. IFIP Congress (1) 1971: 748-751 - H. C. A. Hankins, G. Hughes:
The Impact of Dark Trace Displays on Computer Graphics. IFIP Congress (1) 1971: 752-758 - James J. Batter, Frederick P. Brooks Jr.:
GROPE-1: A Computer Display to the Sense of Feel. IFIP Congress (1) 1971: 759-763
Closing Session
- Isaac L. Auerbach:
Technological Forecast 1971. IFIP Congress (1) 1971: 764-775
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
