6274 search results - page 923 / 1255 » Proofs, Programs, Processes |
116
Voted
FSE
1993
Springer
15 years 7 months ago
1993
Springer
: A new non-proprietary secret-key block-enciphering algorithm, SAFER K-64 (for Secure And Fast Encryption Routine with a Key of length 64 bits) is described. The blocklength is 64...
104
click to vote
EDCC
1994
Springer
15 years 7 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
163
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This article, which lies within the data mining framework, proposes a method to build classifiers based on the evolution of rules. The method, named REC (Rule Evolution for Classif...
111
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
153
Voted
VLSID
2010
IEEE
15 years 7 months ago
2010
IEEE
A novel design approach for simultaneous power and stability (static noise margin, SNM) optimization of nanoCMOS static random access memory (SRAM) is presented. A 45nm single-end...