Associative searching in multiple storage units
ACM Transactions on Database Systems (TODS)
An efficient algorithm for sequential random sampling
ACM Transactions on Mathematical Software (TOMS)
The consistent comparison problem in N-version software
ACM SIGSOFT Software Engineering Notes
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Investigating the structure of a Lie algebra
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Finite field manipulations in Macsyma
ACM SIGSAM Bulletin
Symbolic summation with generating functions
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Parallel algorithms for hermite normal form of an integer matrix
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An Efficient Digital Search Algorithm by Using a Double-Array Structure
IEEE Transactions on Software Engineering
Communications of the ACM - Special issue on simulation
Parallel algorithms for generating random permutations on a shared memory machine
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
FastSort: a distributed single-input single-output external sort
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Efficient Delaunay triangulation using rational arithmetic
ACM Transactions on Graphics (TOG)
Computing with unreliable information
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Deterministic algorithms for undirected s-t connectivity using polynomial time and sublinear space.
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Trie Hashing with Controlled Load
IEEE Transactions on Software Engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Delay and area optimization in standard-cell design
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Effects of building blocks on the performance of super-scalar architecture
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Characterization of Boolean functions for rapid matching in FPGA technology mapping
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
HOPL-II The second ACM SIGPLAN conference on History of programming languages
CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
Distribution driven binary tree balancing with R-trees
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Multiple-domain analysis methods
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A note on the quality of random variates generated by the ratio of uniforms method
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quickly generating billion-record synthetic databases
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
.879-approximation algorithms for MAX CUT and MAX 2SAT
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Minimal delay interconnect design using alphabetic trees
DAC '94 Proceedings of the 31st annual Design Automation Conference
Stroing logical form in a shared-packed forest
Computational Linguistics
Accounting for memory bank contention and delay in high-bandwidth multiprocessors
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Design reuse: chemical engineering vs. software engineering
ACM SIGSOFT Software Engineering Notes
Inversive pseudorandom number generators: concepts, results and links
WSC '95 Proceedings of the 27th conference on Winter simulation
Analysis of Periodic and Intermediate Boundary 90/150 Cellular Automata
IEEE Transactions on Computers
A super scalar sort algorithm for RISC processors
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A new approach to the minimum cut problem
Journal of the ACM (JACM)
A Self-Testing Nonincreasing Order Checker
IEEE Transactions on Computers
Accounting for Memory Bank Contention and Delay in High-Bandwidth Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
An exact gate decomposition algorithm for low-power technology mapping
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
CALYPSO: a computer algebra library for parallel symbolic computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Maple on a massively parallel, distributed memory machine
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
I-regular expression: regular expression with continuous interval constraints
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Geometric compression through topological surgery
ACM Transactions on Graphics (TOG)
On the limits of non-approximability of lattice problems
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
A polylog time wait-free construction for closed objects
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
A configuration management approach for large workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Which search problems are random?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The string B-tree: a new data structure for string search in external memory and its applications
Journal of the ACM (JACM)
MAPC: a library for efficient and exact manipulation of algebraic points and curves
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Dynamically reconfigurable architecture for image processor applications
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Runtime prediction of real programs on real machines
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
A library of generic algorithms in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
A Mean Square Estimate of the Generated Roundoff Error in Constant Matrix Iterative Processes
Journal of the ACM (JACM)
The Calculation of Multivariate Polynomial Resultants
Journal of the ACM (JACM)
Journal of the ACM (JACM)
An Asymptotically Random Tausworthe Sequence
Journal of the ACM (JACM)
Representing Graphs by Knuth Trees
Journal of the ACM (JACM)
Simulating Stable Stochastic Systems, VI: Quantile Estimation
Journal of the ACM (JACM)
Synchronization Problems Solvable by Generalized PV Systems
Journal of the ACM (JACM)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
How to relieve a programmer from synchronization details
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Purely functional, real-time deques with catenation
Journal of the ACM (JACM)
Design of a polyphase sort (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Reducing sweep time for a nearly empty heap
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Computing Surveys (CSUR)
Trajectory sampling for direct traffic observation
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
A language for bitmap manipulation
ACM Transactions on Graphics (TOG)
A simplified recombination scheme for the Fibonacci buddy system
Communications of the ACM
Efficient string matching: an aid to bibliographic search
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Communications of the ACM
A LISP garbage-collector for virtual-memory computer systems
Communications of the ACM
Teaching internet algorithmics
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Anti-presistence: history independent data structures
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
The LATEX legacy: 2.09 and all that
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Scalable high-speed prefix matching
ACM Transactions on Computer Systems (TOCS)
Generalized Lehmer-Tausworthe random number generators
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Predicting zero coefficients in formal power series computations
Journal of Symbolic Computation
Batching methods for simulation output analysis: a stopping procedure based on phi-mixing conditions
Proceedings of the 32nd conference on Winter simulation
Fast combined multiple recursive generators with multipliers of the form a = ±2q ±2r
Proceedings of the 32nd conference on Winter simulation
Programming languages, natural languages, and mathematics
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Two-Stage Budgeting: A Difficult Problem
Computational Economics
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Efficient packet marking for large-scale IP traceback
Proceedings of the 9th ACM conference on Computer and communications security
An empirical comparison of B-trees, compact B-trees and multiway trees
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A multikey hashing scheme using predicate trees
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Journal of High Speed Networks
Design of High Speed AWGN Communication Channel Emulator
Analog Integrated Circuits and Signal Processing
AlphaSort: a cache-sensitive parallel external sort
The VLDB Journal — The International Journal on Very Large Data Bases
Using Tries to Eliminate Pattern Collisions in Perfect Hashing
IEEE Transactions on Knowledge and Data Engineering
Hybrid Contextural Text Recognition with String Matching
IEEE Transactions on Pattern Analysis and Machine Intelligence
Findout: finding outliers in very large datasets
Knowledge and Information Systems
On the query complexity of finding a local maximum point
Information Processing Letters
IEEE Transactions on Knowledge and Data Engineering
Concept-Based Component Libraries and Optimizing Compilers
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
WaveCluster: a wavelet-based clustering approach for spatial data in very large databases
The VLDB Journal — The International Journal on Very Large Data Bases
The reflective practitioner perspective in software engineering education
Journal of Systems and Software
Distributed algorithms with dynamical random transitions
Random Structures & Algorithms - Special issue: Proceedings of the tenth international conference "Random structures and algorithms"
Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging
Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures
ICS '03 Proceedings of the 17th annual international conference on Supercomputing
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A new approach to teaching a first course in compiler construction
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
APL '75 Proceedings of seventh international conference on APL
Computing permutations with double-ended queues, parallel stacks and parallel queues
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Towards a theory of semantics and compilers for programming languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Allocation and compaction - a mathematical model for memory management
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Characterization of VAX Macsyma
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
A study of file sizes and functional lifetimes
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Shading of regions on vector display devises
SIGGRAPH '81 Proceedings of the 8th annual conference on Computer graphics and interactive techniques
Discrete structures in the undergraduate computer science curriculum
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Generation Scavenging: A non-disruptive high performance storage reclamation algorithm
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Proceedings of a symposium on Compiler optimization
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On the cryptographic security of single RSA bits
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A hybrid CAD/CAM system for mechanical applications
DAC '82 Proceedings of the 19th Design Automation Conference
Some efficient random number generators for micro-computers
WSC '84 Proceedings of the 16th conference on Winter simulation
ACM '79 Proceedings of the 1979 annual conference
A comparison of sequential and associate computing of priority queues
CAW '77 Proceedings of the 3rd workshop on Computer architecture : Non-numeric processing
Language directed computer performance evaluation
ACM '74 Proceedings of the 1974 annual conference - Volume 1
The Newton Cotes coefficients in APL
APL '74 Proceedings of the sixth international conference on APL
The ARPA network terminal system a new approach to network access
DATACOMM '73 Proceedings of the third ACM symposium on Data communications and Data networks: Analysis and design
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Some identities related to reciprocal functions
Discrete Mathematics
Process selection in a hierarchical operating system
ACM SIGOPS Operating Systems Review
Cushion Treemaps: Visualization of Hierarchical Information
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
Visualizing Application Behavior on Superscalar Processors
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
Statistical properties and implementation of aperiodic pseudorandom number generators
Applied Numerical Mathematics - Special issue: Applied numerical computing: Grid generation and solution methods for advanced simulations
Computer algebra handbook
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Beamtrees: compact visualization of large hierarchies
Information Visualization
Defining dynamic variables and abstract data types in Pascal
ACM SIGPLAN Notices
A simulation of Knuth's mix machine as a teaching tool
Journal of Computing Sciences in Colleges
Interval-based clock synchronization with optimal precision
Information and Computation
Navigation piles with applications to sorting, priority queues, and priority deques
Nordic Journal of Computing
The textbook problem: Winograd's language as a cognitive process
Computational Linguistics
ACM SIGPLAN Notices
Performance analysis of BSTs in system software
Proceedings of the joint international conference on Measurement and modeling of computer systems
On teaching theoretical foundations of Computer Science
ACM SIGACT News
New simulation output analysis techniques: two-phase quantile estimation
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Quasi-monte carlo methods in practice: quasi-monte carlo methods for simulation
Proceedings of the 35th conference on Winter simulation: driving innovation
Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times
IEEE Transactions on Computers
Capacity planning for MVS computer systems
ACM SIGMETRICS Performance Evaluation Review
Hierarchical key management scheme using polynomial interpolation
ACM SIGOPS Operating Systems Review
Alternatives to two classic data structures
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Hash-based labeling techniques for storage scaling
The VLDB Journal — The International Journal on Very Large Data Bases
Thick 2D relations for document understanding
Information Sciences—Informatics and Computer Science: An International Journal
Fast and approximate stream mining of quantiles and frequencies using graphics processors
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
An approximate algorithm for top-k closest pairs join query in large high dimensional data
Data & Knowledge Engineering
Encyclopedia of Computer Science
High-level synthesis for large bit-width multipliers on FPGAs: a case study
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Efficient management for large-scale flash-memory storage systems with resource conservation
ACM Transactions on Storage (TOS)
Optimizing bitmap indices with efficient compression
ACM Transactions on Database Systems (TODS)
A basis for the non-crossing partition lattice top homology
Journal of Algebraic Combinatorics: An International Journal
Cataloging design abstractions
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
The open and autonomous interconnection semantics
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Experimental performance evaluation of histogram approximation for simulation output analysis
WSC '04 Proceedings of the 36th conference on Winter simulation
Algorithmic combinatorics based on slicing posets
Theoretical Computer Science
Cost-Effective Caching for Mobility Support in IEEE 802.1X Frameworks
IEEE Transactions on Mobile Computing
Jebelean--Weber's algorithm without spurious factors
Information Processing Letters
On Chen and Chen's new tree inclusion algorithm
Information Processing Letters
Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation
International Journal of Approximate Reasoning
Component Updates as a Boolean Optimization Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Cell trees: An adaptive synopsis structure for clustering multi-dimensional on-line data streams
Data & Knowledge Engineering
Optimizing result prefetching in web search engines with segmented indices
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Estimating steady-state distributions via simulation-generated histograms
Computers and Operations Research
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Adaptive methodology for meshless finite point method
Advances in Engineering Software
Adaptive aggregation on chip multiprocessors
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Cryptographic properties of nonlinear pseudorandom number generators
Designs, Codes and Cryptography
Parallel white noise generation on a GPU via cryptographic hash
Proceedings of the 2008 symposium on Interactive 3D graphics and games
A novel approach to K-12 CS education: linking mathematics and computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Trees with exponentially growing costs
Information and Computation
Writing-all deterministically and optimally using a nontrivial number of asynchronous processors
ACM Transactions on Algorithms (TALG)
Generalizations of Abel's and Hurwitz's identities
European Journal of Combinatorics
Combinatorial probability interpretation of certain modified orthogonal polynomials
European Journal of Combinatorics
ROE sorting on ILLIAC array processor
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Graphical Models
The unpredictable deviousness of models
Theoretical Computer Science
Future Generation Computer Systems
Operating systems principles and undergraduate computer science curricula
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A new constrained edit distance between quotiented ordered trees
Journal of Discrete Algorithms
On the design of reconfigurable multipliers for integer and Galois field multiplication
Microprocessors & Microsystems
On embedding subclasses of height-balanced trees in hypercubes
Information Sciences: an International Journal
The distance geometry of music
Computational Geometry: Theory and Applications
The enumeration of permutations sortable by pop stacks in parallel
Information Processing Letters
Sort and Search: Exact algorithms for generalized domination
Information Processing Letters
An efficient implementation of a least squares Monte Carlo method for valuing American-style options
International Journal of Computer Mathematics - SPECIAL ISSUE ON FINANCIAL DERIVATIVES
A B-Tree index extension to enhance response time and the life cycle of flash memory
Information Sciences: an International Journal
Transactional agents on distributed object systems
International Journal of High Performance Computing and Networking
Computers and Operations Research
Approximating a real number by a rational number with a limited denominator: A geometric approach
Discrete Applied Mathematics
Capacity and delay of hybrid wireless broadband access networks
IEEE Journal on Selected Areas in Communications - Special issue on broadband access networks: Architectures and protocols
A number representation convertor for magnetic bubble string comparators
IBM Journal of Research and Development
Analyses of multi-level and multi-component compressed bitmap indexes
ACM Transactions on Database Systems (TODS)
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Information Processing Letters
Subtraction-free Almost Montgomery Inverse algorithm
Information Processing Letters
Restructuring binary search trees revisited
Information Processing Letters
FFT-based algorithms for the string matching with mismatches problem
Journal of Algorithms
SARA: A service architecture for resource aware ubiquitous environments
Pervasive and Mobile Computing
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Dynamical systems generated by rational functions
AAECC'03 Proceedings of the 15th international conference on Applied algebra, algebraic algorithms and error-correcting codes
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
ACM Transactions on Mathematical Software (TOMS)
Distributed algorithmic mechanism design for scheduling on unrelated machines
Journal of Parallel and Distributed Computing
The weighted hook length formula
Journal of Combinatorial Theory Series A
ASMs and operational algorithmic completeness of lambda calculus
Fields of logic and computation
A robust random number generator based on a differential current-mode chaos
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
On the Effect of Quantum Interaction Distance on Quantum Addition Circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Shor's discrete logarithm quantum algorithm for elliptic curves
Quantum Information & Computation
Balanced trees inhabiting functional parallel programming
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Efficient fuzzy full-text type-ahead search
The VLDB Journal — The International Journal on Very Large Data Bases
CIRCUMFLEX: a scheduling optimizer for MapReduce workloads with shared scans
ACM SIGOPS Operating Systems Review
On the Distribution and Lattice Structure of Nonlinear Congruential Pseudorandom Numbers
Finite Fields and Their Applications
Proceedings of the 6th International Conference on Body Area Networks
Cache blocking for linear algebra algorithms
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
Capacity bounds of three-dimensional wireless ad hoc networks
IEEE/ACM Transactions on Networking (TON)
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Comparison based sorting for systems with multiple GPUs
Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units
Hi-index | 0.09 |
From the Publisher:The first revision of this third volume is the most comprehensivesurvey of classical computer techniques for sorting and searching. It extends thetreatment of data structures in Volume 1 to consider both large and smalldatabases and internal and external memories. The book contains a selection ofcarefully checked computer methods, with a quantitative analysis of theirefficiency. Outstanding features of the second edition include a revised sectionon optimum sorting and new discussions of the theory of permutations and ofuniversal hashing.