7167 search results - page 1124 / 1434 » A Technique for Invariant Generation |
226
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...
185
Voted
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the principles of traditional pen-and-ink illustration, and shows how a great number of them can be implemented as part of an automated rendering system. It i...
214
click to vote
SPAA
1994
ACM
15 years 11 months ago
1994
ACM
We analyze the performance of greedy routing for array networks by providing bounds on the average delay and the average number of packets in the system for the dynamic routing pr...
184
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
In existing relational database systems, processing of group-by and computation of aggregate functions are always postponed until all joins are performed. In this paper, we presen...
214
click to vote
SIGGRAPH
1989
ACM
15 years 11 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...