Sciweavers

5990 search results - page 422 / 1198
» The Sampling Analysis Pattern
Sort
View
POPL
2004
ACM
16 years 6 months ago
Incremental execution of transformation specifications
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen
164
Voted
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
16 years 3 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
BMCBI
2005
117views more  BMCBI 2005»
15 years 6 months ago
Differentiation of regions with atypical oligonucleotide composition in bacterial genomes
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
Oleg N. Reva, Burkhard Tümmler
ASPDAC
2004
ACM
84views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Jitter spectral extraction for multi-gigahertz signal
– In this paper, we propose a method for extracting the spectral information of a multi-gigahertz jittery signal. This method may utilize existing on-chip single-shot period meas...
Chee-Kian Ong, Dongwoo Hong, Kwang-Ting Cheng, Li-...
SSIAI
2000
IEEE
15 years 10 months ago
On the Representation of Wideband Images Using Permutations for Lossless Coding
We introduce a novel method for representing and coding wideband signals using permutations. The signal samples are first sorted, and then encoded using Differential Pulse Coding...
Marios S. Pattichis, Alan C. Bovik, John W. Havlic...