Conferences in DBLP
Dines Bjørner Software Development Graphs. A Unifying Concept for Software Development? [Citation Graph (0, 0)][DBLP ] Conf ] David S. Rosenblum , Sriram Sankar , David C. Luckham Concurrent Runtime Checking of Annotated Ada Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Amitabh Srivastava Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code. [Citation Graph (0, 0)][DBLP ] Conf ] Vishv M. Malhotra , Sanjeev Kumar Automatic Retargetable Code Generation: A New Technique. [Citation Graph (0, 0)][DBLP ] Conf ] S. Sridhar An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Lassez , Kim Marriott Explicit Representation of Terms Defined by Counter Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Vipin Kumar , Yow-Jian Lin A Framework for Intelligent Backtracking in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yellamraju V. Srinivas , Rajeev Sangal A Generalization of Backus' FP. [Citation Graph (0, 0)][DBLP ] Conf ] Christos H. Papadimitriou Shortest-Path Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Jayaram Bhaskar , Sartaj Sahni Via Assignment in Single Row Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash V. Ramanan , Kazuhiro Tsuga Average-Case Analysis of the Modified Marmonic Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Kannan , László Lovász Covering Minima and Lattice Point Free Convex Bodies. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Lakshmanan , C. E. Veni Madhavan Binary Decompositions and Acyclic Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier Thin Homogeneous Sets of Factors. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim von zur Gathen Irreducible Polynomials over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Kannan Basis Reduction and Evidence for Transcendence of Certain Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] S. R. Goregaokar , S. Arun-Kumar A Characterization of Asynchronous Message-Passing. [Citation Graph (0, 0)][DBLP ] Conf ] Ajoy Kumar Datta , Sukumar Ghosh Modular Synthesis of Deadlock-Free Control Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Inder S. Gopal , Parviz Kermani Distributed Resource Sharing in Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Rob Gerth , Liuba Shrira On Proving Communication Closedness of Distributed Layers. [Citation Graph (0, 0)][DBLP ] Conf ] H. Mohanty , G. P. Bhattacharjee A Distributed Algorithm for Edge-Disjoint Path Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Abha Moitra Scheduling of Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dorit S. Hochbaum , David B. Shmoys A Polynomial Approximation Scheme for Machine Scheduling on Uniform Processors: Using the Dual Approximation Approach. [Citation Graph (0, 0)][DBLP ] Conf ] László Lovász Connectivity Algorithms Using Rubber-bands. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Homer On Simple and Creative Sets in NP. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Paliath Narendran , Hantao Zhang Complexity of Sufficient-Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Umesh V. Vazirani , Vijay V. Vazirani Sampling a Population with a Semi-Random Source. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Gibbons , Wojciech Rytter An Optimal Parallel Algorithm for Dynamic Expression Evaluation and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Y. Pan , John H. Reif Extension of the Parallel Nested Dissection Algorithm to Path Algebra Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay V. Rajopadhye , S. Purushothaman , Richard Fujimoto On Synthesizing Systolic Arrays from Recurrence Equations with Linear Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh M. Verma , Krishnaprasad Thirunarayan , I. V. Ramakrishnan An Efficient Parallel Algorithm for Term Matching. [Citation Graph (0, 0)][DBLP ] Conf ] 