Sciweavers

1444 search results - page 108 / 289
» On Variations of Power Iteration
Sort
View
ECCV
2008
Springer
14 years 10 months ago
Non-local Regularization of Inverse Problems
This article proposes a new framework to regularize linear inverse problems using the total variation on non-local graphs. This nonlocal graph allows to adapt the penalization to t...
Gabriel Peyré, Laurent D. Cohen, Séb...
ACSD
2009
IEEE
100views Hardware» more  ACSD 2009»
14 years 3 months ago
Scheduling Synchronous Elastic Designs
Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility ...
Josep Carmona, Jorge Júlvez, Jordi Cortadel...
ESOP
2007
Springer
14 years 2 months ago
Using History Invariants to Verify Observers
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
K. Rustan M. Leino, Wolfram Schulte
AMC
2008
111views more  AMC 2008»
13 years 8 months ago
A domain decomposition method for the Oseen-viscoelastic flow equations
We study a non-overlapping domain decomposition method for the Oseen-viscoelastic flow problem. The data on the interface are transported through Newmann and Dirichlet boundary co...
Eleanor Jenkins, Hyesuk Lee
FPGA
2010
ACM
227views FPGA» more  FPGA 2010»
14 years 5 months ago
On-line sensing for healthier FPGA systems
Electronic systems increasingly suffer from component variation, thermal hotspots, uneven wearout, and other subtle physical phenomena. Systems based on FPGAs have unique opportun...
Kenneth M. Zick, John P. Hayes