6274 search results - page 1023 / 1255 » Proofs, Programs, Processes |
99
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
114
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— The size of data sets being collected and analyzed in the industry for business intelligence is growing rapidly, making traditional warehousing solutions prohibitively expensiv...
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
104
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
108
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...