Conferences in DBLP
Erich J. Neuhold , Th. Olnhoff The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. [Citation Graph (2, 0)][DBLP ] Conf ] Maurice Nivat Non Deterministic Programs: An Algebraic Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz A. Brzozowski Developments in the Theory of regular Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna Logics of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michio Oyamaguchi , Yasuyoshi Inagaki , Namio Honda On the Equivalence Problem for Two DPDA's, One of which is Real-Time. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastiaan H. von Solms Random Context Array Grammmars. [Citation Graph (0, 0)][DBLP ] Conf ] Kari-Jouko Räihä , Esko Ukkonen Balancing Syntactic and Semantic Power in Compiler Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Yoeli , A. Ginzburg Control Nets for Parallel Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Enjalbert , Guy Cousineau Three Semantics: A Framework for Studying Program Structures and Program Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Udo W. Lipeck Proving Implementations Correct - Two Alternative Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Masali Nakagawa Specifying the Underlying Control Structures of Programming Languages in their Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Preben Folkjär , Dines Bjørner A Formal Model of a Generalized CSP-like Language. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Helmuth Partsch , Peter Pepper , Martin Wirsing Semantic Relations in Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tamás Gergely , László Úry Program Behaviour Specification through Explicit Time Consideration. [Citation Graph (0, 0)][DBLP ] Conf ] Alice Recoque Survey of Main Trends in Computer Hardware Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Terajima Recent Progress inMemory Devices and their Prospect. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Kodama , Jiro Yoshii , Ken-ichi Mori , Tsutomu Kawada The Japanese Word Processor JW-10. [Citation Graph (0, 0)][DBLP ] Conf ] Masatoshi Kubo , Yasushi Taguchi , Kiyoshi Agusa , Yutaka Ohno Multi-Microprocessor System for Three-Dimensional Color Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Goldberg SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control. [Citation Graph (0, 0)][DBLP ] Conf ] Alireza Kavianpour , Arthur D. Friedman Different Diagnostic Models for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sandy Leinwand , T. Lamdan Models of Control at Register Transfer Level. [Citation Graph (0, 0)][DBLP ] Conf ] Takanobu Baba , Ken Ishikawa , Kenzo Okuda , Hiroyuki Kobayashi MUNAP - A Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Comte , Nourredine Hifdi , Jean-Claude Syre The Data Driven LAU Multiprocessor System: Results and Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyoshi Shibayama , Shinji Tomita , Hiroshi Hagiwara , Katsuhiro Yamazaki , Toshiaki Kitamura Performance Evaluation and Improvement of a Dynamically Microprogrammable Computer with Low-Level Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. J. Maller Information Retrieval Using the Content Addressable File Store. [Citation Graph (1, 0)][DBLP ] Conf ] Ashoke Deb A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory Access. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Piloty , Mario Barbacci , Dominique Borrione , Donald L. Dietmeyer , Frederick J. Hill , Patrick Skelly An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Enn Tyugu Towards Practical Synthesis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John Cocke , Peter W. Markstein Measurement of Programming Improvement Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Vadim E. Kotov On Basic Parallel Language. [Citation Graph (0, 0)][DBLP ] Conf ] Harlan D. Mills Function Semantics for Sequential Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur J. Catto , John R. Gurd Nondeterministic Dataflow Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Teruo Hikita , Satoru Kawai Parallel Sieve Methods for Generating Prime Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Nagata , Teruo Akiyama , Yasutaka Fujikake An Interactive Supporting System for Functional Recursive Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Takeshi Chusho A Good Program = A Structured Program + Optimization Commands. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Bourret , Patrice Cros A Deterministic Model of Operating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alfons J. Jammel , Helmut G. Stiegler , Pavel Vogel Impacts of Message Orientation. [Citation Graph (0, 0)][DBLP ] Conf ] Kokichi Futatsugi , Koji Okada Specification Writing as Construction of Hierarchically Structured Clusters of Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer A Basis for the Constructive Approach to Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Reiji Nakajima , Taiichi Yuasa , Keiji Kojima The iota-Programming System - A Support System for Hieratchical and Modular Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Xu Jiafu , Chong Cuihao , N. V. Shulman , Fuqing Yang On the Design, Implementation and Use of the Systems Programming Language XCY. [Citation Graph (0, 0)][DBLP ] Conf ] Alain J. Martin A Distributed Implementation Method for Parallel Programming. [Citation Graph (0, 0)][DBLP ] Conf ] C. Gaude , J. Langet , S. Palassin , Claude Kaiser Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Barry W. Boehm Developing Small-Scale Application Software Products: Some Experiment Results. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Foisseau , René Jacquart , Michel Lemaître , Michel Lemoine , J. C. Vignat , Guy Zanon Programming Development with or without Coding. [Citation Graph (0, 0)][DBLP ] Conf ] A. Vaquero , José M. Troya Placement of Records on Linear Storage Devices. [Citation Graph (0, 0)][DBLP ] Conf ] James Leslie Keedy Paging and Small Segments: A Memory Management Model. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Gerhart , David R. Musser , David H. Thompson , D. A. Baker , R. L. Bates , Roddy W. Erickson , R. L. London , D. G. Taylor , David S. Wile An Overview of AFFIRM: A Specification and Verification System. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Kanoui , Michel Van Caneghem Implementing a very High Level Language on a very Low Cost Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald M. Kaplan , B. A. Sheil Adding Type Declarations to Interlisp. [Citation Graph (0, 0)][DBLP ] Conf ] Walter S. Brainerd , Jeanne Adams FORTRAN for the 1980s. [Citation Graph (0, 0)][DBLP ] Conf ] W. Frank King III Relational Database Systems: Where We Stand Today. [Citation Graph (4, 0)][DBLP ] Conf ] Charles W. Bachman The Impact Structured Data Throughout Computer-Based Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Janis A. Bubenko Jr. Information Modeling in the Context of System Development. [Citation Graph (16, 0)][DBLP ] Conf ] Claude Delobel An Overview of the Relational Data Theory. [Citation Graph (3, 0)][DBLP ] Conf ] Yuzuru Tanaka , Yukoo Nozaka , Akinari Masuyama Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer. [Citation Graph (2, 0)][DBLP ] Conf ] Syunsuke Uemura , Toshitsugu Yuba , Akio Kokubu , Ryoichi Ooomote , Yasuo Sugawara The Design and Implementaion of a Magnetic-Bubble Database Machine. [Citation Graph (1, 0)][DBLP ] Conf ] Kin-Man Chung , Fabrizio Luccio , C. K. Wong Magnetic Bubble Memory Structures for Efficient Sorting and Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Maly , Leonhard Kampa H-Trees. [Citation Graph (1, 0)][DBLP ] Conf ] Makoto Takizawa , Eiji Hamanaka Query Translation in Distributed Database. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dadam , Gunter Schlageter Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints. [Citation Graph (4, 0)][DBLP ] Conf ] Eric D. Carlson , Wolfgang Metz Integrating Dialog Management and Data Base Management. [Citation Graph (0, 0)][DBLP ] Conf ] S. Peter de Jong The System for Business Automation (SBA): A Unified Application Development System. [Citation Graph (2, 0)][DBLP ] Conf ] Michel E. Adiba , Juan M. Andrade , F. Fernandez , Gia Toan Nguyen An Overview of the Polypheme Distributed Database Management System. [Citation Graph (1, 0)][DBLP ] Conf ] Rudolf Munz Transaction Management in the Distributed Database System VDN. [Citation Graph (1, 0)][DBLP ] Conf ] Morton M. Astrahan , Mario Schkolnick , Won Kim Performance of the System R Access Path Selection Mechanism. [Citation Graph (13, 0)][DBLP ] Conf ] Hans-Jörg Schek On Index Intervals and Their Optimisation. [Citation Graph (1, 0)][DBLP ] Conf ] Stefano Ceri , Giuseppe Pelagatti , Giampio Bracchi Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Davenport Data Administration - The Need for a New Function. [Citation Graph (1, 0)][DBLP ] Conf ] Eric G. Manning , N. J. Livesey , Hideyuki Tokuda Interprocess Communication in Distributed Systems: One View. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Kirstein New Text and Message Services. [Citation Graph (1, 0)][DBLP ] Conf ] Alain G. Texier New Telecommunication Services and Network Architecture: A Tentative Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Inose Aspects of Data Communication and Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzetti A General Overview of the Olivetti Network File System. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Kleinrock , Yechiam Yemini Interfering Queueing Processes in Packet-Switched Broadcast Communication. [Citation Graph (0, 0)][DBLP ] Conf ] A. D. Le Rest , J. Blevanus , M. Ferragu NTI: International Gateway to TRANSPAC. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Johnson Identifying the Main Applications of Data Communications in Western Europe. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuyoshi Morino , Osamu Takahashi A Technique for Describing High-Level Data Link Control (HDLC) Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshikuni Onozato , Shoichi Noguchi Dynamic Characteristics of a Satellite Communication System Employing the Slotted Aloha Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Foley Optimum Design of Two-Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Haessig , Christian J. Jenny Partitioning and Allocating Computational Objects in Distributed Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Azéma , Bernard Berthomieu , Paul Decitre The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Hosaker N. Mahabala , Mudambi R. Muralidharan Pseudo-Ternary Coding to Incorporate checking without a Parity. [Citation Graph (0, 0)][DBLP ] Conf ] Richard P. Brent Unrestricted Algorithms for Elementary and Special Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony C. Hearn The Personal Algebra Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Freeman Lines, Curves, and the Characterization of Shape. [Citation Graph (0, 0)][DBLP ] Conf ] Teuvo Kohonen Automatic Pattern Recognition - A Challenge to Computer Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Yu. G. Evtushenko , Yu. Pavlovsky Integrated Optimization - Simulation System for Industry and Regional Planning. [Citation Graph (0, 0)][DBLP ] Conf ] B. R. Borgerson , R. H. Johnson Beyond CAD to Computer Aided Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] A. I. Acil'diev The Method of Normal Solutions in Linear Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Guri I. Marchuk , Valeri P. Il'in Parallel Computations in Grid Methods for Solving Mathematical Physics Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Benoit David , Yvon Gardan , J. Mermet CAD in Small and Medium Sized Industries. [Citation Graph (0, 0)][DBLP ] Conf ] Asbjørn Rolstadås , Peter Falster Prototyping Factory Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] O. Kato , T. Fujita , M. Niwa , T. Morishita , J. Tanahashi A Handwriting Input System for Japanese. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Berthod , Olivier D. Faugeras Using Context in the Global Recognition of a Set of Objects: An Optimization Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Toyoaki Nishida , Shuji Doshita A Knowledge-Based Literature Guide System - A NEw Approach to Document Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Dincbas A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Albrecht Survey of Recent Results on Composite Integration Methods for Ordinary Differential Equation, Especially Cyclic Methods. [Citation Graph (0, 0)][DBLP ] Conf ] C. William Gear Automatic Multirate Methods for Ordinary Differential Equation. [Citation Graph (0, 0)][DBLP ] Conf ] Owe Axelsson , I. Gustafsson A Preconditioned Conjugate Gradient Method for Finite Element Equations, which is Stable for Rounding Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Gambolati , Giampiero Volpi An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned Systems. [Citation Graph (0, 0)][DBLP ] Conf ] V. V. Zhurin , F. G. Tcheremissine Recent Advances in the Numerical Solution of the Boltzmann Equation. [Citation Graph (0, 0)][DBLP ] Conf ] J. D. Lawson , David A. Swayne High-Order Near Best Uniform Approximations to the Solution of Heat Conduction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Giovanna Giordano Structural Knowledge for the Recognition of Syllables in Continuous Speech. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Hernan , Javier Jiménez Image Analysis of Experimental Data in Turbulence. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Szyperski Organizational Response to Changes in Information Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Salmona Information Systems, Develoment and Structural Changes. [Citation Graph (0, 0)][DBLP ] Conf ] Howard L. Morgan Research and Practice in Office Automation. [Citation Graph (2, 0)][DBLP ] Conf ] David F. Stevens Some Cautionary Aphorisms for User-Oriented Computer Management. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Gabay , Marc Guillaume Computers in Economic Policy-Making: Challenging Advances in Computer Systems and Econometric Models. [Citation Graph (0, 0)][DBLP ] Conf ] Csaba Gergely , László Háklár , Helmuth Kraenzlein The Financial System in Hungary, Based on a Three Level Equipment Hierarcy. [Citation Graph (0, 0)][DBLP ] Conf ] Jun-ichiro Yokoyama , Akira Fukuda Prescription Order Service in Kanto Teishin Hospital Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Alan R. Tyson South Australian Land Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Bas K. Brussaard , Peter A. Tas Information and Organization Policies in Public Administration. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Nepomiastchy MODULECO: Software for Macroeconomic Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Barros , Alejandro Gomez Decision Support Systems for Economic Policy Analysis in a Market Oriented Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Roderick A. Matthews Trends in User-Oriented Software within the U.K. Central Electricity Generating Board. [Citation Graph (0, 0)][DBLP ] Conf ] Philip M. Stanley A Design Approach to the Audit of Computer Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Steinmüller Rationalisation and Modellification: Two Complementary Implications of Information Technologies. [Citation Graph (0, 0)][DBLP ] Conf ] C. C. Gotlieb Computer - A Gift of Fire. [Citation Graph (0, 0)][DBLP ] Conf ] Brian M. Murphy The Development of the British, French and German Native Computer Industries, 1960 - 1978. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Gallouedec Genuys The Impact of Computerization on the Relationship between Administration and the Citizen. [Citation Graph (0, 0)][DBLP ] Conf ] W. F. Smyth , N. W. N. Jayasiri The Encouragement of Effective Computer Use in Developing Countries. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimír Vrecion Some Basic Applications of Computering in the Law-Making Process. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila M. Blackmore A Computer Training Scheme for the Disabled. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce I. Blum , Richard J. Johns Computer Technology and Medical Costs. [Citation Graph (0, 0)][DBLP ] Conf ] T. J. Lincoln Information Systems Constraints - A Strategic Review. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Cohen-Hadria Automation, Organizational Choices and Social Effects: The Case of the Cement Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce Gilchrist Computers and Employment: The U. S. Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Jürg Nievergelt Computer Science Education: An Emerging Consensus on Basic Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Educating the Programmer: Notation, Proofs and the Development of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ian D. G. Macleod , J. J. Jackson , John B. Eulenberg A Multisensory Electronic System for Developing Handwriting Skills with Blind Trainees. [Citation Graph (0, 0)][DBLP ] Conf ] Waltraud Schweikhardt A Computer Based Education System for the Blind. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Pagès , Dominique Gremillet , Andreas Horst A General Structure for Building Personalized Information: An Alternative Approach to Computer Aided Education. [Citation Graph (0, 0)][DBLP ] Conf ] Ghassan A. Kubba The Impact of Computers on Arabic Writing, Character Processing and teaching. [Citation Graph (0, 0)][DBLP ] Conf ] D. R. Thomas , R. B. Maguire Computers and Education: A Remote Learning Application. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Haefner The Concept of an Integrated System for Information Access and Telecommunication (ISIT) and its Impact on Education in the 80s. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred R. Klopprogge , Peter C. Lockemann Teaching Systems Analysis and Planning in Informatics: A Practical Course. [Citation Graph (0, 0)][DBLP ] Conf ] Yukuo Isomoto , Keiichi Yamagata , Tadashi Ishiketa A Computer-Aided Advising System for FORTRAN Program Debugging: ADVISOR. [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Papert Redefining Childhood: The Computer Presence as an Experiment in Developmental Psychology. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon Pask The Limits of Togetherness. [Citation Graph (0, 0)][DBLP ] Conf ] Theodor Holm Nelson Replacing the Printed Word: A Complete Literay System. [Citation Graph (1, 0)][DBLP ] Conf ] Alan C. Kay User Interface Design in the Smalltalk Computing System (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Chris Schmandt Soft Typography. [Citation Graph (0, 0)][DBLP ] Conf ] Osamu Ishii Feasibility Experiments on Versatile Information Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher F. Herot A Spatial Graphical Man-Machine Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Hunter Teleconference in Virtual Space. [Citation Graph (0, 0)][DBLP ] Conf ] Sherry Turkle Personal Computaion and Personal Meanings. [Citation Graph (0, 0)][DBLP ] Conf ] John Pollard , Glen Campbell Using a Home Microcomputer to Teach a Dyslexic Child to Read. [Citation Graph (0, 0)][DBLP ] Conf ] 