Sciweavers

868 search results - page 94 / 174
» Optimizing Logic Design Using Boolean Transforms
Sort
View
FPGA
1997
ACM
149views FPGA» more  FPGA 1997»
15 years 10 months ago
Signal Processing at 250 MHz Using High-Performance FPGA's
This paper describes an application in high-performance signal processing using reconfigurable computing engines: a 250 MHz cross-correlator for radio astronomy. Experimental resu...
Brian Von Herzen
ECRTS
1998
IEEE
15 years 10 months ago
Facilitating worst-case execution times analysis for optimized code
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
Jakob Engblom, Andreas Ermedahl, Peter Altenbernd
ICFEM
2009
Springer
15 years 4 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 11 months ago
Monolithically stackable hybrid FPGA
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
Dmitri Strukov, Alan Mishchenko
GECCO
2000
Springer
101views Optimization» more  GECCO 2000»
15 years 10 months ago
Evolutionary Design of Behaviors for Action-Based Environment Modeling by a Mobile Robot
This paper describes an evolutionary way to acquire behaviors of a mobile robot for recognizing environments. We have proposed AEM (Action-based Environment Modeling) approach for...
Seiji Yamada