Conferences in DBLP
Jean Ichbiah On The Design of ADA. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Schwartz , P. M. Melliar-Smith , Friedrich H. Vogt Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Clarence A. Ellis Formal and Informal Models of Office Activity. [Citation Graph (2, 0)][DBLP ] Conf ] S. Aggarwal , Robert P. Kurshan , Krishan K. Sabnani A Calculus for Protocol Specification and Validation. [Citation Graph (0, 0)][DBLP ] Conf ] A. I. Ilushin , A. N. Myamlin , V. S. Shtarkman Computer Network Software Design Based on Abstract Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Cohen , Jonathan B. Postel The Iso Reference Model and Other Protocol Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] S. Aggarwal , Robert P. Kurshan , D. Sharma A Language for the Specification and Analysis of Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Olive , Denis Rouquier A System Method for the Synthesis of Control Parts Defined by Grafcet. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Berthomieu , Miguel Menasche An Enumerative Approach for Analyzing Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Diaz , Géraldo Guidacci Da Silveira Specification and Validation of Protocols by Temporal Logic and Nets. [Citation Graph (0, 0)][DBLP ] Conf ] S. Aggarwal , Robert P. Kurshan Modelling Elapsed Time in Protocol Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Jiménez , Jose L. Navalón Automatic Vectorization of Printed Maps and Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] Hannu Peltola , Hans Söderlund , Jorma Tarhio , Esko Ukkonen Algorithms for Some String Matching Problems Arising in Molecular Genetics. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda An Example for Constructing Communicating Machines by Step-Wise Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Robert D. Selinger , A. M. Patlach , Eric D. Carlson The 925 Family of Office Workstations. [Citation Graph (0, 0)][DBLP ] Conf ] Mamoru Maekawa , Ken Sakamura , Chiaki Ishikawa , Tohru Shimizu Multimedia Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Rune Gustavsson , Björn Pehrson The Power of some Formal Models of Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Zanella Computing in High-Energy Physics: Facing a New Generation of Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Pehrson Abstraction by Structural Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] P. Economopoulos , Frederick H. Lochovsky A System for Managing Image Data. [Citation Graph (0, 0)][DBLP ] Conf ] Masao Sakauchi , Yutaka Ohsawa A New Interactive Geographical Information System Based on Effective Image-Type Map Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Stanislaw Budkowski , Elie Najm Structured Finite State Automata - A new approach for modelling distributed communications systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Erik Thorelli A Linker Allowing Hierarchic Composition of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Masaaki Shimasaki , Yoshitoshi Kunieda , Takao Tsuda Applications of Modern Programming Language Concept to Text Processing with a Large Charakter Set. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Logrippo "Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] André Bisseret Physiology for Man Computer Cooperation in Knowledge Processing. [Citation Graph (0, 0)][DBLP ] Conf ] A. Aquesbi , J. C. Bocquet , J. M. Fouet , S. Tichkiewitch , M. Reynier , P. Trau An Expert System for Computer Aided Mechanical Design. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Karjoth A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] U. Bussolati , Maria Grazia Fugini , Giancarlo Martella A Conceptual Framework for Security Systems: The Action-Entity Model. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Logic Programming. [Citation Graph (2, 0)][DBLP ] Conf ] Matti Anttila , Harri Eriksson , Jukka Ikonen , Raimo Kujansuu , Leo Ojala , Heikki Tuominen Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Bayer Database System Design for High Performance. [Citation Graph (3, 0)][DBLP ] Conf ] Bernd Walter Timed Petri-Nets for Modelling and Alalyzing Protocols with Real-Time Characteristics. [Citation Graph (1, 0)][DBLP ] Conf ] Rusins Freivalds Methods and Languages to Prove the Power of Probabilistic Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Menasche , Bernard Berthomieu Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Wiedermann Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuo Yamamura Automated Label Inspection Apparatus. [Citation Graph (0, 0)][DBLP ] Conf ] Lauri Vatjus-Anttila , Martti Karppinen , Samuli Saukkonen A Portable Data Logger for Severe Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Billington Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jiri Hoppe Remote Files for Lilith Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Bux , Bernd Meister , Johnny W. Wong Bridges for Interconnection of Ring Networks: A Simulation Study. [Citation Graph (0, 0)][DBLP ] Conf ] Alfs T. Berztiss , Norman E. Gibbs Computer Science and Computer Science Education. [Citation Graph (0, 0)][DBLP ] Conf ] Omar Rafiq , Jean-Pierre Ansart VADILOC - A Protocol Validator and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Sommerville Software Engineering - An Educational Challenge. [Citation Graph (0, 0)][DBLP ] Conf ] William L. Scherlis , Dana S. Scott First Steps Towards Inferential Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Alan E. Baratz , Adrian Segall A Reliable Link Initialization Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Tomihiro Matsumura Future Microprocessor Trends. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Eckert , Rainer Prinoth A Computation-System Based Method for Automated Proving of Protocols Against Services. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen W. Smoliar Software Specifications, Data Bases and Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Hullot A Multi-Formalism Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Carl A. Sunshine Experience with automated Protocol Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Demolombe How to Improve Performance of Relational DBMS. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Y. Montgomery , Daryl J. D'Souza , S. B. Lee The Cost of Relational Algebraic Operations on Skewed Data: Estimates and Experiments. [Citation Graph (5, 0)][DBLP ] Conf ] Deepinder P. Sidhu Protocol Verification via Executable Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey D. Ullman Universal Relation Interfaces for Database Systems. [Citation Graph (7, 0)][DBLP ] Conf ] Gerard Florin , Stéphane Natkin , A. Woog , J. Attal Quantitative Validation for Industrial Ethernet Local Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel C. Dennett Formulating Human Purposes - Meta-Engineering Computers for People. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Rudin From Formal Protocol Specification Towards Automated Performance Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Applicative Real-Time Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Ida , Jiro Tanaka Functional Programming with Streams. [Citation Graph (0, 0)][DBLP ] Conf ] Carver Mead VLSI and the Foundations of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Juanole , B. Algayres Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Huitric , Monique Nahas Computer Art with Rodin. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Zimmermann On Protocol Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] W. Ansaldi , C. Boccalini , M. Olobardi , A. M. Traverso Design of a Transport Layer Protocol for a Special Purpose LAN. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Fischer Nilsson On the Compilation of a Domain-Based Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] F. Mark Restorick Implementation of a Protocol in an Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Ciepielewski , Seif Haridi A Formal Model for Or-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Krumm , Oswald Drobnik Specification, Implementation, and Verification of Communication Services on the Basis of CIL. [Citation Graph (0, 0)][DBLP ] Conf ] S. Mahadevan , R. K. Shyamasundar Correctness Preserving Transformations for Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Victor N. Kasyanov Basis for Program Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Strom , Shaula Yemini Design, Implementation, and Validation of Secure Communications Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones Specification and Design of (Parallel) Programs. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Barzdin Some Rules of Inductive Inference and their Use for Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Ayache , Jean-Pierre Courtiat LC/1, A Specification and Implementation Language for Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Mili The Bottom up Analysis of While Statements: Strongest Invariant Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Blikle , Andrzej Tarlecki Naive Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Yechiam Yemini , Nihal Nounou CUPID: A Protocol Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Esen A. Ozkarahan Desirable Functionalities of Database Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann , Rob A. Beukers The Pandora Protocol Development System. [Citation Graph (0, 0)][DBLP ] Conf ] Georges Gardarin , Philippe Bernadat , Nicole Temmerman , Patrick Valduriez , Yann Viémont Design of a Multiprocessor Relational Database System. [Citation Graph (2, 0)][DBLP ] Conf ] Thomas P. Blumer , Deepinder P. Sidhu Experience with an Automated Protocol Development System. [Citation Graph (0, 0)][DBLP ] Conf ] Gene M. Amdahl Architectural Concepts for High-Performance, General-Purpose Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Daniel Nicoud Expectations of Standardization. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Ansart , V. Chari , D. Simon From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Møller-Nielsen , Jørgen Staunstrup Saturation in a Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Sachio Kamiya , Fumio Isobe , Hideo Takashima , Masaaki Takiuchi Practical Vectorization Techniques for the "Facom VP". [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Palazzo , P. Fogliata , Gesualdo Le Moli A Layer-Independent Architecture for a Testing System of Protocol Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Georges Mitaut , Daniel Duclos A Tool for Communication Protocols Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cole , Peter Lloyd A Flexible Architekture for Protocol Studies in a Multi-Network Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Michio Oyamaguchi Relationship Between Abstract and Concrete Implementations of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Gießler Testing and Diagnosis Aids for Higher Level Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Robson The Complexity of Go. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Takasu , Takako Nakahara Programming with Mathematical Thinking. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan Ural , Robert L. Probert User-Guided Test Sequence Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Sung Tang Toward a Unified Logic Basis for Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Lewis M. Branscomb , John C. Thomas Ease of Use: A System Design Challenge. [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Probert , Hasan Ural Requirements for a Test Specification Language for Protocol Implementation Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal K. Gupta Computing in the Developing Countries of Asia. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Billiard Methodology and Tools for Qualitative Protocols Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Takayasu Ito Regular Tree Expressions and Behaviors of Functional Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy Synchronous and Asynchronous Experiments on Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Robin M. S. Cork The Testing of Protocols in SNA Products - An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Barbuti , Alberto Martelli A Constructive Approach to Static Verification of Program Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Deransart Logical Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] George A. Harvey The Routing Certification System. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Aiken , Abdechahid Oualid Microcomputers as Educational Tools in Developing Countries. [Citation Graph (0, 0)][DBLP ] Conf ] G. W. Cowin , R. W. S. Hale , D. Rayner Protocol Product Testing - Some Comparisons and Lessons. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Moeller Pricing Computer Services. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph , Abha Moitra Co-Operative Recovery From Faults in Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Isabel Gouveia Lima , David Mundy , Philip C. Treleaven Decentralised Control Flow Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Amo , Ken-ichi Mori Applications of Artificial Intelligence Techniques to Office Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] D. Rayner Towards an Objective Understanding of Conformance. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Cholvy , Jack Foisseau ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Linn Jr. , W. H. McCoy Producing Tests for Implementations of OSI Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] B. Carriere , C. Cazalot , J. M. Dumas , P. M. Grojean , P. Leroy , F. Prunet A C.A.D. System for Process Control Based upon a Standard. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Reynolds Types, Abstraction and Parametric Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Linn Jr. , J. Stephen Nightingale Some Experience with Testing Tools for OSI Protocol Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Metcalfe Local Networking of Personal Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas K. W. Tsou , Lawrence V. Saxton , Vijay V. Raghavan , Jitender S. Deogun Consecutive Retrieval with Redundancy Organization of Clustered Files. [Citation Graph (0, 0)][DBLP ] Conf ] Yutaka Ohsawa , Masao Sakauchi The BD-Tree - A New N-Dimensional Data Structure with Highly Efficient Dynamic Characteristics. [Citation Graph (8, 0)][DBLP ] Conf ] John R. Gurd , Ian Watson Preliminary Evaluation of a Prototype Dataflow Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Jack B. Dennis , Willie Y.-P. Lim , William B. Ackerman The MIT Data Flow Engineering Model. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Barber , Peter de Jong , Carl Hewitt Semantic Support for Work in Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] Irene Kowarski , Christian Michaux MIDOC: A Microcomputer System for the Management of Structured Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Vaclav Dvorak , Imrich Rukovansky Efficient Implementation of Logic Control Algorithms on Microprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] L. Neel , M. Bailly , D. Tondeur Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas J. Belkin , Ralf-Dirk Hennings , Thomas Seeger Mass-Informatics and Their Implication for Everyday Life. [Citation Graph (0, 0)][DBLP ] Conf ] Tohru Moto-Oka , Kazuhiro Fuchi The Architectures in the Fifth Generation Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Charles B. Stabell , Anna Mette Fuglseth The D*2 Approach to Decision Support. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. D. Wilkie , Alberto O. Mendelzon Analysis and Translation of Entity-Relationship Database Schemas. [Citation Graph (6, 0)][DBLP ] Conf ] Véronique Donzeau-Gouge , Gilles Kahn , Bernard Lang , Bertrand Melese , Elham Morcos Outline of a Tool for Document Manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Takeshi Chusho , Tan Watanabe , Toshihiro Hayashi A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure Editor. [Citation Graph (0, 0)][DBLP ] Conf ] Bálint Dömölki , Péter Szeredi Prolog in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Schnell Implementation and Engineering of a Production-Oriented DBMS. [Citation Graph (0, 0)][DBLP ] Conf ] Starr Roxanne Hiltz Viewing Computing Systems Within a Social Context. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport What Good is Temporal Logic? [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Crepy , Bertrand Denoix , Francis Destombes , Gilbert Rouquie , Jean-Pierre Tubach Speech Processing on a Personal Computer to Help Deaf Children. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph-Jean Mariani , B. Prouts , Jean-Luc Gauvain , J. J. Gangolf A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to Speech Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Noriyoshi Okamoto , Osamu Nakamura , Toshi Minami Character Segmentation for Mixed-Mode Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Toshihiko Wakahara , Masao Hiroyama , Hiroshi Ogawa Facsimile Coputer Communication by Center-End Facsimile Communication Network. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Hattori , Minoru Koshino , Shigemi Kamimoto Three-Level Hierarchical Storage System for Facom M-380/382. [Citation Graph (0, 0)][DBLP ] Conf ] Jerome C. Huck , Michael J. Flynn Comparative Analysis of Computer Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio L. Furtado , Paulo A. S. Veloso , Marco A. Casanova A Grammatical Approach to Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Nicolas , Kioumars Yazdanian An Outline of BDGEN: A Deductive DBMS. [Citation Graph (12, 0)][DBLP ] Conf ] Murray Turoff , Starr Roxanne Hiltz Working at Home or Living in the Office. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Nisenholtz , Evangeline M. Morphos Information Technology and New Forms of Participation in the Narrative. [Citation Graph (0, 0)][DBLP ] Conf ] Alan F. Westin New Issues of Computer Privacy in the Eighties. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Le Lann On Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Salton , Edward A. Fox , Harry Wu An Automatic Environment for Boolean Information Retrival. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dadam , Peter Pistor , Hans-Jörg Schek A Predicate Oriented Locking Approach for Integrated Information Systems. [Citation Graph (3, 0)][DBLP ] Conf ] Shigeru Igarashi The nu-Conversion and an Analytic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Frederic E. Lamond Microprocessors as Agents of De-Industrialization. [Citation Graph (0, 0)][DBLP ] Conf ] Judith H. Hammond The Challenge of Change: Information Technology and the Community - An Australian Innovative Project. [Citation Graph (0, 0)][DBLP ] Conf ] M. Marcus , E. Moulhade , J. J. Roubière , P. Dumas , G. Du Roure MOBILE: An Office Automation Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] David Beech A Reference Model for Command and Response Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Philip A. Bernstein , Nathan Goodman , Vassos Hadzilacos Recovery Algorithms for Database Systems. [Citation Graph (6, 0)][DBLP ] Conf ] John V. Guttag , James J. Horning An Introduction to the Larch Shared Language. [Citation Graph (1, 0)][DBLP ] Conf ] Didier Bert Refinements of Generic Specifications with Algebraic Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Adelantado , Dominique Comte , Pierre Siron , Jean-Claude Syre A MIMID Supercomputer System for Large Scale Numerical Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Günther Krause Architectural and Functional Features of Matrix Module (MAMO). [Citation Graph (0, 0)][DBLP ] Conf ] N. C. Gupta System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Szabo , Dale H. Bent An Assessment of the State of the Art of Computer Based Learning Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth C. Sevcik Comparison of Concurrency Control Methods Using Analytic Models. [Citation Graph (1, 0)][DBLP ] Conf ] Alexander A. Letichevsky Algebra of Algorithms, Data Structures and Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard P. Brent , H. T. Kung , Franklin T. Luk Some Linear-Time Algorithms for Systolic Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Norman Longworth Educating the Information Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Edward H. Sussenguth Jr. Process in Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marlene J. Colbourn , John McLeod The Potential and Feasibility of Computer Guided Educational Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard A. Langlet , C. E. N. Saclay LPA Programming, a New Tool for Education. [Citation Graph (0, 0)][DBLP ] Conf ] J. K. Reid Advances in the Exploitation of Sparsity. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Corbin , Michel Bidoit A Rehabilitation of Robinson's Unification Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Nordström , Kent Petersson Types and Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Funakawa , Kazuhiko Yoneyama , Hideshi Kozawa Development of a Tracking and Data Acquisition System for Spacecraft. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon A. Rose , Tim Roper Generation of Program-Preparation Systems for Formatted Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] V. L. Makarov Man-Machine Methods for Solving Large-Scale Economic Planning Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer Understanding ALGOL: The View of a Recent Convert to Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] 