We use cookies to improve your experience with our site.
Advanced Search

A Unified Algorithm for Finding the Intersection Curve of Surfaces
Constructing Isosurfaces from 3D Data Sets Taking Account of Depth Sorting of Polyhedra
Using Timed Petri Net to Model Instruction-Level Loop Scheduling with Resource Constraints
Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors
MADET-A Machine-Description Table Based Instruction Scheduler in TH-RISC for Exploiting Instruction Level Parallelism
Generalized Resolution and NC-Resolution
Preparing Mathematical Equations in a Document Preparation Environment
Prefix Code Translation by Mapping
GLOBAL: A Design for Random Testability Algorithm
DGLa: A Distributed Graphics Language
Current Issue Cover