Sciweavers

2520 search results - page 150 / 504
» Application Awareness Makes Storage More Useful
Sort
View
POPL
2012
ACM
14 years 2 months ago
Syntactic control of interference for separation logic
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
Uday S. Reddy, John C. Reynolds
CRYPTO
2009
Springer
87views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Reconstructing RSA Private Keys from Random Key Bits
sion of an extended abstract published in Proceedings of Crypto 2009, Springer-Verlag, 2009. Available from the IACR Cryptology ePrint Archive as Report 2008/510. We show that an ...
Nadia Heninger, Hovav Shacham
SIGCOMM
2010
ACM
15 years 6 months ago
Stratus: energy-efficient mobile communication using cloud support
Cellular radio communication is a significant contributor to battery energy drain on smartphones, in some cases inflating the energy cost by a factor of 5 or more compared to the ...
Bhavish Agarwal, Pushkar Chitnis, Amit Dey, Kamal ...
IEEECIT
2009
IEEE
15 years 4 months ago
Dynamic Adaptation of the Master-Worker Paradigm
Abstract--The size, heterogeneity and dynamism of the execution platforms of scientific applications, like computational grids, make using those platforms complex. Furthermore, tod...
Françoise André, Guillaume Gauvrit, ...
ICPR
2002
IEEE
15 years 11 months ago
A New Approach for Line Recognition in Large-size Images Using Hough Transform
The application of Hough Transform (HT) has been limited to small-size images for a long time. For large-size images, the peak detection and the line verification become much more...
Jiqiang Song, Min Cai, Michael R. Lyu, Shijie Cai