Conferences in DBLP
David E. Muller , Paul E. Schupp , Ahmed Saoudi On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf S. Schoepke Using the Entropy in the SPARC Instruction Set. [Citation Graph (0, 0)][DBLP ] Conf ] Dwight D. Griffin , Erich Schmitt Domain Compression of Incompletely Specified Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Shih-Yih Wang , Lih-Hsing Hsu Maximum and Minimum Matchings for Series-Parallel Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Natasa Jonoska Spinal Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Guoliang Xue , Shangzhi Sun , J. Ben Rosen Minimum Time Message Transmission in Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand M. T. Lin , Shian-Shyong Tseng Resource-Requirment Minimization in Relocation Problems with Precedence Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt J. Nilsson , Sven Schuierer Shortest m -Watchmen Routes for Histograms: The MinMax Case. [Citation Graph (0, 0)][DBLP ] Conf ] Y. H. Chang , Jia-Shung Wang , Richard C. T. Lee Generating All Maximal Independent Sets on Trees in Lexicographic Order. [Citation Graph (0, 0)][DBLP ] Conf ] Shietung Peng , A. B. Stephens , Yelena Yesha Algorithms for a K-Tree Core of a Tree. [Citation Graph (0, 0)][DBLP ] Conf ] N. Chandrasekharan , Sridhar Hannenhalli Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Vergauwen , Johan Lewi Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Si-Qing Zheng An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Laura A. Sanchis Counting and Generating Integer Partitions in Parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Ho Huang , Nen-Fu Huang , Wen-Tsuen Chen Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Drabent What is Failure? Or: Constructive Negation by Fail Answers. [Citation Graph (0, 0)][DBLP ] Conf ] Karl R. Abrahamson , Michael R. Fellows , Christopher B. Wilson Parallel Self-Reducibility. [Citation Graph (0, 0)][DBLP ] Conf ] Errol L. Lloyd , Subramanian Ramanathan On the Complexity of Distance-2 Coloring. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Foster The Generic Oracle Hypothesis Fails. [Citation Graph (0, 0)][DBLP ] Conf ] Amiya Nayak , Linda Pagli , Nicola Santoro Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Estivill-Castro Move-to-End is Best for Double-Linked Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Wang , Luc Longpré Nondeterministic and Alternating Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Duncan Innes Searching with a Lie Using Only Comparison Questions. [Citation Graph (0, 0)][DBLP ] Conf ] Hamdy S. Soliman , John B. Johnston Dynamic Genericity in Imperative Languages: Example in CML. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng Yu , Qingyu Zhuang , Kai Salomaa Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Olariu , W. Shen , Larry Wilson Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Constantine N. K. Osiakwan , Selim G. Akl An Efficient Parallel Algorithm for the Assignment Problem on the Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Kam-Wing Ng , Hong Va Leong A Visual Concurrent LISP Environment and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaohua Jia Efficient Directory Management for Distributed Naming. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamad R. Neilforoshan-Dardashti , Reda A. Ammar , Tahany A. Fergany Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section. [Citation Graph (0, 0)][DBLP ] Conf ] Theodore Johnson , Timothy A. Davis Space Efficient Parallel Buddy Memory Management. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Fagerström , Peter Fritzson , Johan Ringström , Mikael Pettersson A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sajal K. Das , Amit K. Banerjee Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Brian A. Malloy , Errol L. Lloyd , Mary Lou Soffa A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Weiren Ding , Laurie J. Hendren SELSYN-C: A Self-Synchronizing Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Dariusz Turlej , Roman Podraza , Krzysztof Piorun Unraveling Mechanisms in Vesicular Dataflow Model. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiyong Liu , Jia-Huai You , Xiaobo Li Conflict-Free Routing on Hypercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Subramonian Writing Sequential Programs for Parallel Processors: Implementation Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Berthomé K-Selection in Hypercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Toru Imai Detecting More Independent Loops across Hierarchical Structures. [Citation Graph (0, 0)][DBLP ] Conf ] C. S. Yang , Y. M. Tsai , C. Y. Liu Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers. [Citation Graph (0, 0)][DBLP ] Conf ] Selim G. Akl , Michel Cosnard , Afonso Ferreira Revisiting Parallel Speedup Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Shashank S. Nemawarkar , Ramaswamy Govindarajan , Guang R. Gao , Vinod K. Agarwal Performance Evaluation of Latency Tolerant Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Patterson Matrix Multiplication on a Toroidal Parallel Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr W. Prószynski On Operational Equivalence of COSY Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Farhad Arbab , Ivan Herman , P. Spilling Interaction Management of a Window Manager in Manifold. [Citation Graph (0, 0)][DBLP ] Conf ] Moon-Chuen Lee , Hong Va Leong NLUS - A Prolog-Based Natural Language Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Gwo-Jen Hwang Knowledge Elicitation and Integration from Multiple Experts. [Citation Graph (0, 0)][DBLP ] Conf ] Bronislaw M. Wawrzynkiewicz Application of Expert System to the Evaluation of Project Alternatives. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Grysa , Andrzej Lenarcik , Zdzislaw Piasta , Ewa Ramocka , Maciej Sekalski Questionnaire Analysis by Decision Algorithm Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Lenarcik , Zdzislaw Piasta , Mateusz Masternak Probabilistic Approach to Attributes Coding in the Rough Sets Theory. [Citation Graph (0, 0)][DBLP ] Conf ] V. Richard Benjamins , Ameen Abu-Hanna , Wouter N. H. Jansweijer Criteria for Dynamic Method Selection in Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Shie-Jue Lee , David A. Plaisted Use of Unit Clauses and Clause Splitting in Automatic Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoyou Zhou Construct an Object-Oriented Constraint Logic for Explanation Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Rattikorn Hewett , Krishnamurthy Ganesan Consistent Linear Speedup in Parallel Alpha-Beta Search. [Citation Graph (0, 0)][DBLP ] Conf ] Tzung-Pei Hong , Shian-Shyong Tseng Comparison of ID3 and Its Generalized Version. [Citation Graph (0, 0)][DBLP ] Conf ] M. Wilscy , N. Parameswaran A Distributed Production System for Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Kumar Tadepalli , N. Parameswaran Multiagent Planning Using a Reason Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Brazdil , Ivan Bruha A Method of Processing Unknown Attribute Values by ID3. [Citation Graph (0, 0)][DBLP ] Conf ] Coco Djossou A Client-Server Based Architecture for Communication between Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Scott D. Goodwin Inheritance and Specificity II: Reference Class Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Howard J. Hamilton , J. Michael Dyck Using the IIPS Framework to Specify Machine-Discovery Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Jian-Yun Nie Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II. [Citation Graph (0, 0)][DBLP ] Conf ] S. K. Michael Wong , Lusheng Wang , Yiyu Yao Non-Numeric Belief Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin L. Chen , Von-Wun Soo An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese. [Citation Graph (0, 0)][DBLP ] Conf ] Li An Yuan , Abdel Aziz Farrag Reduction of Constraint Networks Based on Local Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Zalewski AI in Real Time: Is This Feasible? [Citation Graph (0, 0)][DBLP ] Conf ] Bruce R. Ebanks , Waldemar Karwowski , Krzysztof Ostaszewski Application of Measures of Fuzziness to Risk Classification in Insurance. [Citation Graph (0, 0)][DBLP ] Conf ] Rattikorn Hewett Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-Tsai Liu , Shi-Kuo Chang A Visual Specification Model for Evolutionary Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. Tamer Özsu , Youping Niu Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Kane-Esrig , Lynn A. Streeter , G. Casella , W. Keese The Relevance Density Method in Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Wouter B. Teeuw , Henk M. Blanken Methodology to Implement an Amoeba Complex Object Server. [Citation Graph (0, 0)][DBLP ] Conf ] Rodolfo F. Resende , Amr El Abbadi A Graph Testing Concurrency Control Protocol for Object Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Barker A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Fuyau Lin , Rob Langsner Integrating CASE Tools with Knowledge-Base by Object Orientation. [Citation Graph (0, 0)][DBLP ] Conf ] Shie-Jue Lee A Self-Guided Theorem Proving System. [Citation Graph (0, 0)][DBLP ] Conf ] Walcélio L. Melo , Noureddine Belkhatir , Jacky Estublier Using Modeling and Control in Adele System. [Citation Graph (0, 0)][DBLP ] Conf ] Soon Myoung Chung , Khalid A. Elghayesh A Heterogeneous Distributed Database System Based on Extended Relational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Looges High-Speed Querying with the DAP 510. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Steinke An Approach to Achieving Multiuser Integrity in a Knowledge Base System. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhisa Yokota , Masaaki Hashimoto , Masakazu Sato An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy , Richard G. Hamlet Self-Checking against Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nader H. Bshouty , Geoffrey T. Falk Compression of Dictionaries via Extensions to Front Coding. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo , Christoph F. Eick Rules in an Extended C++. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuji Kobayashi A Fingerprint Image Recognition Method for Network User Identification. [Citation Graph (0, 0)][DBLP ] Conf ] Young Man Kim , Dik Lun Lee An Optimal Multilevel Signature File for Large Databases. [Citation Graph (0, 0)][DBLP ] Conf ] M. W. Orlowski An Algorithm for Maintenance of Functional Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Farshad Fotouhi , Abad A. Shah , William I. Grosky Complex Objects in the Temporal Object System. [Citation Graph (0, 0)][DBLP ] Conf ] Cyril U. Orji , Jon A. Solworth Write-Only Disk Cache Experiments on Multiple Surface Disks. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Freund , Brigitte Haberstroh , Christian Stary Applying Graph Grammars for Task-Oriented User Interface Development. [Citation Graph (0, 0)][DBLP ] Conf ] Keng Siau , K. P. Tan , Hock Chuan Chan Visual Database Interface for End User Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Ke Wang , Li-Yan Yuan Enforce Constraints in Archival Databases. [Citation Graph (0, 0)][DBLP ] Conf ] M. V. Ramakrishna A Simple Perfect Hashing Method for Static Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Hac A Switching Architecture for Congestion Control in High-Speed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Bettaz , Mourad Maouche , Moussa Soualmi , Madani Boukebeche Using ECATNets for Specifying Communication Software in the OSI Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Alois P. Heinz On the Complexity of Maintaining Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled A. Aly , Patrick W. Dowd Reconfigurable Optically-Interconnected Parallel Computer Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] X. Li , Richard Lai , Tharam S. Dillon Theory of Deductive Systems for Protocol Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Constantine Stivaros A Measure of Fault Tolerance for Distributed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Siu-Cheung Chau , Weining Zhang , Arthur L. Liestman Fault Tolerance for Multistage Interconnection Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Zhonghua Yang , T. Anthony Marsland Global Snapshots for Distributed Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Eric E. Johnson , Roy S. Moore , John T. Polson Evaluation of Futurebus+ for a GMMP Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Bauer , Arin Zahalka Search Operations on Distributed Directories. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Maly , Frank Paterra , C. Michael Overstreet , Ravi Mukkamala , Sanjeev Khanna Concurrent Use of Parallel Communication to Enable Remote Visualization. [Citation Graph (0, 0)][DBLP ] Conf ] Yanchun Zhang , Maria E. Orlowska Parallel Reduction of a Chain Query in Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Ingels , Carlos Maziero , Michel Raynal A Distributed Kernel for Virtual Time Driven Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Richard T. Hurley , James P. Black , J. W. Wong Modeling and Investigation of a Primitive File Transfer Operation. [Citation Graph (0, 0)][DBLP ] Conf ] Mahender Nelakonda , Masaaki Mizuno , Mitchell L. Neilsen A Distributed Algorithm for Parameterized Semaphore Operations. [Citation Graph (0, 0)][DBLP ] Conf ] A. B. Stephens , Yelena Yesha , Keith E. Humenik Optimal Allocation for Partially Replicated Database Systems on Ring Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Shyan-Ming Yuan , Chin-Juan Chen Fault-tolerant CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Becher , G. M. Solvie An Integrate Approach to Satisfy Application Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] 