12333 search results - page 2055 / 2467 » System Level Modelling for Hardware Software Systems |
172
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
As semiconductor processing technology continues to scale down, managing reliability becomes an increasingly difficult challenge in high-performance microprocessor design. Transie...
165
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
To use heterogeneous and geographically distributed resources as a platform for parallel visualization is an intriguing topic of research. This is because of the immense potential...
180
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
180
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
Elliptic Curve Cryptosystems (ECC) have become popular in recent years due to their smaller key sizes than traditional public key schemes such as RSA. However the gap between the ...
157
Voted
SIGMETRICS
2004
ACM
16 years 3 days ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...