Conferences in DBLP
C. A. R. Hoare The Mathematics of Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gul Agha , Carl Hewitt Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] S. Ramesh , S. L. Mehndiratta A New Class of High Level Programs for Distributed Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Devendra Kumar A Class of Termination Detection Algorithms For Distributed Computation. [Citation Graph (1, 0)][DBLP ] Conf ] Alberto Marchetti-Spaccamela New Protocols for the Election od a Leader in a Ring. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Ghezzi , Dino Mandrioli , Antonio Tecchio Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Mandayam K. Srivas PROLOG-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Armbruster On the Calling Behaviour of Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Shankar M. Venkatesan Approximation Algorithms for Planar Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrajit L. Bajaj Geometric Optimization and Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Veenstra Deriving Object Octree from Images. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Richard J. Waldinger Deduction with Relation Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Finn Verner Jensen , Kim Guldstrand Larsen Recursively Defined Domains and Their Induction Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Samit Khosla , T. S. E. Maibaum , M. R. Sadler Large Database Specification from Small Views. [Citation Graph (0, 0)][DBLP ] Conf ] G. Venkatesh A Decision Method for Temporal Logic Based on Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Rani Siromoney , V. Rajkumar Dare A Generalization of the Parikh Vector for Finite and Infinite Words. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Lakshmanan , C. E. Veni Madhavan The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] K. Vidyasankar A Simple Characterization of Database Serializability. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat Partial correctness semantics for CP [ , | , &]. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark A Proof Technique for Rely/Guarantee Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel A Complete System for SCCS with Modal Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Arvind Demand-Driven Evaluation on Dataflow Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Jose M. Mata Design and Implementation for a Procedural VLSI Layout. [Citation Graph (0, 0)][DBLP ] Conf ] Kam-Hoi Cheng , Sartaj Sahni VLSI Systems For Matrix Multiplication. [Citation Graph (0, 0)][DBLP ] Conf ] S. Lakshmivarahan , Sudarshan K. Dhall Parallel Algorithms for Solving Certain Classes of Linear Recurrences. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak D. Sherlekar , Shaunak Pawagi , I. V. Ramakrishnan O(1) Parallel Time Incremental Graph Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen , Umesh V. Vazirani , Vijay V. Vazirani NC Algorithms for Comparability Graphs, Interval Gaphs, and Testing for Unique Perfect Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Y. Pan Fast and Efficient Parallel Algorithms for the Exact Inversion of Integer Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] 