Algorithms for trie compaction
ACM Transactions on Database Systems (TODS)
On classifying recursive algorithms
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Recursion versus non-recursion in Pascal: recursion can be faster
ACM SIGPLAN Notices
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
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
Two-level grammars as a technique for formalizing programming schemes
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Flow network reduction for unique topological ordering
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A Formal Model for Software Project Management
IEEE Transactions on Software Engineering
The Chain Pyramid: Hierarchical Contour Processing
IEEE Transactions on Pattern Analysis and Machine Intelligence
Convolution on Mesh Connected Multicomputers
IEEE Transactions on Pattern Analysis and Machine Intelligence
Techniques for debugging parallel programs with flowback analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An efficient directory system for document retrieval
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
An efficient algorithm for sparse matrix computations
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Models and techniques for the visualization of labeled discrete objects
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
On Optimal Single Jog River Routing (VLSI Layout)
IEEE Transactions on Computers
Artificial intelligence applications to communication network design with bulk facilities
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
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
A set of programming projects for a second programming course
ACM SIGCSE Bulletin
Padded string: treating string as sequence of machine words
ACM SIGPLAN Notices
The index suggestion problem for object database applications
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Optimal folding of standard and custom cells
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Static and dynamic partitioning of pointers as links and threads
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ACM Computing Surveys (CSUR)
Efficient decomposition of polygons into L-shapes with application to VLSI layouts
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The Unison algorithm: fast evaluation of Boolean expressions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Geometric Approach for Constructing Coteries and k-Coteries
IEEE Transactions on Parallel and Distributed Systems
Multidatabase Query Optimization
Distributed and Parallel Databases
A fast algorithm for VLSI net extraction
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Weight-biased leftist trees and modified skip lists
Journal of Experimental Algorithmics (JEA)
Efficient algorithms for scheduling data broadcast
Wireless Networks
A linear algorithm to find a rectangular dual of a planar triangulated graph
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Self-organizing scheme for file storage
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A parallel island model genetic algorithm for the multiprocessor scheduling problem
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Communications of the ACM
On constructing minimum height B* -trees in optimal time
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Inference of regular languages using model simplicity
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics
International Journal of Parallel Programming
Programming a Hypercube Multicomputer
IEEE Software
Probability Bounds for Goal Directed Queries in Bayesian Networks
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
IEEE Transactions on Software Engineering
Computers and Industrial Engineering - Supply chain management
Advanced planning and scheduling with outsourcing in manufacturing supply chain
Computers and Industrial Engineering - Supply chain management
The optimisation of block layout and aisle structure by a genetic algorithm
Computers and Industrial Engineering
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
QUILT (a.k.a. KWILT): A special purpose instructional language
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
An implementation of a saturated zone multi-layer printed circuit board router
DAC '80 Proceedings of the 17th Design Automation Conference
DAC '82 Proceedings of the 19th Design Automation Conference
A control form for complex iterations
ACM SIGPLAN Notices
Efficient algorithms for the scaled indexing problem
Journal of Algorithms
Conceptualizing data structures: a pedagogic approach
Working group reports from ITiCSE on Innovation and technology in computer science education
Evolutionary algorithm for advanced process planning and scheduling in a multi-plant
Computers and Industrial Engineering
Encyclopedia of Computer Science
Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
An efficient approach for sequence matching in large DNA databases
Journal of Information Science
Integrated process planning and scheduling in a supply chain
Computers and Industrial Engineering
Evolutionary algorithm for advanced process planning and scheduling in a multi-plant
Computers and Industrial Engineering
A Tutorial on Specifying Data Structures in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Mosaic based real time CCTV system using improved Harris corner
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 6
Hi-index | 0.02 |