ACM Transactions on Mathematical Software (TOMS)
Design and data structure of fully adaptive, multigrid, finite-element software
ACM Transactions on Mathematical Software (TOMS)
Lower Bounds for Distributed Maximum-Finding Algorithms
Journal of the ACM (JACM)
On convergence toward a database of program transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adaptive exact-fit storage management
Communications of the ACM
Self-adjusting binary search trees
Journal of the ACM (JACM)
An efficient I/O interface for optical disks
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM) - The MIT Press scientific computation series
Dynamic initial allocation and local reallocation procedures for multiple stacks
Communications of the ACM
A note on the height of binary search trees
Journal of the ACM (JACM)
Planar point location using persistent search trees
Communications of the ACM
Independent general principles for constructing responsive software systems
ACM Transactions on Computer Systems (TOCS)
A generalized model management system for mathematical programming
ACM Transactions on Mathematical Software (TOMS)
ACM SIGACT News
The complexity of using forwarding addresses for decentralized object finding
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Topologically sweeping an arrangement
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
The effect of updates in binary search trees
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Autocompletion in full text transaction entry: a method for humanized input
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Automating the design of graphical presentations of relational information
ACM Transactions on Graphics (TOG)
Intersection of convex objects in two and three dimensions
Journal of the ACM (JACM)
ACM SIGACT News
ACM SIGSMALL/PC Notes
Elimination algorithms for data flow analysis
ACM Computing Surveys (CSUR)
APL '87 Proceedings of the international conference on APL: APL in transition
Fibonacci heaps and their uses in improved network optimization algorithms
Journal of the ACM (JACM)
Efficient interpretation of Prolog programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Disk file allocation based on the buddy system
ACM Transactions on Computer Systems (TOCS)
Automatic translation of FORTRAN programs to vector form
ACM Transactions on Programming Languages and Systems (TOPLAS)
Summation of binomial coefficients using hypergeometric functions
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Linear probing with a nonuniform address distribution
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Communications of the ACM
An insertion algorithm for a minimal internal path length binary search tree
Communications of the ACM
Are applicative languages inefficient?
ACM SIGPLAN Notices
Hierarchical Data Structures and Algorithms for Computer Graphics. Part I.
IEEE Computer Graphics and Applications
Problems in modelling tasks and task views
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Seeing the forest for the trees: hierarchical displays of hypertext structures
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Systolic Tree Implementation of Data Structures
IEEE Transactions on Computers
Generations of permutations with non-unique elements
ACM SIGNUM Newsletter
A lower bound on the path length of binary trees
ACM SIGACT News
Applying Synthesis Principles to Create Responsive Software Systems
IEEE Transactions on Software Engineering
Optimal Partitioning of Random Programs Across Two Processors
IEEE Transactions on Software Engineering
Performance of a Composite Attribute and Join Index
IEEE Transactions on Software Engineering
Hypercube management in the presence of node failures
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
On allocating subcubes in a hypercube multiprocessor
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Clustering and linear placement
25 years of DAC Papers on Twenty-five years of electronic design automation
LSI product quality and fault coverage
25 years of DAC Papers on Twenty-five years of electronic design automation
Computational geometry on hypercube computers
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Criteria for Selecting a Variable in the Construction of Efficient Decision Trees
IEEE Transactions on Computers
Electronics Technology and Computer Science, 1940-1975: A Coevolution
IEEE Annals of the History of Computing
Storing text retrieval systems on CD-ROM: compression and encryption considerations
ACM Transactions on Information Systems (TOIS)
Journal of the ACM (JACM)
Efficient implementation of the first-fit strategy for dynamic storage allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Algorithm for Finding a Common Structure Shared by a Family of Strings
IEEE Transactions on Pattern Analysis and Machine Intelligence
The Parallel Assignment Problem Redefined
IEEE Transactions on Software Engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Fast parallel algorithms for the unit cost editing distance between trees
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Automatic synthesis of microprogrammed control units from behavioral descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Storing a tree structure by using decimal notation
ACM SIGIR Forum
A lazy buddy system bounded by two coalescing delays
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Incremental distribution of timestamp packets: a new approach to distributed garbage collection
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Architectural mechanisms to support sparse vector processing
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Task migration in hypercube multiprocessors
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Interprocessor communication speed and performance in distributed-memory parallel processors
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A random binary tree generator
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Macrotasking the singluar value decomposition of block circulant matrices on the Cray-2
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Dilation d embedding of a hyper-pyramid into a hypercube
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Learnability and the Vapnik-Chervonenkis dimension
Journal of the ACM (JACM)
A unified analysis of batched searching of sequential and tree-structured files
ACM Transactions on Database Systems (TODS)
Rational continuity: parametric, geometric, and Frenet frame continuity of rational curves
ACM Transactions on Graphics (TOG) - Special issue on computer-aided design
A Buffer-Based Method for Storage Allocation in an Object-Oriented System
IEEE Transactions on Computers
Compression, information theory, and grammars: a unified approach
ACM Transactions on Information Systems (TOIS)
Rasterization of nonparametric curves
ACM Transactions on Graphics (TOG)
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Half-Hot State Assignments for Finite State Machines
IEEE Transactions on Computers
Fast breakpoints: design and implementation
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
How to print floating-point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Geometric collisions for time-dependent parametric surfaces
SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques
Construction of optimal graphs for bit-vector compression
SIGIR '90 Proceedings of the 13th annual international ACM SIGIR conference on Research and development in information retrieval
Optimization for dynamic inverted index maintenance
SIGIR '90 Proceedings of the 13th annual international ACM SIGIR conference on Research and development in information retrieval
Area and volume coherence for efficient visualization of 3D scalar functions
VVS '90 Proceedings of the 1990 workshop on Volume visualization
The information theory bound is tight for selection in a heap
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Lower bounds for the union-find and the split-find problem on pointer machines
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A program for computing Puiseux expansions
ACM SIGSAM Bulletin - Issue #94
Performability Analysis Using Semi-Markov Reward Processes
IEEE Transactions on Computers
Subcube Allocation and Task Migration in Hypercube Multiprocessors
IEEE Transactions on Computers
Micro Time Cost Analysis of Parallel Computations
IEEE Transactions on Computers
A space-efficient parallel garbage compaction algorithm
ICS '91 Proceedings of the 5th international conference on Supercomputing
Improved Algorithms for Mapping Pipelined and Parallel Computations
IEEE Transactions on Computers
Subcube Allocation in Hypercube Computers
IEEE Transactions on Computers
Tree visualization with tree-maps: 2-d space-filling approach
ACM Transactions on Graphics (TOG)
Algorithm 694: a collection of test matrices in MATLAB
ACM Transactions on Mathematical Software (TOMS)
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
Genetic algorithms and instruction scheduling
MICRO 24 Proceedings of the 24th annual international symposium on Microarchitecture
The generation of binary trees as a numerical problem
Journal of the ACM (JACM)
The Euclidean definition of the functions div and mod
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing algorithms by simulation: variance reduction techniques and simulation speedups
ACM Computing Surveys (CSUR)
The treadmill: real-time garbage collection without motion sickness
ACM SIGPLAN Notices
Abstractions of Finite-State Machines and Immediately-Detectable Output Faults
IEEE Transactions on Computers
Performance analysis of dynamic finite versioning for concurrent transaction and query processing
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Surface Parametrization and Curvature Measurement of Arbitrary 3-D Objects: Five Practical Methods
IEEE Transactions on Pattern Analysis and Machine Intelligence
General Schedulers for the Pinwheel Problem Based on Double-Integer Reduction
IEEE Transactions on Computers
A mark-and-sweep collector C++
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Manchester data-flow: a progress report
ICS '92 Proceedings of the 6th international conference on Supercomputing
A hierarchical single-key-lock access control using the Chinese remainder theorem
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Journal of the ACM (JACM)
On the Complexity of Search Algorithms
IEEE Transactions on Computers
An improved supercomputer sorting benchmark
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Precise instruction scheduling without a precise machine model
ACM SIGARCH Computer Architecture News
Guardians in a generation-based garbage collector
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
ACM Transactions on Graphics (TOG)
Is Huffman coding dead? (extended abstract)
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
Retrieval from hierarchical texts by partial patterns
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
A deterministic linear time algorithm for geometric separators and its applications
SCG '93 Proceedings of the ninth annual symposium on Computational geometry
Architectural support for translation table management in large address space machines
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Approaching classical algorithms in APL2
APL '93 Proceedings of the international conference on APL
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Process simulation: successes and failures
WSC '92 Proceedings of the 24th conference on Winter simulation
Volume rendering of 3D scalar and vector fields at LLNL
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
IEEE Transactions on Parallel and Distributed Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static dependent costs for estimating execution time
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Optimally profiling and tracing programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A client-side stub interpreter
IDL '94 Proceedings of the workshop on Interface definition languages
Efficiently counting program events with support for on-line queries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Task Allocation in the Star Graph
IEEE Transactions on Parallel and Distributed Systems
Partial-order transport service for multimedia and other applications
IEEE/ACM Transactions on Networking (TON)
Surpassing the TLB performance of superpages with less operating system support
ASPLOS VI Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
A New Public-Key Cipher System Based Upon the Diophantine Equations
IEEE Transactions on Computers
Fault Coverage and Test Length Estimation for Random Pattern Testing
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Expected deadlock time in a multiprocessing system
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Generating binary trees using rotations
Journal of the ACM (JACM)
The effect of data structures on the logical complexity of programs
Communications of the ACM
Detecting content-bearing words by serial clustering—extended abstract
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
Crumbling walls: a class of practical and efficient quorum systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Persistent lists with catenation via recursive slow-down
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
High-level dynamic memory management for object-oriented real-time systems
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
An Efficient Parallel Recognition Algorithm For Bipartite-Permutation Graphs
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Static and dynamic partitioning of pointers as links and threads
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Towards effective and efficient free space management
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Foundations of multimedia database systems
Journal of the ACM (JACM)
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Basic techniques for design and analysis of algorithms
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Fundamentals of computing (a cheatlist)
ACM SIGACT News
Parallel additive lagged Fibonacci random number generators
ICS '96 Proceedings of the 10th international conference on Supercomputing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of BDDs from hardware algorithm descriptions
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
How to be an efficient snoop, or the probe complexity of quorum systems (extended abstract)
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Interval-based Clock Synchronization
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II
Research Demonstration of a Hardware Reference-Counting Heap
Lisp and Symbolic Computation
Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Time-work tradeoffs for parallel algorithms
Journal of the ACM (JACM)
Solving shape-analysis problems in languages with destructive updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast algorithms for compressed multimethod dispatch table generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Average-case analysis in an elementary course on algorithms
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Wireless Networks - Special issue transmitter power control
Expressiveness of structured document query languages based on attribute grammars
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Using name-based mappings to increase hit rates
IEEE/ACM Transactions on Networking (TON)
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Memory management during run generation in external sorting
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Min-wise independent permutations (extended abstract)
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Partial online cycle elimination in inclusion constraint graphs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Generational stack collection and profile-driven pretenuring
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Proper tail recursion and space efficiency
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Fast numerical improvement of factors of polynomials and of partial fractions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Primitives for the manipulation of general subdivisions and the computation of Voronoi
ACM Transactions on Graphics (TOG)
Why partial design verification works better than it should
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
The memory fragmentation problem: solved?
Proceedings of the 1st international symposium on Memory management
One-bit counts between unique and sticky
Proceedings of the 1st international symposium on Memory management
Very concurrent mark-&-sweep garbage collection without fine-grain synchronization
Proceedings of the 1st international symposium on Memory management
Simplifying surfaces with color and texture using quadric error metrics
Proceedings of the conference on Visualization '98
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Representability of design objects by ancestor-controlled hierarchical specifications
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Wide-Sense Nonblocking Clos Networks Under Packing Strategy
IEEE Transactions on Computers
Fault-Free Hamiltonian Cycles in Faulty Arrangement Graphs
IEEE Transactions on Parallel and Distributed Systems
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Sorting by Parallel Insertion on a One-Dimensional Subbus Array
IEEE Transactions on Computers
Confluently persistent deques via data structuaral bootstrapping
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Upper and lower bounds on constructing alphabetic binary trees
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Optimal one-way sorting on a one-dimensional sub-bus array
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Minimizing service and operation costs of periodic scheduling
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
A deterministic approximation algorithm for a minmax integer programming problem
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
A heuristic algorithm for PLA block folding
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Reasoning about Grover's quantum search algorithm using probabilistic wp
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bounded index exponential hashing
ACM Transactions on Database Systems (TODS)
Shadowed management of free disk pages with a linked list
ACM Transactions on Database Systems (TODS)
Optimization of query evaluation algorithms
ACM Transactions on Database Systems (TODS)
Heuristics for trie index minimization
ACM Transactions on Database Systems (TODS)
Pipelining: a technique for implementing data restructurers
ACM Transactions on Database Systems (TODS)
Performance evaluation of attribute-based tree organization
ACM Transactions on Database Systems (TODS)
Construction of relations in relational databases
ACM Transactions on Database Systems (TODS)
Hashing and trie algorithms for partial match retrieval
ACM Transactions on Database Systems (TODS)
A clustering algorithm for hierarchical structures
ACM Transactions on Database Systems (TODS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Quintary trees: a file structure for multidimensional datbase sytems
ACM Transactions on Database Systems (TODS)
An Analysis of Some Graph Theoretical Cluster Techniques
Journal of the ACM (JACM)
Computer Interval Arithmetic: Definition and Proof of Correct Implementation
Journal of the ACM (JACM)
Statistical Properties of the Buddy System
Journal of the ACM (JACM)
Sorting Using Networks of Queues and Stacks
Journal of the ACM (JACM)
Permutation Graphs and Transitive Graphs
Journal of the ACM (JACM)
Upper Bounds for the Total Path Length of Binary Trees
Journal of the ACM (JACM)
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
Journal of the ACM (JACM)
A Modified List Technique Allowing Binary Search
Journal of the ACM (JACM)
On the Parsing of Deterministic Languages
Journal of the ACM (JACM)
Allocating Storage for Extendible Arrays
Journal of the ACM (JACM)
Efficiency of a Good But Not Linear Set Union Algorithm
Journal of the ACM (JACM)
Multivariate Polynomial Factorization
Journal of the ACM (JACM)
Corrigendum: `` Allocating Storage for Extendible Arrays''
Journal of the ACM (JACM)
An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs
Journal of the ACM (JACM)
An Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys
Journal of the ACM (JACM)
Optimal Code Generation for Expression Trees
Journal of the ACM (JACM)
Restructuring of Arithmetic Expressions For Parallel Evaluation
Journal of the ACM (JACM)
Lower Bounds on Merging Networks
Journal of the ACM (JACM)
Efficient Algorithms for Shortest Paths in Sparse Networks
Journal of the ACM (JACM)
Hashing Schemes for Extendible Arrays
Journal of the ACM (JACM)
Pivot Strategies for Primal-Simplex Network Codes
Journal of the ACM (JACM)
On the Efficiency of a Polynomial Irreducibility Test
Journal of the ACM (JACM)
Generation of Binary Trees from Ballot Sequences
Journal of the ACM (JACM)
Self-Organizing Binary Search Trees
Journal of the ACM (JACM)
On the Average Number of Maxima in a Set of Vectors and Applications
Journal of the ACM (JACM)
The Analysis of Hashing Techniques That Exhibit k-ary Clustering
Journal of the ACM (JACM)
Data Structures and Correctness of Programs
Journal of the ACM (JACM)
The Tree-to-Tree Correction Problem
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Encoding Data Structures in Trees
Journal of the ACM (JACM)
Applications of Path Compression on Balanced Trees
Journal of the ACM (JACM)
On the Generation of Binary Trees
Journal of the ACM (JACM)
A Note on Enumerating Binary Trees
Journal of the ACM (JACM)
External Hashing Schemes for Collections of Data Structures
Journal of the ACM (JACM)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Theorem Proving via General Matings
Journal of the ACM (JACM)
Connected Component Labeling Using Quadtrees
Journal of the ACM (JACM)
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
An Almost-Linear Algorithm for Two-Processor Scheduling
Journal of the ACM (JACM)
Data compression via textual substitution
Journal of the ACM (JACM)
Graphic animation and speech synthesis applications for the auditory and visually disabled
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Constructing Optimal Search Trees in Optimal Time
IEEE Transactions on Computers
Time-space tradeoffs for tree search and traversal
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
An efficient LISP-execution architecture with a new representation for list structures
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Optimal parallel encoding and decoding algorithms for trees
CSC '91 Proceedings of the 19th annual conference on Computer Science
Algorithms for resolving conflicts in dynamic storage allocation
Journal of the ACM (JACM)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Least Upper Bounds for the Size of OBDDs Using Symmetry Properties
IEEE Transactions on Computers
Approximation algorithms for data placement on parallel disks
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Efficient performance prediction for modern microprocessors
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Speed is as powerful as clairvoyance
Journal of the ACM (JACM)
Memory-efficient state lookups with fast updates
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
A Framework for the Design and Implementation of FFT Permutation Algorithms
IEEE Transactions on Parallel and Distributed Systems
Data integration using similarity joins and a word-based information representation language
ACM Transactions on Information Systems (TOIS)
A constraint-based approach to simulate faults in telecommunication networks
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Xor-trees for efficient anonymous multicast and reception
ACM Transactions on Information and System Security (TISSEC)
A neuroidal architecture for cognitive computation
Journal of the ACM (JACM)
ACM Algorithm 395: Student's t-distribution
Communications of the ACM
Algorithm 396: Student's t-Quantiles
Communications of the ACM
Algorithm 467: Matrix Transposition in Place
Communications of the ACM
A List Insertion Sort for Keys With Arbitrary Key Distribution
ACM Transactions on Mathematical Software (TOMS)
An Exact Method for Finding the Roots of a Complex Polynomial
ACM Transactions on Mathematical Software (TOMS)
Remark on “Algorithm 284: Interchange of Two Blocks of Data [K2]”
ACM Transactions on Mathematical Software (TOMS)
The Exact Solution of Linear Equations with Rational Function Coefficients
ACM Transactions on Mathematical Software (TOMS)
An Algorithm for Finding Best Matches in Logarithmic Expected Time
ACM Transactions on Mathematical Software (TOMS)
Blended Linear Multistep Methods
ACM Transactions on Mathematical Software (TOMS)
On a Data Structure for Adaptive Finite Element Mesh Refinements
ACM Transactions on Mathematical Software (TOMS)
Algorithm 561: Fortran Implementation of Heap Programs for Efficient Table Maintenance [Z]
ACM Transactions on Mathematical Software (TOMS)
PERUSE: An Interactive System for Mathematical Programs
ACM Transactions on Mathematical Software (TOMS)
Algorithms for Generating Fundamental Cycles in a Graph
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Space-Efficient Implementations of Graph Search Methods
ACM Transactions on Mathematical Software (TOMS)
ACM Computing Surveys (CSUR)
A Survey of Indexing Techniques for Sparse Matrices
ACM Computing Surveys (CSUR)
Binary Search Trees and File Organization
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Hierarchical Data-Base Management: A Survey
ACM Computing Surveys (CSUR)
A Conceptual Framework for Computer Architecture
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
A Practical Approach to Selecting Record Access Paths
ACM Computing Surveys (CSUR)
A Survey of Analysis Techniques for Discrete Algorithms
ACM Computing Surveys (CSUR)
A Review and Evaluation of Software Science
ACM Computing Surveys (CSUR)
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Some Techniques for Solving Recurrences
ACM Computing Surveys (CSUR)
Garbage Collection of Linked Data Structures
ACM Computing Surveys (CSUR)
The Quadtree and Related Hierarchical Data Structures
ACM Computing Surveys (CSUR)
Code Generation and Storage Allocation for Machines with Span-Dependent Instructions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A fast algorithm for finding dominators in a flowgraph
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Is Sometimes Ever Better Than Always?
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Space Efficient Dynamic Allocation Algorithm for Queuing Messages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Coroutine Approach to Parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compact Storage of Binary Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparison of Compacting Algorithms for Garbage Collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tailored-List and Recombination-Delaying Buddy Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The software lookaside buffler reduces search overhead with linked lists
Communications of the ACM
Communications of the ACM
An empirical study of insertion and deletion in binary search trees
Communications of the ACM
Memory occupancy patterns in garbage collection systems
Communications of the ACM
The first course in computer science needs a mathematics corequisite
Communications of the ACM
A multiple-stack manipulation procedure
Communications of the ACM
A dynamic storage allocation technique based on memory residence time
Communications of the ACM
Computer-assisted microanalysis of programs
Communications of the ACM
Implementations for coalesced hashing
Communications of the ACM
Analysis of future event set algorithms for discrete event simulation
Communications of the ACM
Conversion of decision tables to efficient sequential testing procedures
Communications of the ACM
Communications of the ACM
Partial-match retrieval using indexed descriptor files
Communications of the ACM
Design of a LISP-based microprocessor
Communications of the ACM
Thoth, a portable real-time operating system
Communications of the ACM
Communications of the ACM
Progressive acyclic digraphs—a tool for database integrity
Communications of the ACM
Communications of the ACM
Segment sizes and liftetimes in Algol 60 programs
Communications of the ACM
A numbering system for binary trees
Communications of the ACM
Preserving average proximity in arrays
Communications of the ACM
A comparison of next-fit, first-fit, and best-fit
Communications of the ACM
Optimal conversion of extended-entry decision tables with general cost criteria
Communications of the ACM
List processing in real time on a serial computer
Communications of the ACM
A data structure for manipulating priority queues
Communications of the ACM
Proof techniques for hierarchically structured programs
Communications of the ACM
A fast algorithm for copying list structures
Communications of the ACM
Automatic data structure selection: an example and overview
Communications of the ACM
A selective traversal algorithm for binary search trees
Communications of the ACM
Analyses of deterministic parsing algorithms
Communications of the ACM
An O(n) algorithm for determining a near-optimal computation order of matrix chain products
Communications of the ACM
Communications of the ACM
Fast parallel sorting algorithms
Communications of the ACM
A time- and space-efficient garbage compaction algorithm
Communications of the ACM
An optimal evaluation of Boolean expressions in an online query system
Communications of the ACM
Communications of the ACM
Notes on recursion elimination
Communications of the ACM
Implementing Quicksort programs
Communications of the ACM
Median split trees: a fast lookup technique for frequently occuring keys
Communications of the ACM
Shifting garbage collection overhead to compile time
Communications of the ACM
Communications of the ACM
Some new upper bounds on the generation of prime numbers
Communications of the ACM
Anomalous behavior of the fifty-percent rule in dynamic memory allocation
Communications of the ACM
Perfect hashing functions: a single probe retrieving method for static sets
Communications of the ACM
Dynamic memory allocation in computer simulation
Communications of the ACM
Communications of the ACM
Communications of the ACM
An efficient list-moving algorithm using constant workspace
Communications of the ACM
A buddy system variation for disk storage allocation
Communications of the ACM
Analysis of an algorithm for real time garbage collection
Communications of the ACM
Tridiagonalization by permutations
Communications of the ACM
A numbering system for combinations
Communications of the ACM
Communications of the ACM
Addition in an arbitrary base without radix conversion
Communications of the ACM
Scan conversion algorithms for a cell organized raster display
Communications of the ACM
On the external storage fragmentation produced by first-fit and best-fit allocation strategies
Communications of the ACM
Some remarks on lookup of structured variables
Communications of the ACM
Comments on a paper by T.C. Chen and I.T. Ho
Communications of the ACM
A design for a number theory package with an optimized trial division routine
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
Multidimensional binary search trees used for associative searching
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
A weighted buddy method for dynamic storage allocation
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
Optimizing binary trees grown with a sorting algorithm
Communications of the ACM
Numerical mathematics and computer science
Communications of the ACM
Towards a general theory of special functions
Communications of the ACM
Demand paging through utilization of working sets onr the MANIAC II
Communications of the ACM
A computer science course program for small colleges
Communications of the ACM
Minimal event-node network of project precedence relations
Communications of the ACM
A nonrecursive list moving algorithm
Communications of the ACM
A note on information organization and storage
Communications of the ACM
Communications of the ACM
A learning program which plays partnership dominoes
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
Communications of the ACM
Algorithm 467: matrix transposition in place [F1]
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
Computer science: a conceptual framework for curriculum planning
Communications of the ACM
File structures using hashing functions
Communications of the ACM
Communications of the ACM
A nonrecursive list compacting algorithm
Communications of the ACM
An efficient search algorithm to find the elementary circuits of a graph
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
New LISP techniques for a paging environment
Communications of the ACM
A note on storage fragmentation and program segmentation
Communications of the ACM
Block structures, indirect addressing, and garbage collection
Communications of the ACM
Compact list representation: definition, garbage collection, and system implementation
Communications of the ACM
Optimal sequencing by hybridization in rounds
RECOMB '01 Proceedings of the fifth annual international conference on Computational biology
Simplicial Properties of the Set of Planar Binary Trees
Journal of Algebraic Combinatorics: An International Journal
Device-level placement for analog layout: an opportunity for non-slicing topological representations
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Batch rekeying for secure group communications
Proceedings of the 10th international conference on World Wide Web
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
An empirical investigation of OR indexing
ACM SIGMETRICS Performance Evaluation Review
Language support for Morton-order matrices
PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
The statistical security of a statistical database
ACM Transactions on Database Systems (TODS)
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
On a parallel Lehmer-Euclid GCD algorithm
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Performance engineering case study: heap construction
Journal of Experimental Algorithmics (JEA)
Data description for computer-aided design
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
An integrative framework for knowledge extraction in collaborative virtual environments
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Uniform asymptotics of some Abel sums arising in coding theory
Theoretical Computer Science
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
An interactive system for allocating space in an efficient flexible manner
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
Variations on the binary buddy system for dynamic memory management
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
Drawing labelled directed binary graphs on a grid
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Expressiveness of structured document query languages based on attribute grammars
Journal of the ACM (JACM)
Burst tries: a fast, efficient data structure for string keys
ACM Transactions on Information Systems (TOIS)
A simple implementation technique for priority search queues
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
An algorithm for servicing multi-relational queries
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
A heathkit method for building data management programs
SIGIR '71 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval
A balanced tree storage and retrieval algorithm
SIGIR '71 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval
A maximum-flow approach to anomaly isolation in unification-based incremental type inference
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbolic program analysis in almost linear time
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automating proofs of the absence of common runtime errors
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transitions in extendible arrays
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbolic evaluation and the global value graph
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Social processes and proofs of theorems and programs
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program schemas with concurrency: execution time and hangups
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
SIGGRAPH '76 Proceedings of the 3rd annual conference on Computer graphics and interactive techniques
Using puzzles in teaching algorithms
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Teaching data structures with multiple collection class libraries
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Real-time playback in animation systems
SIGGRAPH '77 Proceedings of the 4th annual conference on Computer graphics and interactive techniques
The stack-size of tries: a combinatorial study
Theoretical Computer Science
Derivation of efficient DAG marking algorithms
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The evolution of list-copying algorithms and the need for structured program verification
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Weight Distribution of C_5(1, n)
Designs, Codes and Cryptography
Verifiable Partial Escrow of Integer Factors
Designs, Codes and Cryptography
The MIX computer as an educational tool
ACM '72 Proceedings of the ACM annual conference - Volume 1
Computing minimum spanning trees efficiently
ACM '72 Proceedings of the ACM annual conference - Volume 1
Basic analytic combinatorics of directed lattice paths
Theoretical Computer Science
Performance analysis of three related assignment problems
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The complexity of testing predicate locks
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Programming aspects of VLSI: (preliminary version)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A high performance, universal, key associative access method
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
FLASH: a language-independent, portable file access system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Numerical database management system: a model
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Tree pattern matching with a more general notion of occurrence of the pattern
Information Processing Letters
ACM SIGAPL APL Quote Quad
Forest volume decompositions and Abel---Cayley---Hurwitz multinomial expansions
Journal of Combinatorial Theory Series A
Binary search tree recursions with harmonic toll functions
Journal of Computational and Applied Mathematics - Special issue: Probabilistic methods in combinatorics and combinatorial optimization
An approach for pattern oriented software development based on a design handbook
Annals of Software Engineering
Towards automated modification of legacy assets
Annals of Software Engineering
Skeleton Trees for the Efficient Decoding of Huffman Encoded Texts
Information Retrieval
Information Retrieval
Journal of Global Optimization
Modeling non-slicing floorplans with binary trees
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Binary space partitions for axis-paralles line segments: size-height tradeoffs
Information Processing Letters
Generating functions for generating trees
Discrete Mathematics
On the diameter of the rotation graph of binary coupling trees
Discrete Mathematics
Structural and enumerative properties of the Fibonacci cubes
Discrete Mathematics
Extreme weight classes of de Bruijn sequences
Discrete Mathematics
Symmetries in trees and parking functions
Discrete Mathematics
Journal of Algorithms - Analysis of algorithms
Floorplan representations: Complexity and connections
ACM Transactions on Design Automation of Electronic Systems (TODAES)
There is no optimal routing policy for the torus
Information Processing Letters
A Novel Sampling Approach to Combinatorial Optimization Under Uncertainty
Computational Optimization and Applications
Partial Evaluation of the Euclidean Algorithm, Revisited
Higher-Order and Symbolic Computation
Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language
IEEE Annals of the History of Computing
Benchmarking the DBS3 Parallel Query Optimizer
IEEE Parallel & Distributed Technology: Systems & Technology
A Configurable Multimedia Middleware Platform
IEEE MultiMedia
Computing in Science and Engineering
Visualization for Climate Modeling
IEEE Computer Graphics and Applications
How to Store a Triangular Matrix
IEEE Transactions on Computers
IEEE Transactions on Computers
A High-Performance Memory Allocator for Object-Oriented Systems
IEEE Transactions on Computers
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
An Evaluation of Starburst's Memory Resident Storage Component
IEEE Transactions on Knowledge and Data Engineering
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema
IEEE Transactions on Knowledge and Data Engineering
A Semiautomatic Method for Assigning Elevation in Contour Maps
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Dynamic Finite Versioning Schemes: Storage Cost vs. Obsolescence
IEEE Transactions on Knowledge and Data Engineering
Conservative Parallel Simulation of Priority Class Queuing Networks
IEEE Transactions on Parallel and Distributed Systems
Fibonacci Cubes-A New Interconnection Topology
IEEE Transactions on Parallel and Distributed Systems
Mtool: An Integrated System for Performance Debugging Shared Memory Multiprocessor Applications
IEEE Transactions on Parallel and Distributed Systems
A Theory of Coteries: Mutual Exclusion in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
A Comparative Study of Topological Properties of Hypercubes and Star Graphs
IEEE Transactions on Parallel and Distributed Systems
Job Scheduling is More Important than Processor Allocation for Hypercube Computers
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Work-Time Optimal k-Merge Algorithms on the PRAM
IEEE Transactions on Parallel and Distributed Systems
Adaptive Core Selection and Migration Method for Multicast Routing in Mobile Ad Hoc Networks
IEEE Transactions on Parallel and Distributed Systems
Threaded Linear Hierarchical Quadtrees for Computation of Geometric Properties of Binary Images
IEEE Transactions on Software Engineering
Continued fractions and generalized patterns
European Journal of Combinatorics
Some results on tries with adaptive branching
Theoretical Computer Science
Optimization strategies of stack control
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Semiring frameworks and algorithms for shortest-distance problems
Journal of Automata, Languages and Combinatorics
Time-message trade-offs for the weak unison problem
Nordic Journal of Computing
Restricted permutations and the wreath product
Discrete Mathematics
Reduction languages for reduction machines
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Sequentially encoded data structures that support bidirectional scanning
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Generating t-ary trees in parallel
Nordic Journal of Computing
Optimizing Index Allocation for Sequential Data Broadcasting in Wireless Mobile Computing
IEEE Transactions on Knowledge and Data Engineering
Nordic Journal of Computing
The level-ancestor problem on pure pointer machines
Information Processing Letters
Space-efficient finger search on degree-balanced search trees
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
On Parallel Generation of t-Ary Trees in an Associative Model
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Retrieval-By-Unification Operation on a Relational Knowledge Base
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Tiered Vectors: Efficient Dynamic Arrays for Rank-Based Sequences
WADS '99 Proceedings of the 6th International Workshop on Algorithms and Data Structures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Lattice Reduction by Random Sampling and Birthday Methods
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Fast Algorithms for Extended Regular Expression Matching and Searching
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Ahnentafel Indexing into Morton-Ordered Arrays, or Matrix Locality for Free
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Analysing Cache Effects in Distribution Sorting
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Interchanging Two Segments of an Array in a Hierarchical Memory System
WAE '00 Proceedings of the 4th International Workshop on Algorithm Engineering
Simple Generation of Static Single-Assignment Form
CC '00 Proceedings of the 9th International Conference on Compiler Construction
WG '02 Revised Papers from the 28th International Workshop on Graph-Theoretic Concepts in Computer Science
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Words, Permutations, and Representations of Numbers
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
View Serializable Updates of Concurrent Index Structures
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
The height of a random binary search tree
Journal of the ACM (JACM)
Correlating XML data streams using tree-edit distance embeddings
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
On the primality of n! ± 1 and 2×3×5×...× p±1
Mathematics of Computation
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Distributed Computing - Special issue: Selected papers from PODC '01
QR factorization with Morton-ordered quadtree matrices for memory re-use and parallelism
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Optimal binary search trees with costs depending on the access paths
Theoretical Computer Science
Volume upper bounds for 3D graph drawing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A retrospective on the design of the GOPI middleware platform
Multimedia Systems
An asymptotic study for path reversal
Theoretical Computer Science
A Theoretical Framework for Memory-Adaptive Algorithms
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
An ideal model for recursive polymorphic types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PACE - a microprogram evaluation system
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
A machine independent assembler course
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
A foundations course for a developing computer science program
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Logic versus mathematics in computer science education
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Pascal procedures and functions for teaching linear data structures
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A user interface management system
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Special purpose automatic programming for hidden surface elimination
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Probabilistic analysis of a crossbar switch
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Finding an extremum in a network
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
APL '82 Proceedings of the international conference on APL
LSI product quality and fault coverage
DAC '81 Proceedings of the 18th Design Automation Conference
Minimal multitasking operating systems for real-time controllers
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Graphs that are almost binary trees (Preliminary Version)
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
On the time overhead of counters and traversal markers
ICSE '81 Proceedings of the 5th international conference on Software engineering
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Computer-aided micro-analysis of programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
The teaching of program correctness
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Depth-first digraph algorithms without recursion
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Reference machines require non-linear time to maintain disjoint sets
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The complexity of priority queue maintenance
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Program efficiency and data structures
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
An experiment with an introductory course in computer science
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
The IIT MST in computer science program
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
Further results on m-RMC expansions for m-valued functions
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Space bounds for a game on graphs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Associative retrieval trie hash-coding (Extended Abstract)
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
An application of tree structures to an interactive double-entry bookkeeping system
APL '76 Proceedings of the eighth international conference on APL
Hashing schemes for extendible arrays (Extended Abstract)
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
The complexity of control structures and data structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Edge-labeled directed graphs in APL
APL '75 Proceedings of seventh international conference on APL
Some correctness principles for machine language programs and microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
An efficient algorithm for computing optimal disk merge patterns. (Extended Abstract)
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Managing storage for extendible arrays (Extended Abstract)
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Toward mechanical verification of properties of roundoff error propagation
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
On finding lowest common ancestors in trees
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment
ACM '78 Proceedings of the 1978 annual conference
A representation for linear lists with movable fingers
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The recognition of Series Parallel digraphs
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Computing integrated costs of sequences of operations with application to dictionaries
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Storage representations for tree-like data structures
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Teaching computer science with APL: An introduction to search procedures
APL '79 Proceedings of the international conference on APL: part 1
On the locus of program flow within and among secondary functions
APL '79 Proceedings of the international conference on APL: part 1
On translating a set of rectangles
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
On the use of pointers and the teaching of disciplined programming
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Topological sorting as a tool in curriculum planning
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Use of structured flowcharts in the undergraduate Computer Science curriculum
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Functional simulation in the lamp system
DAC '76 Proceedings of the 13th Design Automation Conference
Correction and wiring check-system for master-slice LSI
DAC '76 Proceedings of the 13th Design Automation Conference
Compositions of n tree transducers
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Clustering and linear placement
DAC '72 Proceedings of the 9th Design Automation Workshop
Development of a multifacetted undergraduate program in Computer and Information Science
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
The effect of environment on computer science curriculum
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
A course on software engineering techniques
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Data graphs and addressing schemes (Extended Abstract)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Modeling and simulating data flow computations at machine language level
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The FORTH approach to operating systems
ACM '76 Proceedings of the 1976 annual conference
ACM '76 Proceedings of the 1976 annual conference
Interactive instruction simulation on and of the Datapoint 2200 computer
ACM '73 Proceedings of the ACM annual conference
Simulation experiments into inventory scheduling in multi-stage systems
ACM '73 Proceedings of the ACM annual conference
The reallocation of sequential regions of non-uniform size
ACM '73 Proceedings of the ACM annual conference
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
Machine-made analytic solutions of finite state Markov processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
The application of symbolic mathematics to a singular perturbation problem
ACM '72 Proceedings of the ACM annual conference - Volume 2
A comparison of file organization techniques
ACM '69 Proceedings of the 1969 24th national conference
An heuristic model for analysis of memory use under static partition allocation strategies
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
The SAC-1 system: An introduction and survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Modular arithmetic and finite field theory: A tutorial
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The calculation of multivariate polynomial resultants
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The exact solution of systems of linear equations with polynomial coefficients
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Univariate power series expansions in algebraic manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
An annotated bibliography of background material on text manipulation
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Process selection in a hierarchical operating system
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Operators and algebraic structures
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Abstractions, instantiations, and proofs of marking algorithms
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
A taxonomy and analysis of event set management algorithms for discrete event simulation
ANSS '79 Proceedings of the 12th annual symposium on Simulation
System design and implementation of BGRAF2
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Predetermining visibility priority in 3-D scenes (Preliminary Report)
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
The theory, design, implementation and evaluation of a three-dimensional surface detection algorithm
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Filling regions in binary raster images: A graph-theoretic approach
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Research paradigms in computer science
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The detection of anomalous interprocedural data flow
ICSE '76 Proceedings of the 2nd international conference on Software engineering
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
A machine independent course in processor organization and assembler language programming
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
POPSS - a parametric operating system simulator
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Programming by semantic refinement
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Verifying programs which operate on data structures
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Primitives for the manipulation of general subdivisions and the computation of Voronoi diagrams
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A decidable propositional probabilistic dynamic logic
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
ALI: A procedural language to describe VLSI layouts
DAC '82 Proceedings of the 19th Design Automation Conference
Performance of an I/O channel with multiple paging drums
SIGME '73 Proceedings of the 1973 ACM SIGME symposium
Computer science education in small colleges - a report with recommendations
SIGUCCS '72 Proceedings of the annual ACM SIGUCCS symposium on The administration and management of small-college computing centers
Batch computer scheduling: A heuristically motivated approach
SIGMETRICS '74 Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation
Simulation of structured hardware designs
WSC '80 Proceedings of the 12th conference on Winter simulation
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
An applied computer science/systems programming approach to teaching data structures
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
A software emphasis in the second course in computer science
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
From English descriptions of algorithms into programs
ACM '77 Proceedings of the 1977 annual conference
No! high level languages should not be used to write systems software
ACM '75 Proceedings of the 1975 annual conference
The variable cell length listprocessor VARLIST
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A methodology for machine language decompilation
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Computer architecture in the computer science curriculum
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A first course in discrete structures with applications to computer science
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
APL\XAD: An extension of APL for abstract data manipulation
APL '74 Proceedings of the sixth international conference on APL
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Methods for teaching program verification
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Setting the foundations of computer science in a business oriented program
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
On the relative merits of two major methodologies for simulation model construction
WSC '78 Proceedings of the 10th conference on Winter simulation - Volume 1
A filing system with variable size attributes for the GASP simulation languages
WSC '78 Proceedings of the 10th conference on Winter simulation - Volume 1
Binary search trees and file organization
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
A functional view of data independence
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
On primitive recursive algorithms and the greatest common divisor function
Theoretical Computer Science
Dynamic Hierarchy Specification and Visualization
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
Using counter-examples in the data structures course
ACE '03 Proceedings of the fifth Australasian conference on Computing education - Volume 20
On the complexity of finding balanced oneway cuts
Information Processing Letters
ACM SIGARCH Computer Architecture News
Is self-replication an embedded characteristic of artificial/living matter?
ICAL 2003 Proceedings of the eighth international conference on Artificial life
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
Functional Pearl trouble shared is trouble halved
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Computer science education in small colleges
ACM SIGCSE Bulletin
Some thoughts on graduate education in computer science
ACM SIGCSE Bulletin
The effect of environment on computer science curriculum
ACM SIGCSE Bulletin
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
A course on software engineering techniques
ACM SIGCSE Bulletin
On the representation of simply generated trees by leftist trees
European Journal of Combinatorics
The wiener index of simply generated random trees
Random Structures & Algorithms
Analysis, combinatorics and computing
Workshop on COTS Integration and Evaluation
STEP '02 Proceedings of the 10th International Workshop on Software Technology and Engineering Practice
Scaling Web Sites Through Caching
IEEE Internet Computing
Computer algebra handbook
Preserving confidentiality of high-dimensional tabulated data: Statistical and computational issues
Statistics and Computing
Multi-level hierarchies for scalable ad hoc routing
Wireless Networks
The programming language Pascal
Software pioneers
Estimating the quality of answers when querying over description logic ontologies
Data & Knowledge Engineering
Regular closed sets of permutations
Theoretical Computer Science
Should program editors not abandon text oriented commands?
ACM SIGPLAN Notices
A portable pseudo-code for Pascal-like languages
ACM SIGPLAN Notices
A software implemented memory manager
ACM SIGPLAN Notices
On structural properties of eta-expansions of identity
Information Processing Letters
Tree-Maps: a space-filling approach to the visualization of hierarchical information structures
VIS '91 Proceedings of the 2nd conference on Visualization '91
Incremental switch-level simulation with zero/integer-delay
EURO-DAC '91 Proceedings of the conference on European design automation
FOL: a language for implementing file organizations for information storage and retrieval systems
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
Dynamic storage routines for Fortran programs
ACM SIGPLAN Notices
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
On the development of data structures
ACM SIGPLAN Notices
Conversion of limited-entry decision tables into optimal decision trees: fundamental concepts
ACM SIGPLAN Notices - Special issue on decision tables
DYSTAL 2: a general purpose extension of FORTRAN
ACM SIGPLAN Notices
On Communication and Computation
Minds and Machines
Extensions to SNOBOL4 in the SNOBAT implementation
ACM SIGPLAN Notices
Ordered types and a generalized for statement
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A translation machine with automated top-down parsing
ACM SIGPLAN Notices
Randomized selection in n + C + o(n) comparisons
Information Processing Letters
Bijections and the Riordan group
Theoretical Computer Science - Random generation of combinatorial objects and bijective combinatorics
Embedding k(n - k) edge-disjoint spanning trees in arrangement graphs
Journal of Parallel and Distributed Computing
Programming lessons from days gone by: extreme design
ACM SIGPLAN Notices
A new algorithm for computing transitive closures
Proceedings of the 2004 ACM symposium on Applied computing
Journal of Functional Programming
Teaching growth of functions using equivalence classes: an alternative to big O notation
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Comparisons in Hoare's Find Algorithm
Combinatorics, Probability and Computing
Random Structures & Algorithms
Coping with syntactic ambiguity or how to put the block in the box on the table
Computational Linguistics
Broadcast disks with polynomial cost functions
Wireless Networks
On the average similarity degree between solutions of random k-SAT and random CSPs
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Solving problems for maximal reducible flowgraphs
Discrete Applied Mathematics - The 1st cologne-twente workshop on graphs and combinatorial optimization (CTW 2001)
Tumble, a fast simple iteration algorithm for Fibonacci
Information Processing Letters
Montagovian Definite Clause Grammar
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
A Succinct Physical Storage Scheme for Efficient Evaluation of Path Queries in XML
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Journal of Combinatorial Theory Series A
A stochastic approach to sentence parsing
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Predictive combinators: a method for efficient processing of combinatory Categorial Grammars
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
New techniques for context modeling
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Free indexation: combinatorial analysis and a compositional algorithm
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Fast and compact updating algorithms of a double-array structure
Information Sciences—Informatics and Computer Science: An International Journal
Report to X3 on data definition languages
ACM SIGMOD Record
Information structures: tools in problem solving
ACM SIGMOD Record
Opportunities for data base reorganization
ACM SIGMOD Record
A graduate course in database management
ACM SIGMOD Record
ACM SIGMOD Record
On redundancy elimination tolerant scheduling rules
Theory and Practice of Logic Programming
Complexity
Structured control in programming languages
ACM SIGPLAN Notices - Special issue on programming language design
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Preprocessing of typed two-dimensional mathematical expressions
ACM SIGPLAN Notices
Ordering control data in structured COBOL
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A note on the MODULO operation
ACM SIGPLAN Notices
Solution of the Tower of Hanoi problem using a binary tree
ACM SIGPLAN Notices
Internal representation of programs in GRASE
ACM SIGPLAN Notices
Boundary detection in 3-dimensions with a medical application
ACM SIGGRAPH Computer Graphics
BRAINO: a machine language simulator
ACM SIGCSE Bulletin
A framework for teaching recursion
ACM SIGCSE Bulletin
ACM SIGPLAN Notices - Best of PLDI 1979-1999
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Fast breakpoints: design and implementation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A search algorithm and data structure for an efficient information system
COLING '69 Proceedings of the 1969 conference on Computational linguistics
Computer-aided research on synonymy and antonymy
COLING '69 Proceedings of the 1969 conference on Computational linguistics
Design and use of instructional tools for computer science
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The introductory programming course in computer science: ten principles
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Information Processing Letters
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
DCAS is not a silver bullet for nonblocking algorithm design
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Notes on "A note on the transitive closure of a boolean matrix"
ACM SIGACT News
ACM SIGACT News
Profile-directed restructuring of operating system code
IBM Systems Journal
Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances
Theoretical Computer Science
Fast hierarchical importance sampling with blue noise properties
ACM SIGGRAPH 2004 Papers
Garbage collection for embedded systems
Proceedings of the 4th ACM international conference on Embedded software
Synchronized World Embedding in Virtual Environments
IEEE Computer Graphics and Applications
ACM Transactions on Mathematical Software (TOMS)
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Descent Monomials, P-Partitions and Dense Garsia-Haiman Modules
Journal of Algebraic Combinatorics: An International Journal
Object-based and image-based object representations
ACM Computing Surveys (CSUR)
Symmetric functions and the Vandermonde matrix
Journal of Computational and Applied Mathematics
The design of a configurable and reconfigurable middleware platform
Distributed Computing
The management of operating system state data
ACM SIGOPS Operating Systems Review
Limiting distributions for additive functionals on Catalan trees
Theoretical Computer Science
Authenticated key agreement in dynamic peer groups
Theoretical Computer Science
Recurrence equation as basis for designing hot-potato routing protocols
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
Visualizing Tree Structures in Genetic Programming
Genetic Programming and Evolvable Machines
On the size of the search space of join optimization
Journal of Computing Sciences in Colleges
A modular integer GCD algorithm
Journal of Algorithms
The strict avalanche criterion randomness test
Mathematics and Computers in Simulation
Singularity analysis, Hadamard products, and tree recurrences
Journal of Computational and Applied Mathematics
Theoretical Computer Science - Insightful theory
Upper bound for defragmenting buddy heaps
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Similarity evaluation on tree-structured data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Transfer theorems and asymptotic distributional results for m-ary search trees
Random Structures & Algorithms
Dynamic circular work-stealing deque
Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
A comparative study on reordering constraints in statistical machine translation
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Simulation relations for alternating Büchi automata
Theoretical Computer Science
A survey on tree edit distance and related problems
Theoretical Computer Science
On d-orthogonality of the Sheffer systems associated to a convolution semigroup
Journal of Computational and Applied Mathematics
ACM SIGSAM Bulletin
Is a linked list the best storage structure for an algebra system?
ACM SIGSAM Bulletin
Computer symbolic math & education: a radical proposal
ACM SIGSAM Bulletin
Representing matrices as quadtrees for parallel processors: extended abstract
ACM SIGSAM Bulletin
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
A high speed list processor for discrete event multiprocessor: simulators
ACM SIGSIM Simulation Digest
Exact distribution of individual displacements in linear probing hashing
ACM Transactions on Algorithms (TALG)
Emergent Patterning Phenomena in 2D Cellular Automata
Artificial Life
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Some Observations on the Theory of Cryptographic Hash Functions
Designs, Codes and Cryptography
Journal of the ACM (JACM)
Intelligent memory manager: reducing cache pollution due to memory management functions
Journal of Systems Architecture: the EUROMICRO Journal
On Floyd and Rivest's SELECT algorithm
Theoretical Computer Science
The binomial transform and the analysis of skip lists
Theoretical Computer Science
The algorithm of pipelined gossiping
Journal of Systems Architecture: the EUROMICRO Journal
On multicast trees: structure and size estimation
IEEE/ACM Transactions on Networking (TON)
Application of unspecified sequences in symbolic summation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Journal of Computational Physics
Multiple serial episodes matching
Information Processing Letters
Progress in computational complexity theory
Journal of Computer Science and Technology
Dynamic polymorphism in Fortran 95: how submodules can help
ACM SIGPLAN Fortran Forum
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Towards an automatic complexity analysis for generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
On quickselect, partial sorting and multiple quickselect
Information Processing Letters
Locating factors of the infinite Fibonacci word
Theoretical Computer Science
Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement
ACM SIGAda Ada Letters
Engines of the brain: the computational instruction set of human cognition
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
A comparison of memory allocators for real-time applications
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Dynamically adapting GUIs to diverse input devices
Proceedings of the 8th international ACM SIGACCESS conference on Computers and accessibility
Fast string sorting using order-preserving compression
Journal of Experimental Algorithmics (JEA)
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
The origins of combinatorics on words
European Journal of Combinatorics
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Aldat: A retrospective on a work in progress
Information Systems
KDS-transformation for Data Compression
Fundamenta Informaticae
A new simulator and ide for teaching CS220: computer architecture
Journal of Computing Sciences in Colleges
On Generating All Binary Trees
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Profiles of random trees: Plane-oriented recursive trees
Random Structures & Algorithms
Generating smooth parting lines for mold design for meshes
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Sliding windows algorithm for B-spline multiplication
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Using Distributed Object Middleware To Implement Scalable Workflow Management Systems
Journal of Integrated Design & Process Science
Space-efficient geometric divide-and-conquer algorithms
Computational Geometry: Theory and Applications
Parallel algorithms for separable permutations
Discrete Applied Mathematics
Simulation output analysis using integrated paths
ACM Transactions on Modeling and Computer Simulation (TOMACS)
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A protected division algorithm
CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5
On the complexity of managing probabilistic XML data
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Implementation of multiple pagesize support in HP-UX
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
WinHIPE: an IDE for functional programming based on rewriting and visualization
ACM SIGPLAN Notices
Automating renormalization of quantum field theories
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography
Proceedings of the 2007 international workshop on Parallel symbolic computation
Theoretical Computer Science
Optimal inter-object correlation when replicating for availability
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Stanford's generalized database system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Three Paradigms of Computer Science
Minds and Machines
A scan-driven sort facility for a relational database system
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Dynamic graph-based software fingerprinting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Application of data compression to a large bibliographic data base
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
State space exploration using feedback constraint generation and Monte-Carlo sampling
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Journal of Computing Sciences in Colleges - Papers of the Fourteenth Annual CCSC Midwestern Conference and Papers of the Sixteenth Annual CCSC Rocky Mountain Conference
Partial fillup and search time in LC tries
ACM Transactions on Algorithms (TALG)
Explaining clinical decisions by extracting regularity patterns
Decision Support Systems
Measuring the structural similarity of semistructured documents using entropy
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
ACM Transactions on Algorithms (TALG)
Shared heap management for memory-limited java virtual machines
ACM Transactions on Embedded Computing Systems (TECS)
Approximate computation of curves on B-spline surfaces
Computer-Aided Design
Efficient simulation of Internet worms
ACM Transactions on Modeling and Computer Simulation (TOMACS)
CAMP: a common API for measuring performance
LISA'07 Proceedings of the 21st conference on Large Installation System Administration Conference
Grid query optimizer to improve query processing in grids
Future Generation Computer Systems
On the number of fuzzy subgroups of finite abelian groups
Fuzzy Sets and Systems
A new code generation algorithm for 2-offset producer order queue computation model
Computer Languages, Systems and Structures
Low bias integrated path estimators
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A stochastic model for the throughput of non-persistent TCP flows
Performance Evaluation
An experimental study of sorting and branch prediction
Journal of Experimental Algorithmics (JEA)
A discriminative framework for clustering via similarity functions
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Efficient lineage tracking for scientific workflows
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
An analysis of average search cost of the external hashing with separate chain
Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
Essentially Non-Oscillatory Adaptive Tree Methods
Journal of Scientific Computing
Adaptive initialization algorithm for ad hoc radio networks with carrier sensing
Theoretical Computer Science
New schemes for sharing points on an elliptic curve
Computers & Mathematics with Applications
On minimum k-modal partitions of permutations
Journal of Discrete Algorithms
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Deterministic Graphical Games Revisited
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A Uniform Approach Towards Succinct Representation of Trees
SWAT '08 Proceedings of the 11th Scandinavian workshop on Algorithm Theory
A Methodology for Sharing Archival Descriptive Metadata in a Distributed Environment
ECDL '08 Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries
The Complexity of Sorting with Networks of Stacks and Queues
ESA '08 Proceedings of the 16th annual European symposium on Algorithms
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
A reflective context-aware system for spatial routing applications
Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing
Generating all permutations by context-free grammars in Greibach normal form
Theoretical Computer Science
Incremental clustering of dynamic data streams using connectivity based representative points
Data & Knowledge Engineering
Kernel method and system of functional equations
Journal of Computational and Applied Mathematics
Variable topology random access memory organizations
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Efficient algorithms for clique problems
Information Processing Letters
Improved bounds for performability evaluation algorithms using state generation
Performance Evaluation
Monotone minimal perfect hashing: searching a sorted table with O(1) accesses
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Average-case analysis of some plurality algorithms
ACM Transactions on Algorithms (TALG)
Variable-length hash area entries
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Correction of Overlapping Template Matching Test Included in NIST Randomness Test Suite
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Word-length selection for power minimization via nonlinear optimization
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Larc: a little architecture for the classroom
Journal of Computing Sciences in Colleges
Nested parallelism for multi-core HPC systems using Java
Journal of Parallel and Distributed Computing
A note on predecessor searching in the pointer machine model
Information Processing Letters
Simulation output analysis using integrated paths II: Low bias estimators
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm
Journal of Automated Reasoning
Two memory allocators that use hints to improve locality
Proceedings of the 2009 international symposium on Memory management
Capacity of multichannel wireless networks under the protocol model
IEEE/ACM Transactions on Networking (TON)
Symmetric and quasi-symmetric functions associated to polymatroids
Journal of Algebraic Combinatorics: An International Journal
Cost reduction on roots pre-isolation
AIKED'09 Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Small synopses for group-by query verification on outsourced data streams
ACM Transactions on Database Systems (TODS)
Optimizing transactions for captured memory
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Comparative methods for the polynomial isolation
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Access and Exchange of Hierarchically Structured Resources on the Web with the NESTOR Framework
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Musicomputation: teaching computer science to teenage musicians
Proceedings of the seventh ACM conference on Creativity and cognition
ACM Transactions on Algorithms (TALG)
Platform-independent modeling and prediction of application resource usage characteristics
Journal of Systems and Software
Maximum likelihood analysis of algorithms and data structures
Theoretical Computer Science
A compact 1.1-Gb/s encoder and a memory-based 600-Mb/s decoder for LDPC convolutional codes
IEEE Transactions on Circuits and Systems Part I: Regular Papers - Special issue on ISCAS2008
Improved optimization of FORTRAN object programs
IBM Journal of Research and Development
Heuristic design algorithm for computer communication networks with different classes of packets
IBM Journal of Research and Development
Discrete link capacity and priority assignments in communication networks
IBM Journal of Research and Development
Scheme for invalidating references to freed storage
IBM Journal of Research and Development
Data Refinement of Invariant Based Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
MaSiMe: A Customized Similarity Measure and Its Application for Tag Cloud Refactoring
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Parsing algorithms based on tree automata
IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
DCAS-based concurrent deques supporting bulk allocation
DCAS-based concurrent deques supporting bulk allocation
A dynamic-sized nonblocking work stealing deque
A dynamic-sized nonblocking work stealing deque
Minimum expected length of fixed-to-variable lossless compression of memoryless sources
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 1
Parallel algorithms for separable permutations
Discrete Applied Mathematics
A System for Virtual Directories Using Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
HPSR'09 Proceedings of the 15th international conference on High Performance Switching and Routing
The pep/8 memory tracer: visualizing activation records on the run-time stack
Proceedings of the 41st ACM technical symposium on Computer science education
Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
Proceedings of the 2010 conference on Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
Micro-pages: increasing DRAM efficiency with locality-aware data placement
Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
A banyan-tree topology for railway wireless mesh network
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
An intelligent context-aware spatial routing system in mobile environment
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
CPM'03 Proceedings of the 14th annual conference on Combinatorial pattern matching
Identifying structural mechanisms in standard genetic programming
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Visualizing tree structures in genetic programming
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
A new elimination-based data flow analysis framework using annotated decomposition trees
CC'07 Proceedings of the 16th international conference on Compiler construction
Practical and secure solutions for integer comparison
PKC'07 Proceedings of the 10th international conference on Practice and theory in public-key cryptography
A new data compression technique for event based program traces
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
An improved analysis of the lossy difference aggregator
ACM SIGCOMM Computer Communication Review
Shared generation of pseudo-random functions with cumulative maps
CT-RSA'03 Proceedings of the 2003 RSA conference on The cryptographers' track
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Journal of Intelligent Information Systems
Toward acceleration of RSA using 3D graphics hardware
Cryptography and Coding'07 Proceedings of the 11th IMA international conference on Cryptography and coding
The power of tokens: rendezvous and symmetry detection for two mobile agents in a ring
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Maintaining arrays of contiguous objects
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Combinatorial queries and updates on partial words
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
TEDI: efficient shortest path query answering on graphs
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Factors of characteristic words: Location and decompositions
Theoretical Computer Science
Time and quality of 3D rendering process using programming code optimisation techniques
International Journal of Intelligent Information and Database Systems
SQL query space and time complexity estimation for multidimensional queries
International Journal of Intelligent Information and Database Systems
Channel fragmentation in dynamic spectrum access systems: a theoretical study
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
The NESTOR framework: how to handle hierarchical data structures
ECDL'09 Proceedings of the 13th European conference on Research and advanced technology for digital libraries
Metrics evaluation for context-aware computing
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Analyzing the behavior of event processing applications
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Self-taught hashing for fast similarity search
Proceedings of the 33rd international ACM SIGIR conference on Research and development in information retrieval
Bounds for cops and robber pursuit
Computational Geometry: Theory and Applications
Small-world effects in wireless agent sensor networks
International Journal of Wireless and Mobile Computing
Digit-Serial Pipeline Sorter Architecture
Journal of Signal Processing Systems
A similarity measure for indefinite rankings
ACM Transactions on Information Systems (TOIS)
Random records and cuttings in binary search trees
Combinatorics, Probability and Computing
Supporting demanding wireless applications with frequency-agile radios
NSDI'10 Proceedings of the 7th USENIX conference on Networked systems design and implementation
Cops and Robbers from a distance
Theoretical Computer Science
Compilers, architectures and synthesis for embedded computing: retrospect and prospect
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Algorithm design and analysis techniques
Algorithms and theory of computation handbook
Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes
Fundamenta Informaticae
Issues in testing collection class libraries
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Enhanced illumination sensing using multiple harmonics for LED lighting systems
IEEE Transactions on Signal Processing
Type-II optimal polynomial bases
WAIFI'10 Proceedings of the Third international conference on Arithmetic of finite fields
Communication-efficient failure detection and consensus in omission environments
Information Processing Letters
E=I+T: The internal extent formula for compacted tries
Information Processing Letters
Mining frequent closed trees in evolving data streams
Intelligent Data Analysis - Ubiquitous Knowledge Discovery
Error-correcting output hashing in fast similarity search
ICIMCS '10 Proceedings of the Second International Conference on Internet Multimedia Computing and Service
Hidden credential retrieval without random oracles
WISA'10 Proceedings of the 11th international conference on Information security applications
Mathematical limits of parallel computation for embedded systems
Proceedings of the 16th Asia and South Pacific Design Automation Conference
On the similar order of convergence of two adjacent sequences related to ζ(1/2)
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Teaching the art of computer programming (TAOCP)
Proceedings of the 16th Western Canadian Conference on Computing Education
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
Personalised resource categorisation using euler diagrams
IS-EUD'11 Proceedings of the Third international conference on End-user development
Maxima-finding algorithms for multidimensional samples: A two-phase approach
Computational Geometry: Theory and Applications
Brief announcement: A Note On Replication Of documents
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Probabilities of discrepancy between minima of cross-validation, Vapnik bounds and true risks
International Journal of Applied Mathematics and Computer Science
The artist in the computer scientist: more humanity to our research
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Finding optimal addition chains using a genetic algorithm approach
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Public health community mining in YouTube
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Simple algorithm for sorting the fibonacci string rotations
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Policy-based benchmarking of weak heaps and their relatives,
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Original article: A direct calculation of moments of the sample variance
Mathematics and Computers in Simulation
OCTAVO: an FPGA-centric processor family
Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays
XML query processing and optimization
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
A generalization of magic squares with applications to digital halftoning
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
A polynomial time solvable formulation of multiple sequence alignment
RECOMB'05 Proceedings of the 9th Annual international conference on Research in Computational Molecular Biology
On second-order differential power analysis
CHES'05 Proceedings of the 7th international conference on Cryptographic hardware and embedded systems
The Optical Chained-Cubic Tree interconnection network: Topological structure and properties
Computers and Electrical Engineering
Adaptive initialization algorithm for ad hoc radio networks with carrier sensing
ALGOSENSORS'06 Proceedings of the Second international conference on Algorithmic Aspects of Wireless Sensor Networks
A fast algorithmic technique for comparing large phylogenetic trees
SPIRE'05 Proceedings of the 12th international conference on String Processing and Information Retrieval
International Journal of Applied Cryptography
Physical simulation of inarticulate robots
Cryptography and Security
Computer storage fragmentation: pioneering work of brian randell
Dependable and Historic Computing
Optimal configuration of an optical network providing predefined multicast transmissions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Dynamic Defragmentation of Reconfigurable Devices
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Building a distributed digital library system enhancing the role of metadata
FDIA'08 Proceedings of the 2nd BCS IRSG conference on Future Directions in Information Access
An adaptive multiresolution method on dyadic grids: Application to transport equations
Journal of Computational and Applied Mathematics
Locating factors of a characteristic word via the generalized Zeckendorf representation of numbers
Theoretical Computer Science
Cooperative private searching in clouds
Journal of Parallel and Distributed Computing
Survey: DNA-inspired information concealing: A survey
Computer Science Review
A performance analysis of channel fragmentation in dynamic spectrum access systems
Queueing Systems: Theory and Applications
Nested Recurrence Relations with Conolly-like Solutions
SIAM Journal on Discrete Mathematics
Simulating Size-constrained Galton-Watson Trees
SIAM Journal on Computing
On Generating All Binary Trees
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Dynamic Pricing Under a General Parametric Choice Model
Operations Research
A type system for counting instances of software components
Theoretical Computer Science
The impact of spelling errors on patent search
EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics
Set systems and families of permutations with small traces
European Journal of Combinatorics
ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
Action graphs and user performance analysis
International Journal of Human-Computer Studies
International Journal of Intelligent Information Technologies
Discovering patterns in social networks with graph matching algorithms
SBP'13 Proceedings of the 6th international conference on Social Computing, Behavioral-Cultural Modeling and Prediction
Efficient scheduling of recursive control flow on GPUs
Proceedings of the 27th international ACM conference on International conference on supercomputing
Classifying online social network users through the social graph
FPS'12 Proceedings of the 5th international conference on Foundations and Practice of Security
Mathematical Properties of the Deep Coalescence Cost
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Accuracy of the weighted essentially non-oscillatory conservative finite difference schemes
Journal of Computational Physics
Asymptotics and random sampling for BCI and BCK lambda terms
Theoretical Computer Science
Algorithm 938: Compressing circular buffers
ACM Transactions on Mathematical Software (TOMS)
Recent and robust query auto-completion
Proceedings of the 23rd international conference on World wide web
Unsupervised sub-tree alignment for tree-to-tree translation
Journal of Artificial Intelligence Research
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
Identifying user sessions from web server logs with integer programming
Intelligent Data Analysis - Business Analytics and Intelligent Optimization
EuroVis '13 Proceedings of the 15th Eurographics Conference on Visualization
Hi-index | 1.64 |