Sciweavers

1220 search results - page 66 / 244
» Guided Data Repair
Sort
View
98
Voted
VTS
1995
IEEE
99views Hardware» more  VTS 1995»
15 years 4 months ago
Arithmetic built-in self test for high-level synthesis
In this paper, we propose an entirely new Built-In Self Test scheme for high-level synthesis of data path architectures that makes use of the arithmetic blocks in the data path to...
Nilanjan Mukherjee, H. Kassab, Janusz Rajski, Jerz...
120
Voted
PUC
2002
69views more  PUC 2002»
15 years 13 days ago
The Well Mannered Wearable Computer
: In this paper we describe continuing work being carried out as part of the Bristol Wearable Computing Initiative. We are interested in the use of context sensors to improve the u...
Cliff Randell, Henk L. Muller
132
Voted
ICST
2010
IEEE
14 years 11 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
95
Voted
SDM
2009
SIAM
219views Data Mining» more  SDM 2009»
15 years 10 months ago
A Hybrid Data Mining Metaheuristic for the p-Median Problem.
Metaheuristics represent an important class of techniques to solve, approximately, hard combinatorial optimization problems for which the use of exact methods is impractical. In t...
Alexandre Plastino, Erick R. Fonseca, Richard Fuch...
192
Voted
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 29 days ago
ARCube: supporting ranking aggregate queries in partially materialized data cubes
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...
Tianyi Wu, Dong Xin, Jiawei Han