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 1 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
84
Voted
DAC
2002
ACM
15 years 10 months 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 4 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
64
Voted
ICIP
2001
IEEE
15 years 11 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 9 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,...