42738 search results - page 8311 / 8548 » Search Computing Systems |
138
Voted
PADS
1999
ACM
15 years 7 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
133
Voted
PODC
1999
ACM
15 years 7 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
125
click to vote
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
A multi-color dithering algorithm is proposed, which converts a barycentric combination of color intensities into a multi-color nonoverlapping surface coverage. Multi-color dither...
119
Voted
ICNP
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
141
Voted
IEEEPACT
1999
IEEE
15 years 7 months ago
1999
IEEE
The performance of applications on large shared-memory multiprocessors with coherent caches depends on the interaction between the granularity of data sharing, the size of the coh...