Optimism and consistency in partitioned distributed database systems
ACM Transactions on Database Systems (TODS)
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A sufficient condition for backtrack-bounded search
Journal of the ACM (JACM)
A model curriculum for a liberal arts degree in computer science
Communications of the ACM - The MIT Press scientific computation series
Multigrid Algorithms on the Hypercube Multiprocessor
IEEE Transactions on Computers
Multiattribute hashing using Gray codes
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Elimination algorithms for data flow analysis
ACM Computing Surveys (CSUR)
Mapping data flow programs on a VLSI array of processors
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Processor allocation in an N-cube multiprocessor using gray codes
IEEE Transactions on Computers
Improved techniques for processing queries in full-text systems
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
Topological Properties of Hypercubes
IEEE Transactions on Computers
Gray Codes for Partial Match and Range Queries
IEEE Transactions on Software Engineering
Heuristic algorithms for distributed query processing
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Facet: A procedure for the automated synthesis of digital systems
25 years of DAC Papers on Twenty-five years of electronic design automation
HAL: A multi-paradigm approach to automatic data path synthesis
25 years of DAC Papers on Twenty-five years of electronic design automation
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Branch-and-bound algorithms on a hypercube
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Prefix algorithms for tridiagonal systems on hypercube multiprocessors
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Expressing Boolean cube matrix algorithms in shared memory primitives
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Journal of the ACM (JACM)
Backtrack search with isomorph rejection and consistency check
Journal of Symbolic Computation
A file structure supporting traversal recursion
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Evaluation of Quantization Error in Computer Vision
IEEE Transactions on Pattern Analysis and Machine Intelligence
Clustered multiattribute hash files
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Task migration in hypercube multiprocessors
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Dilation d embedding of a hyper-pyramid into a hypercube
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Matrix multiplication on the connection machine
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
A radix-2 FFT on connection machine
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Optimum Broadcasting and Personalized Communication in Hypercubes
IEEE Transactions on Computers
Analysis and Implementation of Branch-and-Bound Algorithms on a Hypercube Multicomputer
IEEE Transactions on Computers
IEEE Transactions on Pattern Analysis and Machine Intelligence
Parallel Graph Algorithms Based Upon Broadcast Communications
IEEE Transactions on Computers
Routing multiple paths in hypercubes
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Architectural improvements for data-driven VLSI processing arrays
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Subcube Allocation and Task Migration in Hypercube Multiprocessors
IEEE Transactions on Computers
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
An optional hypercube direct N-body solver on the connection machine
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Functional Fault Simulation as a Guide for Biased-Random Test Pattern Generation
IEEE Transactions on Computers
RIDDLE: A Foundation for Test Generation on a High-Level Design Description
IEEE Transactions on Computers
Generative models for bitmap sets with compression applications: (extended abstract)
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
Data path allocation based on bipartite weighted matching
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Boolean Matrix Transforms for the Minimization of Modulo-2 Canonical Expansions
IEEE Transactions on Computers
Quantization Error in Hexagonal Sensory Configurations
IEEE Transactions on Pattern Analysis and Machine Intelligence
A fast multilayer general area router for MCM designs
EURO-DAC '92 Proceedings of the conference on European design automation
On the distribution of characteristics in bijective mappings
EUROCRYPT '93 Workshop on the theory and application of cryptographic techniques on Advances in cryptology
An Optimal Instruction Scheduler for Superscalar Processor
IEEE Transactions on Parallel and Distributed Systems
On the Conversion Between Binary Code and Binary-Reflected Gray Code on Binary Cubes
IEEE Transactions on Computers
POLYSHIFT communications software for the connection machine system CM-200
Scientific Programming
Optimal signature extraction and information loss
ACM Transactions on Database Systems (TODS)
A note on combination generators
ACM Transactions on Mathematical Software (TOMS)
Rapid diagnostic fault simulation of stuck-at faults in sequential circuits using compact lists
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
A shortest path approach to wireframe to solid model conversion
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
ACM SIGACT News
Global Commutative and Associative Reduction Operations in Faulty SIMD Hypercubes
IEEE Transactions on Computers
Basic techniques for design and analysis of algorithms
ACM Computing Surveys (CSUR)
Synchronous parallel controller synthesis from behavioural multiple-process VHDL description
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Routing algorithm for gate array macro cells
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Performance counters and state sharing annotations: a unified approach to thread locality
Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Heuristic Loop-Based Scheduling and Allocation for DSP Synthesis with Heterogeneous Functional Units
Journal of VLSI Signal Processing Systems
Distributed Fault-Tolerant Ring Embedding and Reconfiguration in Hypercubes
IEEE Transactions on Computers
The use of parallelization in the generation of binary linear codes
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
An efficient algorithm for semi-homogeneous queueing network models
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
HAL: a multi-paradigm approach to automatic data path synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Extendible hashing—a fast access method for dynamic files
ACM Transactions on Database Systems (TODS)
The Relative Neighborhood Graph, with an Application to Minimum Spanning Trees
Journal of the ACM (JACM)
Some Hamilton Paths and a Minimal Change Algorithm
Journal of the ACM (JACM)
A least cost partition algorithm
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Performance analysis and optimization of latency insensitive systems
Proceedings of the 37th Annual Design Automation Conference
Clock skew scheduling for improved reliability via quadratic programming
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
A Comparison of Combination Generation Methods
ACM Transactions on Mathematical Software (TOMS)
Algorithms for Generating Fundamental Cycles in a Graph
ACM Transactions on Mathematical Software (TOMS)
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
Some Techniques for Solving Recurrences
ACM Computing Surveys (CSUR)
Three new combination algorithms with the minimal change property
Communications of the ACM
Communications of the ACM
Communications of the ACM
RS-FDRA: a register sensitive software pipelining algorithm for embedded VLIW processors
Proceedings of the ninth international symposium on Hardware/software codesign
FDRA: a software-pipelining algorithm for embedded VLIW processors
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Diagnostic simulation of stuck-at faults in sequential circuits using compact lists
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Post-pass binary adaptation for software-based speculative precomputation
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Using puzzles in teaching algorithms
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
A simplified correctness proof for a well-known algorithm computing strongly connected components
Information Processing Letters
Performance Quality of Re-Routing Networks: Influence of Equipment Failure
Automation and Remote Control
Cybernetics and Systems Analysis
Efficient processing of relational calculus expressions using range query theory
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Transition Sequence Generator for RAM Fault Detection
IEEE Transactions on Computers
An Optimal Algorithm for Permutation Admissibility to Multistage Interconnection Networks
IEEE Transactions on Computers
Design of Space-Optimal Regular Arrays for Algorithms with Linear Schedules
IEEE Transactions on Computers
Identifying Faces in a 2D Line Drawing Representing a Manifold Object
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Parallel Algorithm for an Efficient Mapping of Grids in Hypercubes
IEEE Transactions on Parallel and Distributed Systems
Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers
IEEE Transactions on Parallel and Distributed Systems
A linear time special case for MC Games
Fundamenta Informaticae
IEEE Design & Test
A Memetic Algorithm Guided by Quicksort for the Error-Correcting Graph Isomorphism Problem
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
Reliability Evaluation Using Monte Carlo Simulation and Support Vector Machine
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Fast Randomized Algorithms for Robust Estimation of Location
TSDM '00 Proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining-Revised Papers
Separators Are as Simple as Cutsets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
The Decision of Service Centres Location Problem in Fuzzy Conditions
Proceedings of the International Conference, 7th Fuzzy Days on Computational Intelligence, Theory and Applications
An O(1) Time Algorithm for Generating Multiset Permutations
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
Dynamically Maintaining the Widest k -Dense Corridor
CIAC '00 Proceedings of the 4th Italian Conference on Algorithms and Complexity
Hardware-Software Codesign and Parallel Implementation of a Golomb Ruler Derivation Engine
FCCM '00 Proceedings of the 2000 IEEE Symposium on Field-Programmable Custom Computing Machines
Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Placement algorithms for custom VLSI
DAC '83 Proceedings of the 20th Design Automation Conference
Facet: A procedure for the automated synthesis of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
An automatic/interactive layout planning system for arbitrarily-sized rectangular building blocks
DAC '81 Proceedings of the 18th Design Automation Conference
Hardware algorithms for nonnumeric computation
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
An efficient algorithm for determining whether a cubic graph is toroidal
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A general method for locally optimal search
APL '79 Proceedings of the international conference on APL: part 1
Complexity theory and design automation
DAC '80 Proceedings of the 17th Design Automation Conference
Dynamically maintaining configurations in the plane (Detailed Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A polynomial-time algorithm for determining the isomorphism of graphs of fixed genus
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Heuristics for weighted perfect matching
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Use of lattice structures for reduction of simulation run time
WSC '84 Proceedings of the 16th conference on Winter simulation
Optimal All-to-Some Personalized Communication on Hypercubes
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
A General Scheme for Solving an NP-hard Problem in the Strong Sense of the Scheduling Theory
Automation and Remote Control
A framework for teaching recursion
ACM SIGCSE Bulletin
Features of Formation and Ordering of Samples
Cybernetics and Systems Analysis
Expected time analysis for Delaunay point location
Computational Geometry: Theory and Applications
Possibilities to Solve the Clique Problem by Thread Parallelism using Task Pools
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 5 - Volume 06
Simple constant amortized time generation of fixed length numeric partitions
Journal of Algorithms
Evolutionary Search for Faces from Line Drawings
IEEE Transactions on Pattern Analysis and Machine Intelligence
Neighbor-finding based on space-filling curves
Information Systems
Combinatorial generation by fusing loopless algorithms
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Efficient iteration in admissible combinatorial classes
Theoretical Computer Science - In memoriam: Alberto Del Lungo (1965-2003)
Combinatorial sketching for finite programs
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Fundamenta Informaticae
FLUX interconnection networks on demand
Journal of Systems Architecture: the EUROMICRO Journal
Fast gapped variants for Lempel--Ziv--Welch compression
Information and Computation
Exploring IBA Design Space for Improved Performance
IEEE Transactions on Parallel and Distributed Systems
Generalized structured programs and loop trees
Science of Computer Programming
Fuzzy expert system for solving lost circulation problem
Applied Soft Computing
Tree Search in Major/Minor Loop Magnetic Bubble Memories
IEEE Transactions on Computers
Mixed-Radix Gray Codes in Lee Metric
IEEE Transactions on Computers
Mutation-crossover isomorphisms and the construction of discriminating functions
Evolutionary Computation
Content-based assembly search: A step towards assembly reuse
Computer-Aided Design
Software engineering for multicore systems: an experience report
Proceedings of the 1st international workshop on Multicore software engineering
A new efficient privacy-preserving scalar product protocol
AusDM '07 Proceedings of the sixth Australasian conference on Data mining and analytics - Volume 70
An efficient algorithm for attention-driven image interpretation from segments
Pattern Recognition
Reliability Assessment of Machining Accuracy on Support Vector Machine
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part II
Some Approximations for Shortest Common Nonsubsequences and Supersequences
SPIRE '08 Proceedings of the 15th International Symposium on String Processing and Information Retrieval
Extracting unique rows of a bounded degree array using tries
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Efficient Enumeration of Ordered Trees with k Leaves (Extended Abstract)
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
Constant Time Generation of Integer Partitions
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Improved Approximation Results on the Shortest Common Supersequence Problem
SPIRE '09 Proceedings of the 16th International Symposium on String Processing and Information Retrieval
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Jointly optimising relevance and diversity in image retrieval
Proceedings of the ACM International Conference on Image and Video Retrieval
Generating random binary trees - A survey
Information Sciences: an International Journal
The Floyd--Warshall algorithm on graphs with negative cycles
Information Processing Letters
Linear-time ranking of permutations
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Modeling slotted aloha as a stochastic game with random discrete power selection algorithms
Journal of Computer Systems, Networks, and Communications
Eliminating interchangeable values in constraint satisfaction problems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Conjunctive width heuristics for maximal constraint satisfaction
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Algorithm design and analysis techniques
Algorithms and theory of computation handbook
Modeling for structured system interconnect test
ITC'94 Proceedings of the 1994 international conference on Test
G-RIDDLE: a formal analysis of logic designs conducive to the acceleration of backtracing
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
Experimental evidence of application of direct and inverse operators in complex processes
Pattern Recognition and Image Analysis
A fast JPDA-IMM-UKF algorithm based DFS approach for highly maneuvering targets
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Automated synthesis of pseudo-exhaustive test generator in VLSI BIST design
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Modus ponens generating function in the class of ∧-valuations of plausibility
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
EC'05 Proceedings of the 3rd European conference on Applications of Evolutionary Computing
Efficient enumeration of ordered trees with k leaves
Theoretical Computer Science
An optimal distributed algorithm for finding articulation points in a network
Computer Communications
A linear time bin-packing algorithm
Operations Research Letters
A Linear Time Special Case for MC Games
Fundamenta Informaticae
Fundamenta Informaticae
Fundamenta Informaticae
Computation Of Reducts Of Composed Information Systems
Fundamenta Informaticae
Hardware index to set partition converter
ARC'13 Proceedings of the 9th international conference on Reconfigurable Computing: architectures, tools, and applications
A white-box policy analysis and its efficient implementation
Proceedings of the 18th ACM symposium on Access control models and technologies
Combinatorial generation by fusing loopless algorithms
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
The topological drawing of a graph: Construction methods
Automation and Remote Control
Hi-index | 0.10 |