12107 search results - page 2094 / 2422 » Software That Can Think |
194
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
159
click to vote
CTRSA
2010
Springer
15 years 10 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
155
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
With the end of clock-frequency scaling, parallelism has emerged as the key driver of chip-performance growth. Yet, several factors undermine efficient simultaneous use of onchip ...
208
click to vote
FAST
2010
15 years 9 months ago
2010
Cloud computing promises large-scale and seamless access to vast quantities of data across the globe. Applications will demand the reliability, consistency, and performance of a t...
200
click to vote
USENIX
2008
15 years 9 months ago
2008
We introduce the Free Factory, a platform for deploying data-intensive web services using small clusters of commodity hardware and free software. Independently administered virtua...