77016 search results - page 14960 / 15404 » Modelling |
179
Voted
CF
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
180
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
190
Voted
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
171
Voted
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
182
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
It is well known that a malicious adversary can try to retrieve secret information by inducing a fault during cryptographic operations. Following the work of Seifert on fault induc...