Sciweavers

3965 search results - page 638 / 793
» Effectivity of Regular Spaces
Sort
View
MICRO
1997
IEEE
141views Hardware» more  MICRO 1997»
15 years 9 months ago
Unroll-and-Jam Using Uniformly Generated Sets
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
Steve Carr, Yiping Guan
SI3D
1997
ACM
15 years 9 months ago
Model Simplification Using Vertex-Clustering
This paper presents a practical technique to automatically compute approximations of polygonal representations of 3D objects. It is based on a previously developed model simplific...
Kok-Lim Low, Tiow Seng Tan
SI3D
1997
ACM
15 years 9 months ago
Context Sensitive Flying Interface
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
Colin Ware, Daniel J. Fleet
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
15 years 8 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah
133
Voted
IFL
1997
Springer
153views Formal Methods» more  IFL 1997»
15 years 8 months ago
Common Subexpressions Are Uncommon in Lazy Functional Languages
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
Olaf Chitil