13181 search results - page 2310 / 2637 » Design and Implementation of Cohesion |
228
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
334
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
280
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
195
click to vote
IACR
2011
14 years 6 months ago
2011
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
202
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Numerous data center services exhibit low average utilization leading to poor energy efficiency. Although CPU voltage and frequency scaling historically has been an effective mea...