Sciweavers

2042 search results - page 281 / 409
» A Global Grid Model Based on
Sort
View
125
Voted
CP
2009
Springer
15 years 4 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...
CCGRID
2010
IEEE
15 years 1 months ago
Team-Based Message Logging: Preliminary Results
Fault tolerance will be a fundamental imperative in the next decade as machines containing hundreds of thousands of cores will be installed at various locations. In this context, ...
Esteban Meneses, Celso L. Mendes, Laxmikant V. Kal...
116
Voted
CDC
2009
IEEE
208views Control Systems» more  CDC 2009»
15 years 1 months ago
Sensor selection for hypothesis testing in wireless sensor networks: a Kullback-Leibler based approach
We consider the problem of selecting a subset of p out of n sensors for the purpose of event detection, in a wireless sensor network (WSN). Occurrence or not of the event of intere...
Dragana Bajovic, Bruno Sinopoli, João Xavie...
99
Voted
EJC
2008
15 years 2 months ago
Managing Co-reference Knowledge for Data Integration
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
Carlo Meghini, Martin Doerr, Nicolas Spyratos
107
Voted
ICIP
2006
IEEE
16 years 2 months ago
Using Non-Parametric Kernel to Segment and Smooth Images Simultaneously
Piecewise constant and piecewise smooth Mumford-Shah (MS) models have been widely studied and used for image segmentation. More complicated than piecewise constant MS, global Gaus...
Weihong Guo, Yunmei Chen