Conferences in DBLP
Eric C. R. Hehner What's Wrong With Formal Programming Methods? [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Probert Computer Science and Communications Protocols: Research Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen J. Smith Reaping the Benefits of Mass Production with Massively Parallel Computing - Four Example Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Chen Hung , Gen-Huey Chen On the Quickest Path Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Estivill-Castro , Derick Wood Practical Adaptive Sorting. [Citation Graph (0, 0)][DBLP ] Conf ] Nader H. Bshouty Lower Bounds for Algebraic Computation Trees of Functions with Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] James Haralambides , Fillia Makedon Approximation Algorithms for the Bandwidth Minimization Problem for a Large Class of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Aris M. Ouksel , Anan Yaagoub The Interpolation-Based Bintree and its Application to Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Carlisle , Errol L. Lloyd On the k-Coloring of Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Ali A. Kooshesh , Bernard M. E. Moret Folding a Triangulated Simple Polygon: Structural and Algorithmic Results. [Citation Graph (0, 0)][DBLP ] Conf ] Tony W. Lai , Derick Wood A Relationship Between Self-Organizing Lists and Binary Search Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Cameron , Derick Wood How Costly Can Red-Black Trees Be? [Citation Graph (0, 0)][DBLP ] Conf ] Helen Cameron , Derick Wood Balance in AVL Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Cosnard , Afonso Ferreira A Tight Lower Bound for Selection in Sorted X+Y. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Levcopoulos , Andrzej Lingas Greedy Triangulation Approximates the Optimum and Can Be Implemented in Linear Time in the Average Case. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Raman Generating Random Graphs Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Rival , Siming Zhan Linear Extensions with Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Jindong Chen , Yijie Han Storing Shortest Paths for a Polyhedron. [Citation Graph (0, 0)][DBLP ] Conf ] Kok-Phuang Tan , T. C. Tan An Improved Join Dependency for Efficient Constraint Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jiawei Han On the Power of Query-Independent Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Anestis A. Toptsis Parallel Transitive Closure Computation in Highly Scalable Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo , Malcolm C. Taylor Methods and Tools for Integrating Database Systems and Object-Oriented Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ke Wang , Li-Yan Yuan Incremental Database Design Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Dik Lun Lee , Wai Yee Peter Wong Partial Document Ranking by Heuristic Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Li Yu , Sylvia L. Osborn Context Inheritance and Content Inheritance in an Object-Oriented Data Model. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo , Ralph P. Tucci , David W. Embley Graphical Specification of Recursive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Michio Nakanishi , Yoshiki Katsuyama , Minoru Ito , Akihiro Hashimoto On Designing Relational Database Schemes for Efficient Query Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Eltoweissy , Nagwa M. El-Makky , M. Abougabal , Souheir A. Fouad The Mean Value Approach to Performance Evaluation of Time-Stamp Ordering Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Budi Yuwono , Dik Lun Lee A Backend Text Retrieval Machine for Signature-Based Document Ranking. [Citation Graph (0, 0)][DBLP ] Conf ] Piyush Maheshwari Partitioning and Scheduling of Parallel Functional Programs Using Complexity Information. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Mittal , Bijendra N. Jain , Rakesh K. Patney Subtree Availability in Binary Tree Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Ip-Wang Chan , Donald K. Friesen An Optimal Parallel Algorithm for the Vertical Segment Visibility Reporting Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Siu-Cheung Chau , Arthur L. Liestman A Fault-Tolerant Binary Tree Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Lih-Hsing Hsu , Jones J. J. Wang Undordered Tree Contraction. [Citation Graph (0, 0)][DBLP ] Conf ] Chang-Biau Yang , Richard C. T. Lee , Wen-Tsuen Chen Conflict-Free Sorting Algorithms Under Single-Channel and Multi-Channel Broadcast Communication Models. [Citation Graph (0, 0)][DBLP ] Conf ] Ke Qiu , Henk Meijer , Selim G. Akl Parallel Routing and Sorting of the Pancake Network. [Citation Graph (0, 0)][DBLP ] Conf ] Eric S. Kirsch , Jean R. S. Blair Practical Parallel Algorithms for Chordal Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Chen Logarithmic Time NC Algorithms for Comparability Graphs and Circle Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred J. Boals , Ajay K. Gupta , Jahangir A. Hashmi , Naveed A. Sherwani Compact Hypercubes: Properties and Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiyong Liu , Jia-Huai You Increasing Communication Bandwidth on Hypercube. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Herman , Laurent Trilling Programming a Parallel Sort Using Distributed Procedure Calls. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Krizanc A Note on Off-Line Permutation Routing on a Mesh-Connected Processor Array. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Frédéric Myoupo A Fully-Pipelined Solutions Constructor for Dynamic Programming Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Baumslag On the Fault-Tolerance of Quasi-Minimal Cayley Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sajal K. Das , Calvin Ching-Yuen Chen , Gene Lewis , Sushil K. Prasad Some Fast Parallel Algorithms for Parentheses Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Rong Lin , Stephan Olariu A Simple Optimal Parallel Algorithm to Solve the Lowest Common Ancestor Problem. [Citation Graph (0, 0)][DBLP ] Conf ] S. Biswas , Amitabha Sanyal , L. M. Tewari Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ben Rosen , Guoliang Xue Sequential and Distributed Algorithms for the All Pairs Quickest Path Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred J. Boals , Ajay K. Gupta , Jahangir A. Hashmi , Naveed A. Sherwani An Efficient Approximation Algorithm for Hypercube Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Olariu , C. Michael Overstreet , Zhaofang Wen An Optimal Parallel Algorithm to Reconstruct a Binary Tree from its Traversals. [Citation Graph (0, 0)][DBLP ] Conf ] Hee Yong Youn An Efficient Multiprocessor Architecture for Image Processing in VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Pradip K. Srimani Generalized Fault Tolerance Properties of Star Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] B. Gopinath , Ambuj K. Singh , Prem Uppaluru A Formal Description of the IC* Model of Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Satyendra P. Rana An Efficient Algorithm for Quiescence Detection in a Distributed System. [Citation Graph (0, 0)][DBLP ] Conf ] C. Murray Woodside , Shikharesh Majumdar , John E. Neilson Interval Arithmetic for Computing Performance Guarantees in Client-Server Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ghasem S. Alijani , Horst Wedde Enhanced Reliability in Scheduling Critical Tasks for Hard Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Reda A. Ammar , Ping Zhang A Design and Modeling Environment to Develop Real-Time, Distributed Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wanlei Zhou , Brian Molinari On the Management of Remote Procedure Call Transactions. [Citation Graph (0, 0)][DBLP ] Conf ] Lefteris M. Kirousis , Paul G. Spirakis , Philippas Tsigas Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps. [Citation Graph (0, 0)][DBLP ] Conf ] Osman ZeinElDine , Mohamed Eltoweissy , Ravi Mukkamala A Distributed Scheduling Algorithm for Heterogeneous Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal A Distributed Solution to the k-out of-M Resources Allocation Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Wedde , Douglas C. Daniels , Dorota M. Huizinga Efficient Distributed Resource Scheduling for Adaptive Real-Time Operation Support. [Citation Graph (0, 0)][DBLP ] Conf ] Uma Bhattacharya , Swapan Bhattacharya Mapping of Fault-Tolerant Permutations in Omega. [Citation Graph (0, 0)][DBLP ] Conf ] Abhay B. Bulsari , Henrik Saxén Artificial Neural Networks for Predicting Silicon Content in Raw Iron From Blast Furnaces. [Citation Graph (0, 0)][DBLP ] Conf ] Abhay B. Bulsari , Bjørn Saxén , Henrik Saxén A Chemical Reactor Selection Expert System Created by Training an Artificial Neural Network. [Citation Graph (0, 0)][DBLP ] Conf ] Rattikorn Hewett A Modeling Technique for Generating Causal Explanations of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Leixuan Yang , Stan Szpakowicz Planning in Conceptual Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia Cerrito , Waldemar Karwowski , Krzysztof Ostaszewski Empirical Study of the Meaning of the Hedge "VERY". [Citation Graph (0, 0)][DBLP ] Conf ] M. A. Nait Abdallah Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Eugeniusz Eberbach Neural Network Processing Elements as a New Generation of "Flip-Flops". [Citation Graph (0, 0)][DBLP ] Conf ] Li-Yan Yuan , Jia-Huai You , Cheng Hui Wang A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Yan Yuan On Semantics, Syntactics and Fixpoints of General Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Anup Basu , Xiaobo Li A Framework for Variable -Resolution Vision. [Citation Graph (0, 0)][DBLP ] Conf ] V. Sundararajan , Hitesh N. Dholakia , N. Parameswaran An RMS for Temporal Reasoning with Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] 