Counting nodes in binary trees
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
The average complexity of depth-first search with backtracking and cutoff
IBM Journal of Research and Development
Is the data encryption standard a group?
Proc. of a workshop on the theory and application of cryptographic techniques on Advances in cryptology---EUROCRYPT '85
Summation of binomial coefficients using hypergeometric functions
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A common schema for dynamic programming and branch and bound algorithms
Journal of the ACM (JACM)
An O(KN lg N) algorithm for optimum K-level quantization on histograms of N points
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
ABYSS: An Architecture for Software Protection
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Optimization of validation test suite coverage
ACM SIGSOFT Software Engineering Notes
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Packet delay prediction in datagram mesh systems
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Tight lower bounds for probabilistic solitude verification on anonymous rings
Journal of the ACM (JACM)
ACM SIGACT News
Asynchronous Analysis of Parallel Dynamic Programming Algorithms
IEEE Transactions on Parallel and Distributed Systems
On the Solution of Linear Recurrence Equations
Computational Optimization and Applications
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
ACM SIGACT News
Program optimization using indexed and recursive data structures
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Free indexation: combinatorial analysis and a compositional algorithm
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
A linear-time approximation algorithm for weighted matchings in graphs
ACM Transactions on Algorithms (TALG)
The algorithm of pipelined gossiping
Journal of Systems Architecture: the EUROMICRO Journal
Approximating weighted matchings in parallel
Information Processing Letters
Trade-Offs Between Time, Space, Cooperation, and Communication Complexity for CD Grammar Systems
Fundamenta Informaticae
Hi-index | 0.00 |