Sciweavers

356 search results - page 24 / 72
» Revisiting the Paxos Algorithm
Sort
View
ICCV
2007
IEEE
16 years 1 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
15 years 6 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
15 years 5 months 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
15 years 5 months 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
15 years 5 months 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