4248 search results - page 503 / 850 » Simulating hci for all |
169
click to vote
CHES
2004
Springer
16 years 7 days ago
2004
Springer
Because of the rapidly shrinking dimensions in VLSI, transient and permanent faults arise and will continue to occur in the near future in increasing numbers. Since cryptographic c...
168
click to vote
CHES
2004
Springer
16 years 7 days ago
2004
Springer
Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by making the power consumption independent of process...
178
click to vote
EUC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
183
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
169
click to vote
GG
2004
Springer
16 years 6 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...