Sciweavers

2 search results - page 1 / 1
» Hardware Benchmarking of Cryptographic Algorithms Using High...
Sort
View
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
13 years 9 months ago
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...
Qin Zhao, Bart Mesman, Twan Basten
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
13 years 8 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta