1219 search results - page 212 / 244 » Verification of Equivalent-Results Methods |
ASPDAC
2005
ACM
13 years 12 months ago
2005
ACM
In this paper, we present the power estimation methodologies for the development of a low-power security processor that contains significant amount of logic and memory. For the lo...
ASSETS
2005
ACM
13 years 12 months ago
2005
ACM
This paper presents the development of a set of researchderived ageing-centred Web design guidelines. An initial set of guidelines was first developed through an extensive review ...
AUSAI
2006
Springer
13 years 12 months ago
2006
Springer
The SVM based Recursive Feature Elimination (RFE-SVM) algorithm is a popular technique for feature selection, used in natural language processing and bioinformatics. Recently it wa...
ECSA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
FPL
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents SPA (Simple Power Analysis) attacks against public-key cryptosystems implemented on an FPGA platform. The SPA attack investigates a power waveform generated by...