Conferences in DBLP
David W. Krumme Algorithms and Complexity - Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Dung T. Huynh , Lu Tian On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Estivill-Castro , Derick Wood An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin E. Flannery Lambda-Calculi with Decidable Cappa-Type Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Mariana Kant The Synthesis of Two Compatible Rooted Trees in a Rooted Supertree by an Algorithm on Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Madhav V. Marathe , Harry B. Hunt III , S. S. Ravi Efficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Dipti S. Joshi , R. Sridhar , N. Chandrasekharan Efficient Algorithms for All-Pairs Shortest Path Problem on Interval, Directed Path, and Circular-Arc Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth W. Regan On the Difference Between Turing Machine Time and Random-Access Machine Time. [Citation Graph (0, 0)][DBLP ] Conf ] H. K. Dai Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentrators. [Citation Graph (0, 0)][DBLP ] Conf ] H. K. Dai The Complexity of Deciding Strictly Non-Blocking Concentration and Generalized-Concentration Properties with Small Depth. [Citation Graph (0, 0)][DBLP ] Conf ] Lane A. Hemachandra , Albrecht Hoene , Mitsunori Ogiwara , Alan L. Selman , Thomas Thierauf , Jie Wang Selectivity. [Citation Graph (0, 0)][DBLP ] Conf ] Kok-Phuang Tan , Ghim Hwee Ong , Seng Chuan Tay An O(n log2 n) Hybrid Sorting Algorithm on 2-D Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Huade Li , Francis Suraweera Far Field Path Planning for Rotorcraft NOE Missions in a Mountainous Region. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Oudshoorn , Chris D. Marlin Interpretive Language Implementation from a Layered Operational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Ganesh Baliga , Anil M. Shende On Space Bounded Server Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Dahlhaus An Efficient Parallel Recognition Algorithm of Parity Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] James Abello , Krishna Kumar , Ömer Egecioglu A Combinatorial View of Visibility Graphs of Simple Polygons. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao You Zhou , W. A. Davis Analysis of Windowing Operations or R+ Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Ke Wang , Weining Zhang , Siu-Cheung Chau Minimize Linear Mutual Recursion by Rule Unfolding. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Flatebo , Ajoy Kumar Datta Self-Stablizing Fault Location. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Krumme Distributed Computing - Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hardjono , Tadashi Ohta Fixed-Path Proxy-Logins with Assured Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Keizo Kawata , Akira Takura , Tadashi Ohta On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. [Citation Graph (0, 0)][DBLP ] Conf ] Richard T. Hurley , Soon Aun Yeap , J. W. Wong , James P. Black Potential Benefits of File Migration in a Heterogeneous Distributed File System. [Citation Graph (0, 0)][DBLP ] Conf ] Jianxun Ding , Hong Jiang Impact of Priority-Based ATM Switch Design on System Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew F. Watts , David H. Pitt , Colin Smythe Object Oriented Specification of Multi-Layered Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Osman ZeinElDine , Mohamed Eltoweissy , Hussein M. Abdel-Wahab BUS: A Multicasting Protocol for Interconnected LANs. [Citation Graph (0, 0)][DBLP ] Conf ] Siu-Cheung Chau On Implementing Large Fault-Tolerant Binary Tree Architecture in WSI. [Citation Graph (0, 0)][DBLP ] Conf ] X. Li , Richard Lai , Tharam S. Dillon A New Decomposition Method to Relieve the State Space Explosion Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Dung T. Huynh , Hai N. Nguyen On the Rearrangeability of Switching Networks Composed of Digital Symmetrical Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Vaidy S. Sunderam DCL: Protocols and Primitives for Distributed and Concurrent Computing in Networked Environments. [Citation Graph (0, 0)][DBLP ] Conf ] James Z. Zhou , Masaaki Mizuno , Gurdip Singh A Sequentially Consistent Distributed Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] James W. Hong , Michael A. Bauer , John A. O'Neill Design and Implementation of a Distributed Applications Testbed. [Citation Graph (0, 0)][DBLP ] Conf ] Shun Yan Cheung , Vaidy S. Sunderam Performance of Barrier Synchronization Methods in a Multi-Access Network. [Citation Graph (0, 0)][DBLP ] Conf ] Sridhar Hannenhalli , Kalyan S. Perumalla , N. Chandrasekharan , R. Sridhar A Distributed Algorithm for Ear Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Ismail H. Toroslu , Lawrence J. Henschen An Efficient Transitive Closure Algorithm for Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Cousin Differential Hashing Functions: Application to Reachability Graph Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Dag Johansen A Distributed Approach to the Design of Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hosame Abu-Amara , Arkady Kanevsky On the Complexities of the Leader Election Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Constantine Stivaros Solvable Classes for Reliable Network Allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Langston Concurrency and Parallelism - Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Xining Li , He Huang On the Concurrency of C++. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Cérin , Catherine Dufourd , Jean Frédéric Myoupo An Efficient Parallel Solution for the Longest Increasing Subsequence Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Stojmenovic Job Simulation Techniques on Incomplete and Gray Code Incomplete Hypercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Eric E. Johnson Independent Performance Modeling of Parallel Architectures and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Weichang Du Context Parallelism in an Indexical Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Shi-Jinn Horng Parallel Compting Dominators on Hypercube Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Bolignano , Mourad Debbabi A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Dawn N. Jutla , Peter Bodorik , J. Spruce Riordon Integrated Concurrency-Coherence Control in Distributed Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] F. Choi , I. W. Chan A Simple Optimal Parallel Dicitionary Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Chung-Kwong Yuen , Ming-Dong Feng , Jenn-Jong Yee Speculative Parallelism in BaLinda Lisp. [Citation Graph (0, 0)][DBLP ] Conf ] Dipak Pravin Doctor , Ivan Hal Sudborough Parallel Algorithm for Quadtree Medial Axis Transform. [Citation Graph (0, 0)][DBLP ] Conf ] Tahany A. Fergany , Reda A. Ammar , Mohamad R. Neilforoshan-Dardashti Optimizing the Time Cost of the Parallel Structures with a Limited Number of Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Anestis A. Toptsis B** -Tree: A Data Organization Method for High Storage Utilization. [Citation Graph (0, 0)][DBLP ] Conf ] Anestis A. Toptsis B*** -Tree: A Family of Efficient Data Packaging Multiway Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Grzymala-Busse Artificial Intelligence - Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Pawan Lingras Combination of Evidence in Rough Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Ng , Gregory Butler Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Shie-Jue Lee , Chih-Hung Wu Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Estivill-Castro The Design of Competitive Algorithms via Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Delisle , Terry Copeck , Stan Szpakowicz , Ken Barker Pattern Matching for Case Analysis: A Computational Definition of Closeness. [Citation Graph (0, 0)][DBLP ] Conf ] Adil Kabbaj , Claude Frasson Dynamic Integration of Knowledge in Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Hung Wu , Shie-Jue Lee An Object-Oriented Expert System for Local Area Network Design. [Citation Graph (0, 0)][DBLP ] Conf ] Eugeniusz Eberbach , Piotr W. Prószynski The CSA Approach to Knowledge Representation in Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Walter A. Sedelow Jr. , Sally Yeates Sedelow Interlinguae. [Citation Graph (0, 0)][DBLP ] Conf ] Sally Yeates Sedelow , Walter A. Sedelow Jr. The Concept concept. [Citation Graph (0, 0)][DBLP ] Conf ] John Brady Structural and Behavioral Representations in Roget's International Thesaurus. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Kent , John Brady Formal Concept Analysis with Many-Sorted Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Bagai , Vasant Shanbhogue , Jan M. Zytkow , Shang-Ching Chou Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] James Abello , Anne Houang , James Russell A Hierarchy of Pattern Recognition Algorithms for the Diagnosis of Sucker Rod Pumped Wells. [Citation Graph (0, 0)][DBLP ] Conf ] Alois P. Heinz , Christoph Hense Botstrap Learning of Alpha-Beta-Evaluation Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Y. Yao Interval-Set Algebra for Qualitative Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Marimin , Robert E. Mercer , J. M. Carroll Designing a Stochastic Parameter Reasoner. [Citation Graph (0, 0)][DBLP ] Conf ] Kia Makki , Ken Been , Niki Pissinou A Parallel Algorithm for the Steiner Tree Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Nga Kwo Liu Formal Description and Verification of Knowledge Base Redundancy and Subsumption. [Citation Graph (0, 0)][DBLP ] Conf ] Pradip K. Srimani Software Engineering and Information Technology - Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Boogaard , Jonas M. de Graaff , René J. Veldwijk Why Views Do Not Provide Logical Data Independence. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Lefering A Framework for Incremental Integration Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Bouras , Paul G. Spirakis The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Yang , Mike P. Papazoglou Case-Based Reasoning Methodology for Analyzing Multi-Database Schemas. [Citation Graph (0, 0)][DBLP ] Conf ] Lilian Harada , Naoki Akaboshi Evaluation of Linear Join Processing Trees in Shared-Nothing Database Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Sieglinde Stainer , Stefan Biffl , Thomas Grechenig The Descriptor Theory - What is about?. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Bailes , Ming Gong , Andrew Moran Why Functional Languages Really Need Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Zapp , Ken Barker The Serializability of Transactions in Object Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo , Ralph P. Tucci , David W. Embley , Stephen W. Liddle Graphical Query Specification with Participation Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Soon Myoung Chung , Khalid A. Elghayesh A Timestamp-Based Concurrency Control Algorithm for Heterogeneous Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Soon Myoung Chung , C. N. Ravikiran A Heterogeneous Distributed Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Jian-Yun Nie , François Paradis , Jean G. Vaucher Using Information Retrieval for Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel K. C. Chan , David J. Harper , Philip W. Trinder An Object-Oriented Data Model Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Eltoweissy , Hussein M. Abdel-Wahab , M. Abougabal , Nagwa M. El-Makky , Souheir A. Fouad Performance Analysis of Time-Stamp Ordering Algorithms in Database Systems: The Pure Restarts Case. [Citation Graph (0, 0)][DBLP ] Conf ] Guttorm Sindre , Even-André Karlsson , Tor Stålhane A Method for Software Reuse Through Large Component Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Anneliese von Mayrhauser , A. Marie Vans From Code Comprehension Model to Tool Capabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. France , Thomas W. G. Docker Towards CASE Tool Support for Rigorous Structured Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hee Beng Kuan Tan , Tok Wang Ling , Yin Seong Ho Improving the Reusability of Program Specification Through Data Flow Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Franco Arcieri , Stefano Ercoli , Enrico Nardelli The GeoSQL Language for the Manipulation of Geographical Data. [Citation Graph (0, 0)][DBLP ] Conf ] Sunil Choenni , Henk M. Blanken , Thiel Chang Index Selection in Relational Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofang Zhou , Maria E. Orlowska Parallel Naive and Semi-Naive Transitive Closure Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Barry Eaglestone , G. L. Davies , T. Ungvary An Extended Version Model for Artistic Design Applications. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. Girardi , Bertrand Ibrahim A Software Reuse System Based on Natural Language Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Mohand Boughanem , R. Layaida , A. Caron A Neural Network Model for Documentary Base Self-Organising and Querying. [Citation Graph (0, 0)][DBLP ] Conf ] Aarthi Prasad , E. K. Park AI-Based Classification and Retrieval of Reusable Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Bailes , Dan B. Johnston , Eric J. Salzman Preprocessing First-Class Functions for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Chen , René Schott Optimal Operations on Red-Black Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Corriveau , Bill Macready On Driving and Monitoring Smalltalk-80 Applications Using Unix Spreadsheets. [Citation Graph (0, 0)][DBLP ] Conf ] Xuemin Lin , Maria E. Orlowska , Yanchun Zhang On Data Allocation with the Minimum Overall Communication Costs in Distributed Database Design. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet A. Orgun , William W. Wadge , Weichang Du Chronolog (Z): Linear-Time Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kleanthis Psarris , David Klappholz Eliminating Unnecessary Array Bounds Checks in Nests of Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Merlet , Corinne Nadalin Multimedia Databases Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Soutou Towards a Methodology for Developing a Federated Database System. [Citation Graph (0, 0)][DBLP ] Conf ] C. Y. Roger Chen , Kingsley C. Nwosu , P. Bruce Berra Modeling and Storage Allocation Strategies for Homogeneous Parallel Access Storage Devices in Real Time Multimedia Information Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Chin Cheng , Le Gruenwald , Greg Ingels , M. T. Thakkar Evaluating Partitioning Techniques for Main Memory Database: Horizontal and Single Vertical. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-Tsai Liu , Shi-Kuo Chang , Panos K. Chrysanthis An Entity-Relationship Approach to Schema Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuko Oka , Shuichiro Yamamoto , Sadahiro Isoda Consistency Management for Software Design Information Repository. [Citation Graph (0, 0)][DBLP ] Conf ] 