2498 search results - page 301 / 500 » A tool for materials exploration |
177
click to vote
SAMOS
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
180
click to vote
CHI
2004
ACM
16 years 2 days ago
2004
ACM
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
167
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
150
click to vote
EVOW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
122
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper introduces JHDLBits, the integration of two prominent FPGA design tools: JHDL and JBits. JHDLBits offers the low-level access and control provided by JBits wi...