Sciweavers

1615 search results - page 208 / 323
» Distributed Forward Checking
Sort
View
SIAMSC
2008
179views more  SIAMSC 2008»
15 years 2 months ago
Multigrid Algorithms for Inverse Problems with Linear Parabolic PDE Constraints
Abstract. We present a multigrid algorithm for the solution of distributed parameter inverse problems constrained by variable-coefficient linear parabolic partial differential equa...
Santi S. Adavani, George Biros
136
Voted
TWC
2008
113views more  TWC 2008»
15 years 2 months ago
Capacity of opportunistic routing in multi-rate and multi-hop wireless networks
Abstract-- Opportunistic routing (OR) copes with the unreliable transmissions by exploiting the broadcast nature of the wireless medium and spatial diversity of the multi-hop wirel...
Kai Zeng, Wenjing Lou, Hongqiang Zhai
132
Voted
SAC
2008
ACM
15 years 2 months ago
Knowledge-based semantic clustering
Users of the web are increasingly interested in tracking the appearance of new postings rather than locating existing knowledge. Coupled with this is the emergence of the Web 2.0 ...
John Keeney, Dominic Jones, Dominik Roblek, David ...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 3 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
ICS
2010
Tsinghua U.
15 years 12 months ago
Market Equilibrium under Separable, Piecewise-Linear, Concave Utilities
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
Vijay V. Vazirani, Mihalis Yannakakis