default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. IFIP Congress 1983: Paris, France
- R. E. A. Mason:
Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP 1983, ISBN 0-444-86729-5
On the Design of ADA (Invited Paper)
- Jean Ichbiah:
On The Design of ADA. IFIP Congress 1983: 1-10
Formal and Informal Models of Office Activity (Invited Paper)
- Clarence A. Ellis:
Formal and Informal Models of Office Activity. IFIP Congress 1983: 11-22
Models of Communication Architectures
- A. I. Ilushin, A. N. Myamlin, V. S. Shtarkman:
Computer Network Software Design Based on Abstract Objects. IFIP Congress 1983: 23-28 - Danny Cohen, Jonathan B. Postel:
The Iso Reference Model and Other Protocol Architectures. IFIP Congress 1983: 29-34
VLSI
- Vincent Olive, Denis Rouquier:
A System Method for the Synthesis of Control Parts Defined by Grafcet. IFIP Congress 1983: 35-40
Net Theory of Systems and Processes
- Bernard Berthomieu, Miguel Menasche:
An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress 1983: 41-46 - Michel Diaz, Géraldo Guidacci Da Silveira:
Specification and Validation of Protocols by Temporal Logic and Nets. IFIP Congress 1983: 47-52
Applications I
- Javier Jiménez, Jose L. Navalón:
Automatic Vectorization of Printed Maps and Drawings. IFIP Congress 1983: 53-58 - Hannu Peltola, Hans Söderlund, Jorma Tarhio, Esko Ukkonen:
Algorithms for Some String Matching Problems Arising in Molecular Genetics. IFIP Congress 1983: 59-64
Trends in Office Workstations Design
- Robert D. Selinger, A. M. Patlach, Eric D. Carlson:
The 925 Family of Office Workstations. IFIP Congress 1983: 65-70 - Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa, Tohru Shimizu:
Multimedia Machine. IFIP Congress 1983: 71-77
Computing in High Energy Physics (Invited Paper)
- Paolo Zanella:
Computing in High-Energy Physics: Facing a New Generation of Experiments. IFIP Congress 1983: 79-88
Image Manipulation in the Office
- P. Economopoulos, Frederick H. Lochovsky:
A System for Managing Image Data. IFIP Congress 1983: 89-94 - Masao Sakauchi, Yutaka Ohsawa:
A New Interactive Geographical Information System Based on Effective Image-Type Map Representation. IFIP Congress 1983: 95-100
Programming Methodology
- Lars-Erik Thorelli:
A Linker Allowing Hierarchic Composition of Programs. IFIP Congress 1983: 101-106 - Masaaki Shimasaki, Yoshitoshi Kunieda, Takao Tsuda:
Applications of Modern Programming Language Concept to Text Processing with a Large Charakter Set. IFIP Congress 1983: 107-112
Physiology for Man Computer Cooperation in Knowledge Processing (Invited Paper)
- André Bisseret:
Physiology for Man Computer Cooperation in Knowledge Processing. IFIP Congress 1983: 113-120
Applications - II
- A. Aquesbi, J. C. Bocquet, J. M. Fouet, S. Tichkiewitch, M. Reynier, P. Trau:
An Expert System for Computer Aided Mechanical Design. IFIP Congress 1983: 121-125 - U. Bussolati, Maria Grazia Fugini, Giancarlo Martella:
A Conceptual Framework for Security Systems: The Action-Entity Model. IFIP Congress 1983: 127-132
Logic Programming (Invited Paper)
- Robert A. Kowalski:
Logic Programming. IFIP Congress 1983: 133-145
Database System Design for High Performance (Invited Paper)
- Rudolf Bayer:
Database System Design for High Performance. IFIP Congress 1983: 147-155
The Power of Computational Automata
- Rusins Freivalds:
Methods and Languages to Prove the Power of Probabilistic Machines. IFIP Congress 1983: 157-162 - Juraj Wiedermann:
Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine. IFIP Congress 1983: 163-168
Microprocessor Applications
- Tatsuo Yamamura:
Automated Label Inspection Apparatus. IFIP Congress 1983: 169-172 - Lauri Vatjus-Anttila, Martti Karppinen, Samuli Saukkonen:
A Portable Data Logger for Severe Environments. IFIP Congress 1983: 173-176
Elements of Distributed Systems
- Jiri Hoppe:
Remote Files for Lilith Computers. IFIP Congress 1983: 177-180 - Werner Bux, Bernd Meister, Johnny W. Wong:
Bridges for Interconnection of Ring Networks: A Simulation Study. IFIP Congress 1983: 181-185
Computer Science Education
- Alfs T. Berztiss, Norman E. Gibbs:
Computer Science and Computer Science Education. IFIP Congress 1983: 187-191 - Ian Sommerville:
Software Engineering - An Educational Challenge. IFIP Congress 1983: 193-197
First Steps Towards Inferential Programming (Invited Paper)
- William L. Scherlis, Dana S. Scott:
First Steps Towards Inferential Programming. IFIP Congress 1983: 199-212
Future Microprocessor Trends (Invited Paper)
- Tomihiro Matsumura:
Future Microprocessor Trends. IFIP Congress 1983: 213-217
Program Environments
- Stephen W. Smoliar:
Software Specifications, Data Bases and Knowledge Bases. IFIP Congress 1983: 219-222 - Jean-Marie Hullot:
A Multi-Formalism Programming Environment. IFIP Congress 1983: 223-227
Query Evaluation
- Robert Demolombe:
How to Improve Performance of Relational DBMS. IFIP Congress 1983: 229-233 - Anthony Y. Montgomery, Daryl J. D'Souza, S. B. Lee:
The Cost of Relational Algebraic Operations on Skewed Data: Estimates and Experiments. IFIP Congress 1983: 235-241
Universal Relation Interfaces for Database Systems (Invited Paper)
- Jeffrey D. Ullman:
Universal Relation Interfaces for Database Systems. IFIP Congress 1983: 243-252
Formulating Human Purposes - Meta-Engineering Computers for People (Invited Paper)
- Daniel C. Dennett:
Formulating Human Purposes - Meta-Engineering Computers for People. IFIP Congress 1983: 253-258
Functional Programming
- Manfred Broy:
Applicative Real-Time Programming. IFIP Congress 1983: 259-264 - Tetsuo Ida, Jiro Tanaka:
Functional Programming with Streams. IFIP Congress 1983: 265-270
VLSI and the Foundations of Computation (Invited Paper)
- Carver Mead:
VLSI and the Foundations of Computation. IFIP Congress 1983: 271-274
Computer Art
- Hervé Huitric, Monique Nahas:
Computer Art with Rodin. IFIP Congress 1983: 275-282
On Protocol Engineering (Invited Paper)
- Hubert Zimmermann:
On Protocol Engineering. IFIP Congress 1983: 283-292
Logic Programming - I
- Jørgen Fischer Nilsson:
On the Compilation of a Domain-Based Prolog. IFIP Congress 1983: 293-298 - Andrzej Ciepielewski, Seif Haridi:
A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305
Program Transformations and Optimization
- S. Mahadevan, R. K. Shyamasundar:
Correctness Preserving Transformations for Distributed Programs. IFIP Congress 1983: 307-313 - Victor N. Kasyanov:
Basis for Program Optimization. IFIP Congress 1983: 315-320
Specification and Design of (Parallel) Programs (Invited Paper)
- Cliff B. Jones:
Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332
Program Synthesis and Verification
- J. M. Barzdin:
Some Rules of Inductive Inference and their Use for Program Synthesis. IFIP Congress 1983: 333-338 - Ali Mili:
The Bottom up Analysis of While Statements: Strongest Invariant Functions. IFIP Congress 1983: 339-343
Naive Denotational Semantics (Invited Paper)
- Andrzej Blikle, Andrzej Tarlecki:
Naive Denotational Semantics. IFIP Congress 1983: 345-355
Database Machines
- Esen A. Ozkarahan:
Desirable Functionalities of Database Architectures. IFIP Congress 1983: 357-362 - Georges Gardarin, Philippe Bernadat, Nicole Temmerman, Patrick Valduriez, Yann Viémont:
Design of a Multiprocessor Relational Database System. IFIP Congress 1983: 363-367
Architectural Concepts for High-Performance, General-Purpose Computers (Invited Paper)
- Gene M. Amdahl:
Architectural Concepts for High-Performance, General-Purpose Computers. IFIP Congress 1983: 369-373
Expectations of Standardization (Invited Paper)
- Jean-Daniel Nicoud:
Expectations of Standardization. IFIP Congress 1983: 375-381
Multi-Processing
- Peter Møller-Nielsen, Jørgen Staunstrup:
Saturation in a Multiprocessor. IFIP Congress 1983: 383-388 - Sachio Kamiya, Fumio Isobe, Hideo Takashima, Masaaki Takiuchi:
Practical Vectorization Techniques for the "Facom VP". IFIP Congress 1983: 389-394
Studys of Communications Protocols
- Georges Mitaut, Daniel Duclos:
A Tool for Communication Protocols Validation. IFIP Congress 1983: 395-400 - Robert Cole, Peter Lloyd:
A Flexible Architekture for Protocol Studies in a Multi-Network Environment. IFIP Congress 1983: 401-406
Abstraction Complexity
- Michio Oyamaguchi:
Relationship Between Abstract and Concrete Implementations of Algebraic Specifications. IFIP Congress 1983: 407-412 - J. M. Robson:
The Complexity of Go. IFIP Congress 1983: 413-417
Logics and Programming
- Satoru Takasu, Takako Nakahara:
Programming with Mathematical Thinking. IFIP Congress 1983: 419-424 - Chih-Sung Tang:
Toward a Unified Logic Basis for Programming Languages. IFIP Congress 1983: 425-429
Ease of Use: A System Design Challenge (Invited Paper)
- Lewis M. Branscomb, John C. Thomas:
Ease of Use: A System Design Challenge. IFIP Congress 1983: 431-438
Computing in the Developing Countries of Asia (Invited Paper)
- Gopal K. Gupta:
Computing in the Developing Countries of Asia. IFIP Congress 1983: 439-446
Semantics of Parallel Programs
- Takayasu Ito:
Regular Tree Expressions and Behaviors of Functional Nets. IFIP Congress 1983: 447-452 - Matthew Hennessy:
Synchronous and Asynchronous Experiments on Processes. IFIP Congress 1983: 453-455
Compiler Development - I
- Roberto Barbuti, Alberto Martelli:
A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983: 457-462 - Pierre Deransart:
Logical Attribute Grammars. IFIP Congress 1983: 463-469
Computers in Developing and Developed Countries - A Contrast
- Robert M. Aiken, Abdechahid Oualid:
Microcomputers as Educational Tools in Developing Countries. IFIP Congress 1983: 471-475 - Robert P. Moeller:
Pricing Computer Services. IFIP Congress 1983: 477-480
Distributed Programs
- Mathai Joseph, Abha Moitra:
Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486 - Isabel Gouveia Lima, David Mundy, Philip C. Treleaven:
Decentralised Control Flow Programming. IFIP Congress 1983: 487-492
Applications of Artificial Intelligence Techniques to Office Automation Systems (Invited Paper)
- Kohei Amo, Ken-ichi Mori:
Applications of Artificial Intelligence Techniques to Office Automation Systems. IFIP Congress 1983: 493-499
CAD Techniques
- Laurence Cholvy, Jack Foisseau:
ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983: 501-505 - B. Carriere, C. Cazalot, J. M. Dumas, P. M. Grojean, P. Leroy, François Prunet:
A C.A.D. System for Process Control Based upon a Standard. IFIP Congress 1983: 507-512
Types, Abstraction and Parametric Polymorphism (Invited Paper)
- John C. Reynolds:
Types, Abstraction and Parametric Polymorphism. IFIP Congress 1983: 513-523
Local Networking of Personal Computers (Invited Paper)
- Robert Metcalfe:
Local Networking of Personal Computers. IFIP Congress 1983: 525-532
Physical Database Organization
- Thomas K. W. Tsou, Lawrence V. Saxton, Vijay V. Raghavan, Jitender S. Deogun:
Consecutive Retrieval with Redundancy Organization of Clustered Files. IFIP Congress 1983: 533-537 - Yutaka Ohsawa, Masao Sakauchi:
The BD-Tree - A New N-Dimensional Data Structure with Highly Efficient Dynamic Characteristics. IFIP Congress 1983: 539-544
Dataflow Machines
- John R. Gurd, Ian Watson:
Preliminary Evaluation of a Prototype Dataflow Computer. IFIP Congress 1983: 545-551 - Jack B. Dennis, Willie Y.-P. Lim, William B. Ackerman:
The MIT Data Flow Engineering Model. IFIP Congress 1983: 553-560
Office Work Suuport
- Gerald R. Barber, Peter de Jong, Carl Hewitt:
Semantic Support for Work in Organizations. IFIP Congress 1983: 561-566 - Irène Kowarski, Christian Michaux:
MIDOC: A Microcomputer System for the Management of Structured Documents. IFIP Congress 1983: 567-572
Microprocessors in System Design
- Vaclav Dvorak, Imrich Rukovansky:
Efficient Implementation of Logic Control Algorithms on Microprocessors. IFIP Congress 1983: 573-578 - L. Neel, M. Bailly, Daniel Tondeur:
Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation. IFIP Congress 1983: 579-582
Nineteen Eighty Four?
- Nicholas J. Belkin, Ralf-Dirk Hennings, Thomas Seeger:
Mass-Informatics and Their Implication for Everyday Life. IFIP Congress 1983: 583-587
The Architectures in the Fifth Generation Computers (Invited Paper)
- Tohru Moto-Oka, Kazuhiro Fuchi:
The Architectures in the Fifth Generation Computers. IFIP Congress 1983: 589-602
Data Base Applications
- Charles B. Stabell, Anna Mette Fuglseth:
The D*2 Approach to Decision Support. IFIP Congress 1983: 603-608 - Michael S. D. Wilkie, Alberto O. Mendelzon:
Analysis and Translation of Entity-Relationship Database Schemas. IFIP Congress 1983: 609-614
Programming Environments
- Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos:
Outline of a Tool for Document Manipulation. IFIP Congress 1983: 615-620 - Takeshi Chusho, Tan Watanabe, Toshihiro Hayashi:
A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure Editor. IFIP Congress 1983: 621-626
Prolog in Practice (Invited Paper)
- Bálint Dömölki, Péter Szeredi:
Prolog in Practice. IFIP Congress 1983: 627-636
Implementation and Engineering of a Production-Oriented DBMS (Invited Paper)
- Peter Schnell:
Implementation and Engineering of a Production-Oriented DBMS. IFIP Congress 1983: 637-646
Viewing Computing Systems Within a Social Context (Invited Paper)
- Starr Roxanne Hiltz:
Viewing Computing Systems Within a Social Context. IFIP Congress 1983: 647-655
What Good is Temporal Logic? (Invited Paper)
- Leslie Lamport:
What Good is Temporal Logic? IFIP Congress 1983: 657-668
Man-Machine Speech Communications
- Hubert Crepy, Bertrand Denoix, Francis Destombes, Gilbert Rouquie, Jean-Pierre Tubach:
Speech Processing on a Personal Computer to Help Deaf Children. IFIP Congress 1983: 669-671 - Joseph-Jean Mariani, B. Prouts, Jean-Luc Gauvain, Jean-Jacques Gangolf:
A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to Speech Synthesis. IFIP Congress 1983: 673-679
Facsimile Processing and Communications
- Noriyoshi Okamoto, Osamu Nakamura, Toshi Minami:
Character Segmentation for Mixed-Mode Communication. IFIP Congress 1983: 681-685 - Toshihiko Wakahara, Masao Hiroyama, Hiroshi Ogawa:
Facsimile Coputer Communication by Center-End Facsimile Communication Network. IFIP Congress 1983: 687-691
Computer Architecture - I
- Akira Hattori, Minoru Koshino, Shigemi Kamimoto:
Three-Level Hierarchical Storage System for Facom M-380/382. IFIP Congress 1983: 693-697 - Jerome C. Huck, Michael J. Flynn:
Comparative Analysis of Computer Architectures. IFIP Congress 1983: 699-703
Database Models
- António L. Furtado, Paulo A. S. Veloso, Marco A. Casanova:
A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710 - Jean-Marie Nicolas, Kioumars Yazdanian:
An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717
Rencontres: Getting Together With Computers.
- Murray Turoff, Starr Roxanne Hiltz:
Working at Home or Living in the Office. IFIP Congress 1983: 719-725 - Martin Nisenholtz, Evangeline M. Morphos:
Information Technology and New Forms of Participation in the Narrative. IFIP Congress 1983: 727-731
New Issues of Computer Privacy in the Eighties (Invated Paper)
- Alan F. Westin:
New Issues of Computer Privacy in the Eighties. IFIP Congress 1983: 733-739
On Real-Time Distributed Computing (Invited Paper)
- Gérard Le Lann:
On Real-Time Distributed Computing. IFIP Congress 1983: 741-753
Information Retrival
- Gerard Salton, Edward A. Fox, Harry Wu:
An Automatic Environment for Boolean Information Retrival. IFIP Congress 1983: 755-762 - Peter Dadam, Peter Pistor, Hans-Jörg Schek:
A Predicate Oriented Locking Approach for Integrated Information Systems. IFIP Congress 1983: 763-768
The nu-Conversion and an Analytic Semantics (Invated Paper)
- Shigeru Igarashi:
The nu-Conversion and an Analytic Semantics. IFIP Congress 1983: 769-774
Computers and National Development
- Frederic E. Lamond:
Microprocessors as Agents of De-Industrialization. IFIP Congress 1983: 775-780 - Judith H. Hammond:
The Challenge of Change: Information Technology and the Community - An Australian Innovative Project. IFIP Congress 1983: 781-785
Models for Systems and Organizations
- M. Marcus, E. Moulhade, J. J. Roubière, P. Dumas, G. Du Roure:
MOBILE: An Office Automation Methodology. IFIP Congress 1983: 787-792 - David Beech:
A Reference Model for Command and Response Languages. IFIP Congress 1983: 793-797
Recovery Algorithms for Database Systems (Invited Paper)
- Philip A. Bernstein, Nathan Goodman, Vassos Hadzilacos:
Recovery Algorithms for Database Systems. IFIP Congress 1983: 799-807
Specification Languages
- John V. Guttag, James J. Horning:
An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814 - Didier Bert:
Refinements of Generic Specifications with Algebraic Tools. IFIP Congress 1983: 815-820
Computer Architecture - II
- Martin Adelantado, Dominique Comte, Pierre Siron, Jean-Claude Syre:
A MIMID Supercomputer System for Large Scale Numerical Applications. IFIP Congress 1983: 821-826 - Günther Krause:
Architectural and Functional Features of Matrix Module (MAMO). IFIP Congress 1983: 827-831
Applications - II
- N. C. Gupta:
System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study. IFIP Congress 1983: 833-838 - Michael Szabo, Dale H. Bent:
An Assessment of the State of the Art of Computer Based Learning Systems Design. IFIP Congress 1983: 839-845
Comparison of Concurrency Control Methods Using Analytic Models (Invited Paper)
- Kenneth C. Sevcik:
Comparison of Concurrency Control Methods Using Analytic Models. IFIP Congress 1983: 847-858
Algebra of Algorithms, Data Structures and Parallel Computation (Invited Paper)
- Alexander A. Letichevsky:
Algebra of Algorithms, Data Structures and Parallel Computation. IFIP Congress 1983: 859-864
Some Linear-Time Algorithms for Systolic Arrays (Invited Paper)
- Richard P. Brent, H. T. Kung, Franklin T. Luk:
Some Linear-Time Algorithms for Systolic Arrays. IFIP Congress 1983: 865-876
Educating the Information Generation (Invited Paper)
- Norman Longworth:
Educating the Information Generation. IFIP Congress 1983: 877-881
Process in Computer Networks (Invited Paper)
- Edward H. Sussenguth Jr.:
Process in Computer Networks. IFIP Congress 1983: 883-890
Impact of Computers on the Young and the Naive
- Marlene J. Colbourn, John McLeod:
The Potential and Feasibility of Computer Guided Educational Diagnosis. IFIP Congress 1983: 891-896 - Gérard A. Langlet:
LPA Programming, a New Tool for Education. IFIP Congress 1983: 897-899
Advances in the Exploitation of Sparsity (Invited Paper)
- John K. Reid:
Advances in the Exploitation of Sparsity. IFIP Congress 1983: 901-908
Logic Programming - II
- Jacques Corbin, Michel Bidoit:
A Rehabilitation of Robinson's Unification Algorithm. IFIP Congress 1983: 909-914 - Bengt Nordström, Kent Petersson:
Types and Specifications. IFIP Congress 1983: 915-920
Development of a Tracking and Data Acquisition System for Spacecraft (Invited Paper)
- Kenji Funakawa, Kazuhiko Yoneyama, Hideshi Kozawa:
Development of a Tracking and Data Acquisition System for Spacecraft. IFIP Congress 1983: 921-930
Compiler Development - II
- Gordon A. Rose, Tim Roper:
Generation of Program-Preparation Systems for Formatted Programming Languages. IFIP Congress 1983: 931-936 - Hans-Jörg Jäkel, Hans Loeper, H. Pietsch, G. Stiller:
A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler Technique. IFIP Congress 1983: 937-942
Man-Machine Methods for Solving Large-Scale Economic Planning Problems (Invited Paper)
- V. L. Makarov:
Man-Machine Methods for Solving Large-Scale Economic Planning Problems. IFIP Congress 1983: 943-950
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics (Invited Paper)
- Albert R. Meyer:
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics. IFIP Congress 1983: 951-961
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-10-31 00:54 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:
