Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. IFIP Congress 1971: Ljubljana, Yugoslavia, Volume 1
Part 1: Mathematical Foundations of Information Processing
Invited Papers
Theoretical Foundations for Computer Science
- V. A. Nepomniaschy:
Conditions for the Algorithmic Completeness of Systems of Operations. IFIP Congress (1) 1971: 52-55 - 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 - 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
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 - John L. Bruno, Edward G. Coffman Jr.:
Nearly Optimal Binary Search Trees. IFIP Congress (1) 1971: 99-103 - 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
- Harry C. Andrews:
Some Unitary Transformations in Pattern Recognition and Image Processing. IFIP Congress (1) 1971: 155-160 - 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, G. 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 - Edward A. Ashcroft, Zohar Manna:
The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) 1971: 250-255
Closing Session
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
- Peter Deutsch, Charles A. Grant:
A Flexible Measurement Tool for Software Systems. IFIP Congress (1) 1971: 320-326
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
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 - 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
- Peter Bachmann:
A Contribution to the Problem of the Optimization of Programs. IFIP Congress (1) 1971: 397-401
Aspects of Programming
Interactive System
- Louis W. Wolf, Larry J. Julyk:
Generalized Interactive Symbolic Manipulations. IFIP Congress (1) 1971: 425-428 - R. D. H. Wycherley:
An Interaction-Handling Technique for Satellite Graphics. IFIP Congress (1) 1971: 435-439 - 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
- B. 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
- 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 - Wilf R. LaLonde, E. S. Lee, James J. Horning:
An LALR(k) Parser Generator. IFIP Congress (1) 1971: 513-518 - Stefano Crespi-Reghizzi:
An Effective Model for Grammar Interference. IFIP Congress (1) 1971: 524-529
Closing Session
Part 3: Computer Hardware and Systems
Invited Papers
- E. E. Newhall, Anastasios N. Venetsanopoulos:
Computer Communication - Representative Systems. IFIP Congress (1) 1971: 545-552
Multiprocessing
- 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
Hardware Systems Design
- R. S. Wilkov:
Reliability Considerations in Computer Network Design. IFIP Congress (1) 1971: 597-602
Communications
- Wesley W. Chu:
Optimal Fixed Message Block Size for Computer Communications. IFIP Congress (1) 1971: 614-621 - 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, P. 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 - K. 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
- 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 - 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
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