Sciweavers

356 search results - page 24 / 72
» Revisiting the Paxos Algorithm
Sort
View
ICCV
2007
IEEE
14 years 9 months ago
MRF Optimization via Dual Decomposition: Message-Passing Revisited
A new message-passing scheme for MRF optimization is proposed in this paper. This scheme inherits better theoretical properties than all other state-of-the-art message passing met...
Nikos Komodakis, Nikos Paragios, Georgios Tziritas
HPCC
2007
Springer
14 years 1 months ago
Parallel Database Sort and Join Operations Revisited on Grids
Based on the renowned method of Bitton et al. (see [1]) we develop a concise but comprehensive analytical model for the well-known Binary Merge Sort, Bitonic Sort, Nested-Loop Join...
Werner Mach, Erich Schikuta
BIRTHDAY
2005
Springer
14 years 28 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
FSTTCS
2004
Springer
14 years 23 days ago
Genome Halving Problem Revisited
The Genome Halving Problem is motivated by the whole genome duplication events in molecular evolution that double the gene content of a genome and result in a perfect duplicated ge...
Max A. Alekseyev, Pavel A. Pevzner
ARITH
2003
IEEE
14 years 20 days ago
Revisiting SRT Quotient Digit Selection
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
Peter Kornerup