We use cookies to improve your experience with our site.

On the Problem of Optimizing Parallel Programs for Complex Memory Hierarchies
On GID-Testable Two-Dimensional Iterative Arrays
Real-Time Collision-Free Path Planning for Robots in Configuration Space
Automated Theorem Proving in Temporal Logic:T-Resolution
An Improved Bottom-up Method for Implementing Equational Programming Language
Extrapolating Acceleration Algorithms for Finding B-Spline Intersections Using Recursive Subdivision Techniques
An O(k~2n~2) Algorithm to Find a k-Partition in a k-Connected Graph
A Method for Minimization Design of Two-Level Logic Networks Using Multiplexer Universal Logic Modules
Current Issue Cover