16883 search results - page 3000 / 3377 » Generalized Non-Reducible Descriptors |
178
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
209
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Increased integration in the form of multiple processor cores on a single die, relatively constant die sizes, shrinking power envelopes, and emerging applications create a new cha...
200
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
214
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
189
click to vote
ASSETS
2004
ACM
16 years 6 days ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...