9110 search results - page 112 / 1822 » Formally-Based Design Evaluation |
CASES
2009
ACM
15 years 4 months ago
2009
ACM
Efficient hardware architectures for the Luffa hash algorithm are proposed in this work. We explore different tradeoffs and propose several architectures, targeting both compac...
AHS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a new FPGA implementation of a system for evolutionary image filter design. Three parallel search algorithms are compared. An optimal mutation rate and the q...
CMMR
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents ongoing research into the design and creation of interfaces for computer music. This work concentrates on the use of sensor as the primary means of interaction ...
PATMOS
2004
Springer
15 years 3 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...