Quantifier elimination in the theory of an algebraically-closed field
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Logarithmic time cost optimal parallel sorting is not yet fast in practice!
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Automatic test generation using quadratic 0-1 programming
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Parallel Quicksort in hypercubes
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A parallel algorithm for the minimum spanning tree on an SIMD machine
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
On parallel complexity of integer linear programming, GCD and the iterated mod function
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
Compiling machine-independent parallel programs
ACM SIGPLAN Notices
Parallel algorithms column 1: models of computation
ACM SIGACT News
Data parallel programming: a transition from serial to parallel computing
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A survey of PRAM simulation techniques
ACM Computing Surveys (CSUR)
A bibliography on parallel parsing
ACM SIGPLAN Notices
ACM SIGACT News
Parallel robust algorithms for constructing strongly convex hulls
Proceedings of the twelfth annual symposium on Computational geometry
Better trade-offs for parallel list ranking
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
RCN algorithms for the uniform generation of combinatorial structures
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Parallel Parsing Algorithms for Static Dictionary Compression
IEEE Transactions on Parallel and Distributed Systems
A Simple Parallel Algorithm to Draw Cubic Graphs
IEEE Transactions on Parallel and Distributed Systems
Finding a Hamiltonian paths in tournaments on clusters - a provably communication-efficient approach
Proceedings of the 2001 ACM symposium on Applied computing
Cost-Optimal Parallel Algorithms for the Tree Bisector and Related Problems
IEEE Transactions on Parallel and Distributed Systems
Grid-enabled parallel divide-and-conquer: theory and practice
Proceedings of the 2002 ACM symposium on Applied computing
Optimal tiling for the RNA base pairing problem
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
Optimal BSR Solutions to Several Convex Polygon Problems
The Journal of Supercomputing
Fast parallel heuristics for the job shop scheduling problem
Computers and Operations Research
An Optimal Implementation of Broadcasting with Selective Reduction
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Parallel Algorithms for the Longest Common Subsequence Problem
IEEE Transactions on Parallel and Distributed Systems
Efficient EREW PRAM Algorithms for Parentheses-Matching
IEEE Transactions on Parallel and Distributed Systems
Robust algorithms for constructing strongly convex hulls in parallel
Theoretical Computer Science
Improving the efficiency of parallel minimum spanning tree algorithms
Discrete Applied Mathematics - Special issue: Special issue devoted to the fifth annual international computing and combinatories conference (COCOON'99) Tokyo, Japan 26-28 July 1999
An approximation algorithm for the minimum common supertree problem
Nordic Journal of Computing
Accelerating the CKY Parsing Using FPGAs
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Parallel Algortithms for Hamiltonian 2-Separator Chordal Graphs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Distributed Simulated Annealing for Job Shop Scheduling
PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
A Skeleton for Parallel Dynamic Programming
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Time and Energy Optimal List Ranking Algorithms on the k -Channel Broadcast Communication Model
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Algorithms on Compressed Strings and Arrays
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
P-Hardness of Equivalence Testing on Finite-State Processes
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
A Generic Greedy Algorithm, Partially-Ordered Graphs and NP-Completeness
WG '01 Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science
A Parallel Context-Free Derivation Hierarchy
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
PVM Computation of the Transitive Closure: The Dependency Graph Approach
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Arithmetic Design for Permutation Groups
CHES '99 Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems
List-ranking on interconnection networks
Information and Computation
A time-optimal solution for the path cover problem on cographs
Theoretical Computer Science
Parallel algorithms for the static dictionary compression
DCC '95 Proceedings of the Conference on Data Compression
Computer algebra handbook
Proceedings of the 1st conference on Computing frontiers
The language intersection problem for non-recursive context-free grammars
Information and Computation
Embedded real-time architecture for level-set-based active contours
EURASIP Journal on Applied Signal Processing
Parallel algorithm for finding the minimum edges to build a strongly connected directed graph
MATH'07 Proceedings of the 12th WSEAS International Conference on Applied Mathematics
An Optimal Parallel Algorithm for Finding All Hinge Vertices of a Circular-Arc Graph
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
An Optimal Parallel Algorithm for Constructing a Spanning Forest on Trapezoid Graphs
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Boolean circuit programming: A new paradigm to design parallel algorithms
Journal of Discrete Algorithms
Wave Propagation and Deep Propagation for Pointer Analysis
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Parallel algorithm for finding an Eulerian path in an undirected graph
MATH'08 Proceedings of the 13th WSEAS international conference on Applied mathematics
DPSKEL: a skeleton based tool for parallel dynamic programming
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Algorithms and theory of computation handbook
Parallel computation: models and complexity issues
Algorithms and theory of computation handbook
Efficient hardware algorithms for n choose k counters
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
GPU-ABiSort: optimal parallel sorting on stream architectures
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A cost optimal parallel quicksorting and its implementation on a shared memory parallel computer
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Efficient longest common subsequence computation using bulk-synchronous parallelism
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Reasoning about data-parallel pointer programs in a modal extension of separation logic
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A bibliography on computational molecular biology and genetics
Mathematical and Computer Modelling: An International Journal
Computing maximum hamiltonian paths in complete graphs with tree metric
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
An optimal parallel prefix-sums algorithm on the memory machine models for GPUs
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
A logic of probabilistic knowledge and strategy
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Diagnosability in concurrent probabilistic systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |