This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
– 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...
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...
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&...
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...