Sciweavers

8080 search results - page 213 / 1616
» Distributed Constrained Optimization
Sort
View
SAT
2010
Springer
165views Hardware» more  SAT 2010»
15 years 5 months ago
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
Lukas Kroc, Ashish Sabharwal, Bart Selman
TRIDENTCOM
2006
IEEE
16 years 18 days ago
A reliable optimization on distributed mutual exclusion algorithm
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
Moharram Challenger, Peyman Bayat, Mohammad Reza M...
AAAI
2007
15 years 9 months ago
A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem
The future success of application layer video multicast depends on the availability of video stream distribution methods that can scale in the number of stream senders and receive...
Theodore Elhourani, Nathan Denny, Michael M. Maref...
MOBILIGHT
2010
15 years 4 months ago
Virtual Distributed Simulation Platform for the Study and Optimization of Future Beyond 3G Heterogeneous Systems
This paper proposes and assesses a new distributed simulation platform for heterogeneous wireless communications. The objective of the ICARUS platform is to investigate cross-layer...
M. Carmen Lucas-Estan, Salva Garrigas, Javier Goz&...
CASES
2006
ACM
16 years 17 days ago
Methods for power optimization in distributed embedded systems with real-time requirements
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochock...