4440 search results - page 812 / 888 » The space of design |
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
210
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
— Differential privacy has recently emerged as the de facto standard for private data release. This makes it possible to provide strong theoretical guarantees on the privacy and ...
173
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
198
click to vote
CAL
2002
15 years 6 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...
211
click to vote
PVLDB
2011
14 years 9 months ago
2011
Adaptive indexing is characterized by the partial creation and refinement of the index as side effects of query execution. Dynamic or shifting workloads may benefit from prelimi...