Improved methods for storing and updating information in the out-of-kilter algorithm
Journal of the ACM (JACM)
An efficient algorithm for the “optimal” stable marriage
Journal of the ACM (JACM)
Fractals for secondary key retrieval
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Coloring heuristics for register allocation
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
An empirical study of the performance of the APL370 compiler
APL '89 Conference proceedings on APL as a tool of thought
A microprogramming teaching environment using the Macintosh computer
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Efficient construction of LR(k) states and tables
ACM Transactions on Programming Languages and Systems (TOPLAS)
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Instructional frameworks: toolkits and abstractions in introductory computer science
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The point-range tree: a data structure for indexing intervals
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Toward a logical/physical theory of spreadsheet modeling
ACM Transactions on Information Systems (TOIS)
Is APL2 a good programming language?
APL '95 Proceedings of the international conference on Applied programming languages
Automatic correction to misspelled names: a fourth-generation language approach
Communications of the ACM
ACM SIGACT News
The ABDADA distributed minimax search algorithm
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Analyzing multi-phase searching algorithms
ACM SIGCSE Bulletin
Fashioning conceptual constructs in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Using simulation to teach recursion and binary tree traversals
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Parallel merge-sort algorithms on the HEP
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
A note on generating a worst case sequence for Quicksort in linear time
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
ACM Computing Surveys (CSUR)
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
Locally Least-Cost Error Recovery in Earley's Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Balancing binary trees by internal path reduction
Communications of the ACM
Communications of the ACM
Batch-construction of B+-trees
Proceedings of the 2001 ACM symposium on Applied computing
Exploring recursion in Hilbert curves (poster session)
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Detecting and Preventing Routing Problems in the Planning Process ofCCSS #7 Networks
Journal of Heuristics
Learning Complex Tasks Using a Stepwise Approach
Journal of Intelligent and Robotic Systems
An empirical comparison of B-trees, compact B-trees and multiway trees
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Benchmarking the DBS3 Parallel Query Optimizer
IEEE Parallel & Distributed Technology: Systems & Technology
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Performance Evaluation of Certificate Revocation Using k-Valued Hash Tree
ISW '99 Proceedings of the Second International Workshop on Information Security
Event-driven simulation of spiking neurons with stochastic dynamics
Neural Computation
Computer Aided Software Engineering (CASE)
DAC '83 Proceedings of the 20th Design Automation Conference
Linear ordering and application to placement
DAC '83 Proceedings of the 20th Design Automation Conference
Depth-first digraph algorithms without recursion
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A two-semester course sequence in introductory programming using PL/1—a rationale and overview
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Direct connection between Compiling Techniques and Databases courses
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
Notation of movement with computer assistance
ACM '78 Proceedings of the 1978 annual conference - Volume 2
The next control structure that I need
ACM SIGPLAN Notices
Experiments with balanced-sample binary trees
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Encyclopedia of Computer Science
ACM SIGCSE Bulletin
Spatial ordering and encoding for geographic data mining and visualization
Journal of Intelligent Information Systems
CALS technologies and tolerant translators
Automation and Remote Control
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Set functions for functional logic programming
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Determination of neural fiber connections based on data structure algorithm
Computational Intelligence and Neuroscience - Special issue on processing of brain signals by using hemodynamic and neuroelectromagnetic modalities
Computational and soft skills development through the project based learning
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
A multi-scale triangular mapping and its applications in variation scale scrambling
International Journal of Computer Applications in Technology
An efficient mechanism for processing similarity search queries in sensor networks
Information Sciences: an International Journal
Efficient spatial clustering algorithm using binary tree
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
Efficient searching in large inheritance hierarchies
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Educational thesaurus for learning electronics
WORLD-EDU'12/CIT'12 Proceedings of the 6th international conference on Communications and Information Technology, and Proceedings of the 3rd World conference on Education and Educational Technologies
Hi-index | 0.05 |