Now showing items 1-6 of 6
The trend in high-performance microprocessor design is toward increasing computational power on the chip. Microprocessors can now process dramatically more data per machine cycle than previous models. Unfortunately, memory ...
Soft Typing: An Approach to Type Checking for Dynamically Typed Languages
In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...
Surface Approximation By Low Degree Patches With Multiple Representations
Computer Aided Geometric Design (CAGD) is concerned with the representation and approximation of curves and surfaces when these objects have to be processed by a computer. Parametric representations are very popular because ...
Register Allocation via Graph Coloring
Chaitin and his colleagues at IBM in Yorktown Heights built the first global register allocator based on graph coloring. This thesis describes a series of improvements and extensions to the Yorktown allocator. There are ...
Combining Particles and Waves for Fluid Animation
Modeling fluid motion is a problem largely unsolved by traditional modeling techniques. Animation of fluid motion has been possible only in special cases, falling into one of two general categories. Upper surface representations ...
Hierarchical Attribute Grammars: Dialects, Applications and Evaluation Algorithms
Although attribute grammars have been applied successfully to the specification of many different phases of analysis and transformation of complex language processing systems, including type checking, data flow analysis, ...