Sciweavers

481 search results - page 64 / 97
» A Fast Program Generator of Fast Fourier Transforms
Sort
View
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
15 years 3 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira
DAC
2002
ACM
16 years 25 days ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
PPDP
2009
Springer
15 years 6 months ago
A declarative encoding of telecommunications feature subscription in SAT
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
Michael Codish, Samir Genaim, Peter J. Stuckey
ICIP
2001
IEEE
16 years 1 months ago
Multistatic passive radar imaging using the smoothed pseudo Wigner-Ville distribution
We investigate passive radar imaging of aircraft using reflected TV signals. We apply a Smoothed Pseudo WignerVille Distribution (SPWVD)-based SAR imaging algorithm to two differe...
Yong Wu, David C. Munson Jr.
BMCBI
2006
146views more  BMCBI 2006»
14 years 12 months ago
A database application for pre-processing, storage and comparison of mass spectra derived from patients and controls
Background: Statistical comparison of peptide profiles in biomarker discovery requires fast, userfriendly software for high throughput data analysis. Important features are flexib...
Mark K. Titulaer, Ivar Siccama, Lennard J. Dekker,...