888 search results - page 129 / 178 » The Power of Temporal Proofs |
179
click to vote
CGO
2010
IEEE
16 years 28 days ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
159
click to vote
FOCS
2009
IEEE
16 years 24 days ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
166
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
180
click to vote
WISA
2009
Springer
16 years 19 days ago
2009
Springer
In CHES 2008 a generic side-channel distinguisher, Mutual Information, has been introduced to be independent of the relation between measurements and leakages as well as between le...
150
click to vote
ISCAS
2008
IEEE
16 years 14 days ago
2008
IEEE
— The lack of robust tamper-proofing techniques in security applications has provided attackers the ability to virtually circumvent mathematically strong cryptographic primitive...