4809 search results - page 92 / 962 » Scalable Analysis of Scalable Systems |
106
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
We describe a novel distributed graphics system that allows an application to render to a large tiled display. Our system, called WireGL, uses a cluster of off-the-shelf PCs conne...
139
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
146
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
116
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
123
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
Advances in multiprocessor interconnect technologyare leading to high performance networks. However, software overheadsassociated with message passing are limiting the processors ...