Algorithms for trie compaction
ACM Transactions on Database Systems (TODS)
Increasing robustness in global adaptive quadrature through interval selection heuristics
ACM Transactions on Mathematical Software (TOMS)
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
AND/OR graph heuristic search methods
Journal of the ACM (JACM)
Database partitioning in a cluster of processors
ACM Transactions on Database Systems (TODS)
Set query optimization in distributed database systems
ACM Transactions on Database Systems (TODS)
An Array Layout Methodology for VLSI Circuits
IEEE Transactions on Computers
A public key cryptosystem based on the word problem
Proceedings of CRYPTO 84 on Advances in cryptology
Recursion versus non-recursion in Pascal: recursion can be faster
ACM SIGPLAN Notices
Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults
IEEE Transactions on Computers
Algorithms to Process Distributed Queries in Fast Local Networks
IEEE Transactions on Computers
Fault-Tolerant Single-Stage Interconnectiohl Networks
IEEE Transactions on Computers
Multilayered illiac network scheme
ACM SIGARCH Computer Architecture News
A DAG clustering algorithm for design configurations
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Data allocation in distributed database systems
ACM Transactions on Database Systems (TODS)
Layer Assignment Problem for Three-Layer Routing
IEEE Transactions on Computers
Learning Dominance Relations in Combined Search Problems
IEEE Transactions on Software Engineering
Concurrent Access of Priority Queues
IEEE Transactions on Computers
Clustering a DAG for CAD Databases
IEEE Transactions on Software Engineering
Algorithms for Multidimensional Partitioning of Static Files
IEEE Transactions on Software Engineering
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
The design of a traffic control expert system for long distance network contingencies
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network
IEEE Transactions on Software Engineering
Transputers + virtual tree kernel = real speedups
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Polycyclic Vector scheduling vs. Chaining on 1-Port Vector supercomputers
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
An experimental study of methods for parallel preconditioned Krylov methods
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Via Assignment in Single-Row Routing
IEEE Transactions on Computers
The Parallel Assignment Problem Redefined
IEEE Transactions on Software Engineering
All example of using pseudofields to eliminate version shuffling in horizontal code compaction
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Two-level grammars as a technique for formalizing programming schemes
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
IEEE Transactions on Computers
A Framework for the Automated Drawing of Data Structure Diagrams
IEEE Transactions on Software Engineering
Integrating Region Growing and Edge Detection
IEEE Transactions on Pattern Analysis and Machine Intelligence
Efficient Algorithms for Selection of Recovery Points in Tree Task Models
IEEE Transactions on Software Engineering
A transistor reordering technique for gate matrix layout
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Dynamic prediction of critical paths and nets for constructive timing-driven placement
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Comments on an Optimal Set of Indices for a Relational Database
IEEE Transactions on Software Engineering
Cognitive Fit: An Empirical Study of Recursion and Iteration
IEEE Transactions on Software Engineering
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Solving the n-queens problem using genetic algorithms
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
Slow sorting: a whimsical inquiry
ACM SIGCSE Bulletin
Selection of search terms based on user profile
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Unstructured tree search on SIMD parallel computers: a summary of results
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
On the circuit implementation problem
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The OODB path-method generator (PMG) using precomputed access relevance
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A critical review of the notion of algorithm in computer science
CSC '93 Proceedings of the 1993 ACM conference on Computer science
NP-Hard Module Rotation Problems
IEEE Transactions on Computers
Isomorphism and the N-Queens problem
ACM SIGCSE Bulletin
Dynamic programming for pennies a day
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Folding a stack of equal width components
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Self-adaptive, on-line reclustering of complex object data
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Algorithmic aspects of three dimensional MCM routing
DAC '94 Proceedings of the 31st annual Design Automation Conference
The role of dynamic programming & control structures in performance
APL '95 Proceedings of the international conference on Applied programming languages
ACM SIGACT News
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Optimal folding of standard and custom cells
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Embedding and Reconfiguration of Binary Trees in Faulty Hypercubes
IEEE Transactions on Parallel and Distributed Systems
Structural gate decomposition for depth-optimal technology mapping in LUT-based FPGA design
DAC '96 Proceedings of the 33rd annual Design Automation Conference
A New Methodology for Gray-Scale Character Segmentation and Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
A parallel two-list algorithm for the knapsack problem
Parallel Computing
Assignment of storage values to sequential read-write memories
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Post-compaction register assignment in a retargetable compiler
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
IEEE Transactions on Parallel and Distributed Systems
A framework for supporting previewing and VCR operations in a low bandwidth environment
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Processor Assignment and Execution Sequence for Multiversion Software
IEEE Transactions on Computers
Sorting, Selection, and Routing on the Array with Reconfigurable Optical Buses
IEEE Transactions on Parallel and Distributed Systems
Techniques for empirical testing of parallel random number generators
ICS '98 Proceedings of the 12th international conference on Supercomputing
Behavioral synthesis of analog systems using two-layered design space exploration
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Average-case analysis of off-line and on-line knapsack problems
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Simulated annealing and combinatorial optimization
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Adaptive information system design: one query at a time
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Query-processing optimization strategies: feasible vs optimal solutions
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Parallel VLSI computation of all shortest paths in a graph
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An implementation of the Vernian Cipher for file security
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Partial Precedence Constrained Scheduling
IEEE Transactions on Computers
Time-space tradeoffs for tree search and traversal
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Construction through decomposition: a divide-and-conquer algorithm for the N-queens problem
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A least cost partition algorithm
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Journal of VLSI Signal Processing Systems
ACM Computing Surveys (CSUR)
Digital filter synthesis based on minimal signed digit representation
Proceedings of the 38th annual Design Automation Conference
Efficient and precise array access analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Getting the most from an algorithms design course: a personal experience
ACM SIGCSE Bulletin
An approximation algorithm for a file-allocation problem in a hierarchical distributed system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Query optimization for CODASYL database systems
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Data Partitioning for Parallel Spatial Join Processing
Geoinformatica
Efficient processing of relational calculus expressions using range query theory
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Storage Management in Virtual Tree Machines
IEEE Transactions on Computers
A Hybrid Neural Network Model for Solving Optimization Problems
IEEE Transactions on Computers
Deleting Vertices to Bound Path Length
IEEE Transactions on Computers
An Approach to Designing Very Fast Approximate String Matching Algorithms
IEEE Transactions on Knowledge and Data Engineering
Learning Concepts in Parallel Based Upon the Strategy of Version Space
IEEE Transactions on Knowledge and Data Engineering
On the Complexity of Distributed Query Optimization
IEEE Transactions on Knowledge and Data Engineering
Efficient Bulk-Loading of Gridfiles
IEEE Transactions on Knowledge and Data Engineering
VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Job Scheduling in a Partitionable Mesh Using a Two-Dimensional Buddy System Partitioning Scheme
IEEE Transactions on Parallel and Distributed Systems
Fibonacci Cubes-A New Interconnection Topology
IEEE Transactions on Parallel and Distributed Systems
On the Efficiency of Parallel Backtracking
IEEE Transactions on Parallel and Distributed Systems
Evaluation of a Parallel Branch-and-Bound Algorithm on a Class of Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Unstructured Tree Search on SIMD Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems
IEEE Transactions on Software Engineering
A practical approach to solving a newspaper logistics problem using a digital map
Computers and Industrial Engineering - Supply chain management
PARA '02 Proceedings of the 6th International Conference on Applied Parallel Computing Advanced Scientific Computing
Functional Logic Design Patterns
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Multi-way Spatial Joins Using R-Trees: Methodology and Performance Evaluation
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
An Architecture for the Transport of IP Telephony Services
ICN '01 Proceedings of the First International Conference on Networking-Part 2
The OODB path-method generator (PMG) using access weights and precomputed access relevance
The VLDB Journal — The International Journal on Very Large Data Bases
MEQA3 - a multi-end QoS application adaptation architecture
Information processing and technology
Parallel functional programming at two levels of abstraction
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Genetic algorithms vs. greedy algorithms in the optimization of course scheduling
Journal of Computing Sciences in Colleges
Parallelism abstractions in eden
Patterns and skeletons for parallel and distributed computing
Clustering in massive data sets
Handbook of massive data sets
Self-stabilizing multicast protocols for ad hoc networks
Journal of Parallel and Distributed Computing - Special issue on wireless and mobile ad hoc networking and computing
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
The complexity of design automation problems
DAC '80 Proceedings of the 17th Design Automation Conference
A survey of resource allocation methods in optimizing microcode compilers
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A linear-time algorithm for a special case of disjoint set union
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On routing for custom integrated circuits
DAC '82 Proceedings of the 19th Design Automation Conference
Integrating knowledge in problem solving search procedures
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Multilevel Factorization Technique for Pass Transistor Logic
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Optimal Multi-Path End-to-End Data Transmission in Networks
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Cost Effective Mobile Agent Planning for Distributed Information Retrieval
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A new algorithm for transistor sizing in CMOS circuits
EURO-DAC '90 Proceedings of the conference on European design automation
Integer partitions and the Sperner property
Theoretical Computer Science - Selected papers in honor of Lawrence Harper
Parallel program performance prediction using deterministic task graph analysis
ACM Transactions on Computer Systems (TOCS)
ACM SIGCSE Bulletin
A framework for teaching recursion
ACM SIGCSE Bulletin
A two-layer library-based approach to synthesis of analog systems from VHDL-AMS specifications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An adaptable vertical partitioning method in distributed systems
Journal of Systems and Software
Iterative-improvement-based declustering heuristics for multi-disk databases
Information Systems
Building IMS synthetic workloads
ACM SIGMETRICS Performance Evaluation Review
A cost-reducing question-selection algorithm for propositional knowledge-based systems
Annals of Mathematics and Artificial Intelligence
Parallel functional programming in Eden
Journal of Functional Programming
Online ascending auctions for gradually expiring items
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Statistical technology mapping for parametric yield
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
IEEE Transactions on Parallel and Distributed Systems
Journal of Parallel and Distributed Computing
An efficient synchronization model for OpenMP
Journal of Parallel and Distributed Computing
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
Object and method exploration for embedded systems applications
Proceedings of the 20th annual conference on Integrated circuits and systems design
Binary Trees and Parallel Scheduling Algorithms
IEEE Transactions on Computers
The Binary Tree as an Interconnection Network: Applications to Multiprocessor Systems and VLSI
IEEE Transactions on Computers
Abstractions for Node Level Passive Fault Detection in Distributed Systems
IEEE Transactions on Computers
Divide-and-Conquer for Parallel Processing
IEEE Transactions on Computers
Multiple Fault Diagnosis in Combinational Circuits Based on an Effect-Cause Analysis
IEEE Transactions on Computers
An Expression Model for Extraction and Evaluation of Parallelism in Control Structures
IEEE Transactions on Computers
Genetic evolutionary algorithm for static traffic grooming to SONET over WDM optical networks
Computer Communications
A Design of Automatic Visualizations for Divide-and-Conquer Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
The architecture of MANIP: a parallel computer system for solving NP-complete problems
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Benchmarking graph-based clustering algorithms
Image and Vision Computing
Association based immune network for multimodal function optimization
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Test Points Selection for Analog Fault Dictionary Techniques
Journal of Electronic Testing: Theory and Applications
Active learning of greedy algorithms by means of interactive experimentation
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
DD* lite: efficient incremental search with state dominance
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Parallel iterative A* search: an admissible distributed heuristic search algorithm
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Preprocessing search spaces for branch and bound search
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Bidirectional best-first search with bounded error: summary of results
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Design of low-rate irregular LDPC codes using trellis search
IEEE Transactions on Communications
Assessing the performance of a graph-based clustering algorithm
GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition
A test points selection method for analog fault dictionary techniques
Analog Integrated Circuits and Signal Processing
Multiuser cooperative multiplexing with interference suppression in wireless relay networks
IEEE Transactions on Wireless Communications
The design and coding of greedy algorithms revisited
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
Maximum information stored in a labeled connected network with minimum edges
Journal of Global Optimization
Parallel performance evaluation of multithreaded local sequence alignment
Proceedings of the 12th International Conference on Computer Systems and Technologies
A two state reduction based dynamic programming algorithm for the bi-objective 0-1 knapsack problem
Computers & Mathematics with Applications
A graph-based method for detecting and classifying clusters in mammographic images
SSPR'06/SPR'06 Proceedings of the 2006 joint IAPR international conference on Structural, Syntactic, and Statistical Pattern Recognition
Scalable parallel minimum spanning forest computation
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Instantly turning a naive exhaustive search into three efficient searches with pruning
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Topological arrangements of M/G/c/K, M/G/c/c queues in transportation and material handling systems
Computers and Operations Research
Computers & Mathematics with Applications
An approach to wide area WDM optical network design using genetic algorithm
Computer Communications
A New Optimal Test Node Selection Method for Analog Circuit
Journal of Electronic Testing: Theory and Applications
Autonomous database partitioning using data mining on single computers and cluster computers
Proceedings of the 16th International Database Engineering & Applications Sysmposium
Pruning with improving sequences in lazy functional programs
Higher-Order and Symbolic Computation
Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm
Computational Optimization and Applications
Proceedings of the 17th International Database Engineering & Applications Symposium
An Experimental Method for the Active Learning of Greedy Algorithms
ACM Transactions on Computing Education (TOCE)
Hi-index | 0.06 |