The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Gap theorems for distributed computing
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
On the storage requirement in the out-of-core multifrontal method for sparse factorization
ACM Transactions on Mathematical Software (TOMS)
Use of mathematical switches to solve differential equation problems
ACM SIGNUM Newsletter
Efficient recompilation of module interfaces in a software development environment
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Recursion versus non-recursion in Pascal: recursion can be faster
ACM SIGPLAN Notices
Introducing object-oriented programming into the computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
A case study of programming with abstract data types in a data structures course
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
An interactive demonstration system for implementations of abstract data types
ACM SIGCSE Bulletin
Multicast routing in internetworks and extended LANs
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
A transition from bubble to shell sort
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Spin-out: the Chinese rings in the classroom
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
A simple interprocedural register allocation algorithm and its effectiveness for LISP
ACM Transactions on Programming Languages and Systems (TOPLAS)
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A graph-oriented mapping strategy for a hypercube
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Elimination of bottlenecks in dynamic dataflow processors
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
A grammar-based approach towards unifying hierarchical data models
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
An Algorithm for Finding a Common Structure Shared by a Family of Strings
IEEE Transactions on Pattern Analysis and Machine Intelligence
Using modula-2 to teach data abstraction
ACM SIGCSE Bulletin
Operations on sets of intervals - an exercise for data structures or algorithms
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
A new approach to the rectilinear Steiner tree problem
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
FACE core environment: the model and its application in CAE/CAD tool development
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Plowing: modifying cells and routing 45:9D - layouts
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A top down unification of minimum cost spanning tree algorithms
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Complete sequential specification allows for concurrent execution
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
An Efficient Digital Search Algorithm by Using a Double-Array Structure
IEEE Transactions on Software Engineering
Multicast routing in datagram internetworks and extended LANs
ACM Transactions on Computer Systems (TOCS)
Skip lists: a probabilistic alternative to balanced trees
Communications of the ACM
Simulation of embedded memories by defective hashing
IBM Journal of Research and Development
New techniques for best-match retrieval
ACM Transactions on Information Systems (TOIS)
Grouper: an expert system for redistricting
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
A parallel algorithm for record clustering
ACM Transactions on Database Systems (TODS)
Minimizing ripple recompilation in a persistent software environment
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A compendium of key search references
ACM SIGIR Forum
Minimal space, average linear time duplicate deletion
Communications of the ACM
A generalized envelope method for sparse factorization by rows
ACM Transactions on Mathematical Software (TOMS)
Micro Time Cost Analysis of Parallel Computations
IEEE Transactions on Computers
Fault-tolerant routing in MIN-based supercomputers
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Logarithmic time cost optimal parallel sorting is not yet fast in practice!
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Delta storage for arbitrary non-text files
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Parallel Recognition and Parsing on the Hypercube
IEEE Transactions on Computers
Journal of the ACM (JACM)
Effective clustering of complex objects in object-oriented databases
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Global routing considerations in a cell synthesis system
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
LECSIM: a levelized event driven compiled logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
PILS: an iterative linear solver package for ill-conditioned systems
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Teaching data structures with Ada: an eight-year perspective
ACM SIGCSE Bulletin
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A parallel algorithm for the minimum spanning tree on an SIMD machine
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The parallel C (pC) programming language
IBM Journal of Research and Development
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
Sparse dynamic programming I: linear cost functions
Journal of the ACM (JACM)
Stochastic query optimization in distributed databases
ACM Transactions on Database Systems (TODS)
Expert systems in government: a look at the redistricting problem
ACM SIGAPP Applied Computing Review
Automatic system file generator
ACM SIGSOFT Software Engineering Notes
Asynchronous organizations for multi-algorithm problems
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Approaching classical algorithms in APL2
APL '93 Proceedings of the international conference on APL
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
WSC '92 Proceedings of the 24th conference on Winter simulation
Dominators, super blocks, and program coverage
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Index structures for selective dissemination of information under the Boolean model
ACM Transactions on Database Systems (TODS)
Biased finger trees and three-dimensional layers of maxima: (preliminary version)
SCG '94 Proceedings of the tenth annual symposium on Computational geometry
Architecture and applications of the Hy+ visualization system
IBM Systems Journal
Shortest paths in the plane with polygonal obstacles
Journal of the ACM (JACM)
Planning the Motions of a Mobile Robot in a Sensory Uncertainty Field
IEEE Transactions on Pattern Analysis and Machine Intelligence
From animation to analysis in introductory computer science
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A timing analysis algorithm for circuits with level-sensitive latches
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Routing in a new 2-dimensional FPGA/FPIC routing architecture
DAC '94 Proceedings of the 31st annual Design Automation Conference
Implementing deletion in B+-trees
ACM SIGMOD Record
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
Multicast routing in internetworks and extended LANs
ACM SIGCOMM Computer Communication Review - Special twenty-fifth anniversary issue. Highlights from 25 years of the Computer Communication Review
Generating parallel code from object oriented mathematical models
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Patricia tries again revisited
Journal of the ACM (JACM)
Minimizing row displacement dispatch tables
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Multiresolution analysis of arbitrary meshes
SIGGRAPH '95 Proceedings of the 22nd annual conference on Computer graphics and interactive techniques
ACM SIGACT News
Transforming set data types to power optimal data structures
ISLPED '95 Proceedings of the 1995 international symposium on Low power design
Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Database Systems (TODS)
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Fitting smooth surfaces to dense polygon meshes
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Scale-dependent reproduction of pen-and-ink illustrations
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
ICS '96 Proceedings of the 10th international conference on Supercomputing
Program decomposition for pointer aliasing: a step toward practical analyses
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The Cache Assignment Problem and Its Application to Database Buffer Management
IEEE Transactions on Software Engineering
A quantitative comparison of parallel computation models
Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures
Comment on “self-indexed sort”
ACM SIGPLAN Notices
Meld scheduling: relaxing scheduling constraints across region boundaries
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
Extended ephemeral logging: log storage management for applications with long lived transactions
ACM Transactions on Database Systems (TODS)
Geodesic Saliency of Watershed Contours and Hierarchical Segmentation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Parameters for System Effectiveness Evaluation of Distributed Systems
IEEE Transactions on Computers
Complexity of simulation models: a graph theoretic approach
WSC '93 Proceedings of the 25th conference on Winter simulation
Software components in a data structure precompiler
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
On the analysis of indexing schemes
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Time-work tradeoffs for parallel algorithms
Journal of the ACM (JACM)
A topology modifying progressive decimation algorithm
VIS '97 Proceedings of the 8th conference on Visualization '97
A simple and effective greedy multilayer router for MCMs
Proceedings of the 1997 international symposium on Physical design
Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 29th conference on Winter simulation
Automatic insertion of BIST hardware using VHDL
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Optimal Algorithmic Complexity of Fuzzy ART
Neural Processing Letters
Functional debugging of systems-on-chip
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
A quantitative comparison of parallel computation models
ACM Transactions on Computer Systems (TOCS)
Real-Time Performance of Sorting Algorithms
Real-Time Systems
Proceedings of the 26th annual conference on Computer graphics and interactive techniques
Global min-cuts in RNC, and other ramifications of a simple min-out algorithm
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Runtime prediction of real programs on real machines
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Storage reclamation models for Ada programs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Generation of layouts from MOS circuit schematics: a graph theoretic approach
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Optimal scheduling of arithmetic operations in parallel with memory access (preliminary version)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Applying parallel processing techniques to classification problems in constructive solid geometry
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Quicksort algorithms with an early exit for sorted subfiles
CSC '87 Proceedings of the 15th annual conference on Computer Science
Time-space tradeoffs for tree search and traversal
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
WSC' 90 Proceedings of the 22nd conference on Winter simulation
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
A Multicast Routing Algorithm Reducing Congestion
International Journal of Network Management
Localized watermarking: methodology and application to operation scheduling
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Communications of the ACM
A constructive approach to the design of algorithms and their data structures
Communications of the ACM
A framework for symmetric band reduction
ACM Transactions on Mathematical Software (TOMS)
Teaching advanced problem solving: implications for the CS curriculum
CCSC '00 Proceedings of the fourteenth annual consortium on Small Colleges Southeastern conference
Batch-construction of B+-trees
Proceedings of the 2001 ACM symposium on Applied computing
Goal-directed object-oriented programming in Unicon
Proceedings of the 2001 ACM symposium on Applied computing
Encoding rectilinear Steiner trees as lists of edges
Proceedings of the 2001 ACM symposium on Applied computing
ACM SIGACT News
ACM Transactions on Internet Technology (TOIT)
Answering queries with useful bindings
ACM Transactions on Database Systems (TODS)
The architecture of robust publishing systems
ACM Transactions on Internet Technology (TOIT)
Sorting and merging on the DAP
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
On constructing minimum height B* -trees in optimal time
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Burst tries: a fast, efficient data structure for string keys
ACM Transactions on Information Systems (TOIS)
Multicast: concept, problems, routing protocols, algorithms and QoS extensions
Distributed multimedia databases
Using Rough Sets with Heuristics for Feature Selection
Journal of Intelligent Information Systems
Uniform comparison of data models using containment modeling
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
Regularization of hierarchical VHDL-AMS models using bipartite graphs
Proceedings of the 39th annual Design Automation Conference
A Finite Branch-and-Bound Algorithm for Linear Multiplicative Programming
Computational Optimization and Applications
Succinct indexable dictionaries with applications to encoding k-ary trees and multisets
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Teaching data structures with multiple collection class libraries
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Theoretical Computer Science
Starting top-down, refining bottom-up, sharpening by zoom-in
ACM SIGCSE Bulletin
System-level exploration of association table implementations in telecom network applications
ACM Transactions on Embedded Computing Systems (TECS)
A simplified correctness proof for a well-known algorithm computing strongly connected components
Information Processing Letters
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
An Optimal Strategy for the Constrained Cycle Cover Problem
Annals of Mathematics and Artificial Intelligence
Problem Solving with a Perpetual Evolutionary Learning Architecture
Applied Intelligence
Generating Heuristics to Control Configuration Processes
Applied Intelligence
Nonconstructive Computational Mathematics
Journal of Automated Reasoning
The Propositional Formula Checker HeerHugo
Journal of Automated Reasoning
Reducing the Complexity of Robot‘s Scene for Faster Collision Detection
Journal of Intelligent and Robotic Systems
A Lagrangian Based Branch-and-Bound Algorithm for Production-transportation Problems
Journal of Global Optimization
Suppressing marginal totals from a two-dimensional table to protect sensitive information
Statistics and Computing
Meld Scheduling: A Technique for Relaxing Scheduling Constraints
International Journal of Parallel Programming
Generating Decision Trees from Otoneurological Data with a Variable Grouping Method
Journal of Medical Systems
A neural net compiler system for hierarchical organization
ACM SIGPLAN Notices
Metamorphosis of Arbitrary Triangular Meshes
IEEE Computer Graphics and Applications
The Performance of Protocols Based on Locks with Ordered Sharing
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
IEEE Transactions on Knowledge and Data Engineering
A Trie Compaction Algorithm for a Large Set of Keys
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
IEEE Transactions on Knowledge and Data Engineering
Time-Space Trade-Off Analysis of Morphic Trie Images
IEEE Transactions on Knowledge and Data Engineering
Comparing Images Using the Hausdorff Distance
IEEE Transactions on Pattern Analysis and Machine Intelligence
Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines
IEEE Transactions on Parallel and Distributed Systems
Evaluation of a Parallel Branch-and-Bound Algorithm on a Class of Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers
IEEE Transactions on Parallel and Distributed Systems
Optimal Software Multicast in Wormhole-Routed Multistage Networks
IEEE Transactions on Parallel and Distributed Systems
Work-Time Optimal k-Merge Algorithms on the PRAM
IEEE Transactions on Parallel and Distributed Systems
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
IEEE Transactions on Software Engineering
Reusability of Mathematical Software: A Contribution
IEEE Transactions on Software Engineering
Approximate Throughput Computation of Stochastic Marked Graphs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
A multiple-heaps algorithm for parallel simulation of collision systems
Journal of Computational Physics
A linear time special case for MC Games
Fundamenta Informaticae
A dynamic construction algorithm for the compact patricia trie using the hierarchical structure
Information Processing and Management: an International Journal
Canonical derivatives, partial derivatives and finite automaton constructions
Theoretical Computer Science
Improving the Representation of Infinite Trees to Deal with Sets of Trees
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Work-Time Optimal K-Merge Algorithms on the PRAM
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
State Space Reduction Using Partial tau-Confluence
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Algorithms for the Construction of Concept Lattices and Their Diagram Graphs
PKDD '01 Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery
Optimized Substructure Discovery for Semi-structured Data
PKDD '02 Proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery
Query Processing for Distance Metrics
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Test Order for Inter-Class Integration Testing of Object-Oriented Software
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Complexity of Layered Binary Search Trees with Relaxed Balance
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Censoring Statistical Tables to Protect Sensitive Information: Easy and Hard Problems
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Implicit Structures to Implement NFA's from Regular Expressions
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Direct Construction of Minimal Acyclic Subsequential Transducers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
New Finite Automaton Constructions Based on Canonical Derivatives
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Algorithm Explanation: Visualizing Abstract States and Invariants
Revised Lectures on Software Visualization, International Seminar
Partial Order Verification of Programmable Logic Controllers
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Linear-Time Longest-Common-Prefix Computation in Suffix Arrays and Its Applications
CPM '01 Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching
Forbidden Factors and Fragment Assembly
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Computing the Equation Automaton of a Regular Expression in Space and Time
CPM '01 Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching
Longest Common Subsequence from Fragments via Sparse Dynamic Programming
ESA '98 Proceedings of the 6th Annual European Symposium on Algorithms
Range Searching in Categorical Data: Colored Range Searching on Grid
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
SuperPascal: a publication language for parallel scientific computing
The origin of concurrent programming
An incremental unique representation for regular trees
Nordic Journal of Computing
A system-level methodology for fast multi-objective design space exploration
Proceedings of the 13th ACM Great Lakes symposium on VLSI
The OODB path-method generator (PMG) using access weights and precomputed access relevance
The VLDB Journal — The International Journal on Very Large Data Bases
The height of a random binary search tree
Journal of the ACM (JACM)
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Effective binary perspectives in algorithmic problem solving
Journal on Educational Resources in Computing (JERIC)
Multi-objective abstract data type refinement for mapping tables in telecom network applications
Proceedings of the 2002 workshop on Memory system performance
Speech Dimensionality Analysis on Hypercubical Self-Organizing Maps
Neural Processing Letters
What's hot and what's not: tracking most frequent items dynamically
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hybrid genetic algorithm with exact techniques applied to TSP
Second international workshop on Intelligent systems design and application
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
Exploiting self-similarity in geometry for voxel based solid modeling
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Do the arithmetic operations really execute in constant time?
ACM SIGCSE Bulletin
An efficient method for computing exact path delay fault coverage
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Rapid Gate Matching with Don't Cares
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A “metasimulator” for microcoded processors
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Abstract types, ADA packages, and the teaching of data structures
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
MSS '03 Proceedings of the 20 th IEEE/11 th NASA Goddard Conference on Mass Storage Systems and Technologies (MSS'03)
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
IFS Fractal Interpolation for 2D and 3D Visualization
VIS '95 Proceedings of the 6th conference on Visualization '95
Macro Block Based FPGA Floorplanning
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Exploration and Synthesis of Dynamic Data Sets in Telecom Network Applications
Proceedings of the 12th international symposium on System synthesis
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
Personalized broadcasting in banyan-hypercube networks
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
From datalog rules to efficient programs with time and space guarantees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
SymSim: Symbolic Fault Simulation of Data- ow Data-path Designs at the Register-Transfer Level
ITC '99 Proceedings of the 1999 IEEE International Test Conference
ACM SIGPLAN Notices
Data flow graphs: system specification with the most unrestricted semantics
EURO-DAC '91 Proceedings of the conference on European design automation
Proceedings of the 2003 ACM symposium on Applied computing
A Memetic Algorithm for Minimum-Cost Vertex-Biconnectivity Augmentation of Graphs
Journal of Heuristics
Automated Assistants for Analyzing Team Behaviors
Autonomous Agents and Multi-Agent Systems
Challenges in graph-based relational data visualization
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Journal of Functional Programming
A Human-Computer Interactive Method for Projected Clustering
IEEE Transactions on Knowledge and Data Engineering
An information extraction core system for real world German text processing
ANLC '97 Proceedings of the fifth conference on Applied natural language processing
An improvement key deletion method for double-array structure using single-nodes
Information Processing and Management: an International Journal
Interactive incremental chart parsing
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Transforming lattices into non-deterministic automata with optional null arcs
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
LR recursive transition networks for Earley and Tomita parsing
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Proposal for a categorical programming language
ACM SIGPLAN Notices
LangLAB: a natural language analysis system
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Quantum and classical query complexities of local search are polynomially related
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
ORDPATHs: insert-friendly XML node labels
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
A discipline of dynamic programming over sequence data
Science of Computer Programming - Methods of software design: Techniques and applications
Scalable custom instructions identification for instruction-set extensible processors
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Algorithmic patterns and the case of the sliding delta
ACM SIGCSE Bulletin
Teaching bit-level algorithm analysis to the undergraduates in computer science
ACM SIGCSE Bulletin
Improved algorithm for all pairs shortest paths
Information Processing Letters
A compression algorithm using integrated record information for translation dictionaries
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Informatics and computer science intelligent systems applications
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list
Working group reports from ITiCSE on Innovation and technology in computer science education
ACM SIGPLAN Fortran Forum
Learning Local Transductions Is Hard
Journal of Logic, Language and Information
Using RT Level Component Descriptions for Single Stuck-at Hierarchical Fault Simulation
Journal of Electronic Testing: Theory and Applications
The path-variance problem on tree networks
Discrete Applied Mathematics - The fourth international colloquium on graphs and optimisation (GO-IV)
NEXUS: towards a problem solving environment (PSE) for scientific computing
ACM SIGNUM Newsletter
What's hot and what's not: tracking most frequent items dynamically
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
On the complexity of division and set joins in the relational algebra
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Very large Bayesian multinets for text classification
Future Generation Computer Systems
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Linearity Embedded in Nonconvex Programs
Journal of Global Optimization
A prototype and algorithms for tree ring area measurement
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Power-Aware Test Pattern Generation for Improved Concurrency at the Core Level
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Implementing sorting in database systems
ACM Computing Surveys (CSUR)
jNURBS: an object-oriented, symbolic framework for integrated, meshless analysis and optimal design
Advances in Engineering Software
Privatized rural postman problems
Computers and Operations Research
Importance measures for customer requirements and technical attributes in fuzzy environment
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Generating Referring Expressions that Involve Gradable Properties
Computational Linguistics
Table design in dynamic programming
Information and Computation
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
On the complexity of division and set joins in the relational algebra
Journal of Computer and System Sciences
Multi-objective design space exploration of embedded systems
Journal of Embedded Computing - Low-power Embedded Systems
Smoothed analysis of binary search trees
Theoretical Computer Science
Journal of Systems Architecture: the EUROMICRO Journal
On Data Reliability Assessment in Accounting Information Systems
Information Systems Research
Publius: a robust, tamper-evident, censorship-resistant web publishing system
SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Certificate revocation and certificate update
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Generalized structured programs and loop trees
Science of Computer Programming
Combining object-oriented design and computer architecture into a single senior-level course
WCAE '95 Proceedings of the 1995 workshop on Computer architecture education
A compact static double-array keeping character codes
Information Processing and Management: an International Journal
An O(n3 (loglogn/logn)5/4) time algorithm for all pairs shortest paths
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Alembic: an efficient algorithm for CNF preprocessing
Proceedings of the 44th annual Design Automation Conference
Compile-time decided instruction cache locking using worst-case execution paths
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Succinct indexable dictionaries with applications to encoding k-ary trees, prefix sums and multisets
ACM Transactions on Algorithms (TALG)
A persistent union-find data structure
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Aggregating changes to efficiently check consistency
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
A system for industrial-strength linguistic parsing of medical documents
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Object-oriented description of graph data structures
Programming and Computing Software
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
2D Euclidean distance transform algorithms: A comparative survey
ACM Computing Surveys (CSUR)
A simplified derivation of timing complexity lower bounds for sorting by comparisons
Nordic Journal of Computing
A note of an O(n3/logn) time algorithm for all pairs shortest paths
Information Processing Letters
ACM Transactions on Algorithms (TALG)
Joint co-clustering: Co-clustering of genomic and clinical bioimaging data
Computers & Mathematics with Applications
Quantifying ILP by means of graph theory
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Efficient dictionary-based text rewriting using subsequential transducers†
Natural Language Engineering
Automation and Remote Control
A constraint-based dynamic geometry system
Proceedings of the 2008 ACM symposium on Solid and physical modeling
Efficient Algorithm of Affine Form Searching forWeakly Specified Boolean Function
Fundamenta Informaticae
Low-power multi-core ATPG to target concurrency
Integration, the VLSI Journal
An alternative analysis of the open hashing algorithm
Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
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
A new parallel algorithm for the maximal independent set problem
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Hierarchical memory with block transfer
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Science of Computer Programming
A Timing-Resistant Elliptic Curve Backdoor in RSA
Information Security and Cryptology
Network Stability Assessment Using the Number of Tree Adjacent to an Articulation Node
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Proceedings of the VLDB Endowment
Information filtering and query indexing for an information retrieval model
ACM Transactions on Information Systems (TOIS)
H-OCSP: A protocol to reduce the processing burden in online certificate status validation
Electronic Commerce Research
Optimal reorganization of agent formations
WSEAS Transactions on Systems and Control
Network Stability Analysis Techniques Using the Virtual Articulation Node
APNOMS '08 Proceedings of the 11th Asia-Pacific Symposium on Network Operations and Management: Challenges for Next Generation Network Operations and Service Management
A Design of Automatic Visualizations for Divide-and-Conquer Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Functionally-Generalised MOQA Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
HyPAM: A hybrid continuum-particle model for incompressible free-surface flows
Journal of Computational Physics
An efficient A* algorithm for the directed linear arrangement problem
WSEAS Transactions on Computers
A new approach for ACET based scheduling of soft real-time systems
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
A kernel density estimation method for networks, its computational method and a GIS-based tool
International Journal of Geographical Information Science
Detection of multi-scale clusters in network space
International Journal of Geographical Information Science
Composite subscriptions in content-based publish/subscribe systems
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Analytical simulation modeling
Proceedings of the 40th Conference on Winter Simulation
Reformulation in mathematical programming: An application to quantum chemistry
Discrete Applied Mathematics
Tool-supported requirements prioritization: Comparing the AHP and CBRank methods
Information and Software Technology
Disappearing Cryptography: Information Hiding: Steganography & Watermarking
Disappearing Cryptography: Information Hiding: Steganography & Watermarking
Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm
Journal of Automated Reasoning
Beam search for the longest common subsequence problem
Computers and Operations Research
A restarted and modified simplex search for unconstrained optimization
Computers and Operations Research
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
CONTROL'08 Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control
Journal of Artificial Intelligence Research
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
Call-graph caching: transforming programs into networks
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
TREE: the heuristic driven join strategy of a RETE-like matcher
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Differential evolution using a neighborhood-based mutation operator
IEEE Transactions on Evolutionary Computation
Simulation modeling for analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
On Rough Sets with Structures and Properties
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
A constraint-based dynamic geometry system
Computer-Aided Design
Short quasi-cyclic LDPC codes from convolutional codes
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 1
Very large Bayesian multinets for text classification
Future Generation Computer Systems
On the non-modular design of on-the-fly computations
ACM SIGCSE Bulletin
Interacting code motion transformations: their impact and their complexity
Interacting code motion transformations: their impact and their complexity
The bitmap Trie for fast prefix lookup
HSI'03 Proceedings of the 2nd international conference on Human.society@internet
BIS'07 Proceedings of the 10th international conference on Business information systems
In how many steps the k peg version of the towers of Hanoi game can be solved?
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Probabilistic beam search for the longest common subsequence problem
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
Reducing acyclic cover transducers
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Towards a general framework for data mining
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
Time and space efficient discovery of maximal geometric graphs
DS'07 Proceedings of the 10th international conference on Discovery science
Listing vertices of simple polyhedra associated with dual LI (2) systems
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
ICIP'09 Proceedings of the 16th IEEE international conference on Image processing
Short Note: Fast algorithms for spherical harmonic expansions, III
Journal of Computational Physics
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
Making deduction more effective in SAT solvers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Towards incremental disambiguation with a generalized discrimination network
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
A management system for load balancing through adaptive routing in multi-service ATM networks
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 2
Optimizing route formation algorithm to reduce simulation run-time for large tactical networks
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Efficient algorithms for finding frequent substructures from semi-structured data streams
JSAI'03/JSAI04 Proceedings of the 2003 and 2004 international conference on New frontiers in artificial intelligence
Data structure visualization: the design and implementation of an animation tool
Proceedings of the 48th Annual Southeast Regional Conference
XPath query processing improvements
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
A hybrid metaheuristic for the longest common subsequence problem
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
Automatic neuron tracing in volumetric microscopy images with anisotropic path searching
MICCAI'10 Proceedings of the 13th international conference on Medical image computing and computer-assisted intervention: Part II
Sorting algorithms as special cases of a priority queue sort
Proceedings of the 42nd ACM technical symposium on Computer science education
Probabilities and predicates in knowledge refinement
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
An incremental power greedy heuristic for strong minimum energy topology in wireless sensor networks
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Automatic vascular tree formation using the mahalanobis distance
MICCAI'05 Proceedings of the 8th international conference on Medical image computing and computer-assisted intervention - Volume Part II
HD Tree: A novel data structure to support multi-dimensional range query for P2P networks
Journal of Parallel and Distributed Computing
An improved algorithm for the longest common subsequence problem
Computers and Operations Research
A real elementary approach to the master recurrence and generalizations
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Faster Algorithms for Max-Product Message-Passing
The Journal of Machine Learning Research
Computing diameter constrained reliability of a network with junction points
Automation and Remote Control
Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance
ACM Transactions on Algorithms (TALG)
An algorithm for enumerating SCCs in web graph
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Gapped permutation patterns for comparative genomics
WABI'06 Proceedings of the 6th international conference on Algorithms in Bioinformatics
Privacy-preserving group data access via stateless oblivious RAM simulation
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Efficient spatial clustering algorithm using binary tree
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
Image browsing: semantic analysis of NNk
CIVR'05 Proceedings of the 4th international conference on Image and Video Retrieval
MSO queries on tree decomposable structures are computable with linear delay
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Of hammers and nails: an empirical comparison of three paradigms for processing large graphs
Proceedings of the fifth ACM international conference on Web search and data mining
An abstract interpretation-based refinement algorithm for strong preservation
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On the correctness of operating system kernels
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Information flow analysis for VHDL
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
An output-polynomial time algorithm for mining frequent closed attribute trees
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
A software craftsman's approach to data structures
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Topological decomposition algorithm for optimized solution of a system of linear equations
Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments
Semantic network closure structures in dual translation of stochastic languages
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Data driven approaches to speech and language processing
Nonlinear Speech Modeling and Applications
Evaluation of IT portfolio options by linking to business services
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Enhancing genetic algorithms by a trie-based complete solution archive
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
Composite subscriptions in content-based publish/subscribe systems
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
TreeSpan: efficiently computing similarity all-matching
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
On aggregation of normed structures
Mathematical and Computer Modelling: An International Journal
Update methods for reduction of computing time in simulation studies
Computational Statistics & Data Analysis
Computer Science Review
Strongly polynomial time algorithms for certain concave minimization problems on networks
Operations Research Letters
Quick-MLCS: a new algorithm for the multiple longest common subsequence problem
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Reduction Techniques for Acyclic Cover Transducers
Fundamenta Informaticae
Efficient Algorithm of Affine Form Searching forWeakly Specified Boolean Function
Fundamenta Informaticae
An O(n3 log log n/ log2 n) time algorithm for all pairs shortest paths
SWAT'12 Proceedings of the 13th Scandinavian conference on Algorithm Theory
A Linear Time Special Case for MC Games
Fundamenta Informaticae
Comparative performance evaluation of the AVL and red-black trees
Proceedings of the Fifth Balkan Conference in Informatics
FastMat: A C++ library for multi-index array computations
Advances in Engineering Software
Some new properties of lists and a framework of a list theoretic relation model
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
An optimal parallel prefix-sums algorithm on the memory machine models for GPUs
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Using the mOSAIC's semantic engine to design and develop civil engineering cloud applications
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
I/O efficient: computing SCCs in massive graphs
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Dynamic generating algorithm on path selection and optimisation in travel planning
International Journal of Computer Applications in Technology
Design patterns for sparse-matrix computations on hybrid CPU/GPU platforms
Scientific Programming
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.12 |
From the Publisher:This book presents the data structures and algorithms that underpin much of today's computer programming. The basis of this book is the material contained in the first six chapters of our earlier work, The Design and Analysis of Computer Algorithms. We have expanded that coverage and have added material on algorithms for external storage and memory management. As a consequence, this book should be suitable as a text for a first course on data structures and algorithms. The only prerequisite we assume is familiarity with some high-level programming language such as Pascal.