Sciweavers

5410 search results - page 85 / 1082
» When to Cross Over
Sort
View
WORDS
2003
IEEE
14 years 2 months ago
Practical Aspects of IP Take-Over Mechanisms
Transparent replication has been viewed as the holy grail of fault-tolerant computing. We discuss issues arising when using atomic broadcast to replicate services that are accesse...
Christof Fetzer, Neeraj Suri
FM
2001
Springer
142views Formal Methods» more  FM 2001»
14 years 1 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...
FSE
2006
Springer
101views Cryptology» more  FSE 2006»
14 years 13 days ago
Pseudorandom Permutation Families over Abelian Groups
We propose a general framework for differential and linear cryptanalysis of block ciphers when the block is not a bitstring. We prove piling-up lemmas for the generalized different...
Louis Granboulan, Éric Levieil, Gilles Pire...
VTC
2010
IEEE
135views Communications» more  VTC 2010»
13 years 7 months ago
Imperfect Radio over Fibre Aided Distributed Antennas with Fractional Frequency Reuse
— The achievable throughput of the entire cellular area is investigated, when employing fractional frequency reuse techniques in conjunction with realistically modelled imperfect...
Xinyi Xu, Rong Zhang, Lajos Hanzo
ACL
2011
13 years 12 days ago
Word Alignment via Submodular Maximization over Matroids
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
Hui Lin, Jeff Bilmes