Sciweavers

4270 search results - page 262 / 854
» A Permutation Approach to Validation
Sort
View
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
15 years 4 months ago
AVF Stressmark: Towards an Automated Methodology for Bounding the Worst-Case Vulnerability to Soft Errors
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...
Arun A. Nair, Lizy Kurian John, Lieven Eeckhout
WD
2010
15 years 4 months ago
Vicinity resource cartography for delay-tolerant networks: A holistic perspective
In this paper we propose a distributed approach to construct vicinity resource maps at each node in a delaytolerant network. The scheme uses recent encounters to estimate the avail...
Gabriel Sandulescu, Péter Schaffer, Simin N...
DISOPT
2011
175views Education» more  DISOPT 2011»
14 years 10 months ago
Strengthening lattice-free cuts using non-negativity
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
Ricardo Fukasawa, Oktay Günlük
ICIP
2000
IEEE
16 years 8 months ago
Video Coding Using Streamed 3D Representation
In this paper, we present a global scheme for encoding/ decoding natural video sequences with partial 3D models. This technique is based on a robust estimation of a constrained de...
Franck Galpin, Luce Morin
ICDE
1997
IEEE
176views Database» more  ICDE 1997»
16 years 8 months ago
ODB-QOPTIMIZER: A Tool for Semantic Query Optimization in OODB
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
Sonia Bergamaschi, Domenico Beneventano, Claudio S...