5344 search results - page 451 / 1069 » Privacy-Preserving Set Operations |
204
click to vote
TAPSOFT
1991
Springer
15 years 11 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
211
click to vote
CPAIOR
2010
Springer
15 years 11 months ago
2010
Springer
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...
196
click to vote
FAST
2008
15 years 10 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
168
click to vote
FAST
2008
15 years 10 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
191
click to vote
LISA
2007
15 years 10 months ago
2007
Management of virtual machines (VMs) on a large scale remains a significant challenge today. We lack general and vendor-independent quantitative criteria/metrics by which to desc...