7080 search results - page 1350 / 1416 » Designing High Integrity Systems Using Aspects |
123
click to vote
IMC
2006
ACM
15 years 5 months ago
2006
ACM
Modern Internet streaming services have utilized various techniques to improve the quality of streaming media delivery. Despite the characterization of media access patterns and u...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
79
Voted
SIGMETRICS
2004
ACM
15 years 4 months ago
2004
ACM
Previous scalable protocols for downloading large, popular files from a single server include batching and cyclic multicast. With batching, clients wait to begin receiving a reque...
SI3D
1997
ACM
15 years 3 months ago
1997
ACM
A pair of rendered images and their Z-buffers contain almost all of the information necessary to re-render from nearby viewpoints. For the small changes in viewpoint that occur in...
ISCA
1994
IEEE
15 years 3 months ago
1994
IEEE
Today's commodity microprocessors require a low latency memory system to achieve high sustained performance. The conventional high-performance memory system provides fast dat...