Sciweavers

8109 search results - page 1090 / 1622
» A Model of Component-Based Programming
Sort
View
CP
2003
Springer
16 years 12 days ago
Distributed Forward Checking
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
Ismel Brito, Pedro Meseguer
FPL
2003
Springer
95views Hardware» more  FPL 2003»
16 years 12 days ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
ICALP
2003
Springer
16 years 12 days ago
Convergence Time to Nash Equilibria
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
Eyal Even-Dar, Alexander Kesselman, Yishay Mansour
COMPIMAGE
2010
Springer
16 years 9 days ago
Direction-Dependency of a Binary Tomographic Reconstruction Algorithm
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
László Varga, Péter Bal&aacut...
CCGRID
2002
IEEE
16 years 4 days ago
Symphony - A Java-Based Composition and Manipulation Framework for Computational Grids
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...
Markus Lorch, Dennis G. Kafura
« Prev « First page 1090 / 1622 Last » Next »