5499 search results - page 774 / 1100 » Generalized Rewrite Theories |
193
click to vote
SIGMETRICS
2003
ACM
16 years 22 days ago
2003
ACM
It is common to evaluate scheduling policies based on their mean response times. Another important, but sometimes opposing, performance metric is a scheduling policy’s fairness....
216
click to vote
SMA
2003
ACM
16 years 22 days ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
184
Voted
SPAA
2003
ACM
16 years 22 days ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
196
Voted
TLDI
2003
ACM
16 years 22 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
207
click to vote
VRST
2003
ACM
16 years 22 days ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...