7504 search results - page 1117 / 1501 » Computing with Action Potentials |
156
Voted
TCC
2010
Springer
16 years 1 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
156
click to vote
SC
2009
ACM
16 years 28 days ago
2009
ACM
Large graph analysis has become increasingly important and is widely used in many applications such as web mining, social network analysis, biology, and information retrieval. The...
152
click to vote
BIRTHDAY
2009
Springer
16 years 28 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
162
click to vote
ITICSE
2009
ACM
16 years 19 days ago
2009
ACM
The relationship between research and teaching has possible benefits and inherent tensions. Exploring the potentially beneficial relationship is of interest and possible value to ...
147
Voted
ASPLOS
2010
ACM
16 years 19 days ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...