3676 search results - page 427 / 736 » Scalable component abstractions |
181
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents the design of a special purpose processor with Elliptic Curve Digital Signature Algorithm (ECDSA) functionality. This digital signature generation d...
169
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
198
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
156
click to vote
HYBRID
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
190
click to vote
LOPSTR
2007
Springer
16 years 29 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...