2000 search results - page 342 / 400 » Program Transformation and Proof Transformation |
125
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
131
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
130
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
152
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
111
click to vote
TCC
2009
Springer
16 years 3 months ago
2009
Springer
We present the first hierarchical identity based encryption (HIBE) system that has full security for more than a constant number of levels. In all prior HIBE systems in the literat...