Symbolic Semantics and Program Reduction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Advanced compiler optimizations for supercomputers
Communications of the ACM - Special issue on parallelism
Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
VLSI array processors
A design methodology for synthesizing parallel algorithms and architectures
Journal of Parallel and Distributed Computing
The derivation of systolic implementations
Acta Informatica
Programming language theory and its implementation
Programming language theory and its implementation
Automatic determination of grain size for efficient parallel processing
Communications of the ACM - Special issue: multiprocessing
Synthesis of time-optimal systolic arrays with cells with inner structure
Journal of Parallel and Distributed Computing
Synthesizing synchronous systems by static scheduling in space-time
Synthesizing synchronous systems by static scheduling in space-time
The Organization of Computations for Uniform Recurrence Equations
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A parallel language and its compilation to multiprocessor machines or VLSI
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Grain Size Determination for Parallel Processing
IEEE Software
Automatic synthesis of systolic arrays from uniform recurrent equations
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
A partial evaluator for data flow graphs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
| Hi-index | 0.00 |