Sciweavers

1596 search results - page 128 / 320
» Quantum property testing
Sort
View
DFT
2005
IEEE
92views VLSI» more  DFT 2005»
15 years 11 months ago
Simulating Faults of Combinational IP Core-based SOCs in a PLI Environment
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lom...
ICIP
2010
IEEE
15 years 11 months ago
Estimation of linear deformations of 3D objects
We propose a registration method to find affine transformations between 3D objects by constructing and solving an overdetermined system of polynomial equations. We utilize voxel...
Attila Tanács, Natasa Sladoje, Joakim Lindblad, a...
DAC
2010
ACM
15 years 10 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
ESWS
2006
Springer
15 years 9 months ago
Towards a Complete OWL Ontology Benchmark
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
Li Ma, Yang Yang, Zhaoming Qiu, Guo Tong Xie, Yue ...
227
Voted
KONVENS
2000
15 years 9 months ago
A Noise Suppression System for the AMR Speech Codec
In this paper we describe a noise reduction preprocessing algorithm for the adaptive multirate (AMR) speech codec of the GSM system. The algorithm is based on spectral weighting a...
Peter Jax, Rainer Martin, Peter Vary, Marc Adrat, ...