Sciweavers

1585 search results - page 111 / 317
» Data Quality Requirements Analysis and Modeling
Sort
View
128
Voted
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
15 years 7 months ago
Property analysis and design understanding
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
Ulrich Kühne, Daniel Große, Rolf Drechs...
112
Voted
ICPP
2008
IEEE
15 years 7 months ago
On the Design of Fast Pseudo-Random Number Generators for the Cell Broadband Engine and an Application to Risk Analysis
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
David A. Bader, Aparna Chandramowlishwaran, Virat ...
76
Voted
ICDM
2008
IEEE
113views Data Mining» more  ICDM 2008»
15 years 7 months ago
Online Reliability Estimates for Individual Predictions in Data Streams
Several predictive systems are nowadays vital for operations and decision support. The quality of these systems is most of the time defined by their average accuracy which has lo...
Pedro Pereira Rodrigues, João Gama, Zoran B...
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
15 years 5 months ago
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
100
Voted
SMI
2008
IEEE
139views Image Analysis» more  SMI 2008»
15 years 7 months ago
Noise in 3D laser range scanner data
This paper discusses noise in range data measured by a Konica Minolta Vivid 910 scanner. Previous papers considering denoising 3D mesh data have often used artificial data compri...
Xianfang Sun, Paul L. Rosin, Ralph R. Martin, Fran...