13181 search results - page 2551 / 2637 » Design and Implementation of Cohesion |
108
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
100
Voted
RTA
1995
Springer
15 years 4 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
VVS
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper explores the use of multi-dimensional trees to provide spatial and temporal e ciencies in imaging large data sets. Each node of the tree contains a model of the data in...
100
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
124
Voted
ASPLOS
1987
ACM
15 years 4 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...