Sciweavers

1607 search results - page 244 / 322
» The existence of k-radius sequences
Sort
View
CPM
2006
Springer
107views Combinatorics» more  CPM 2006»
14 years 25 days ago
Tiling an Interval of the Discrete Line
We consider the problem of tiling a segment {0, . . . , n} of the discrete line. More precisely, we ought to characterize the structure of the patterns that tile a segment and thei...
Olivier Bodini, Eric Rivals
EMSOFT
2006
Springer
14 years 23 days ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...
EMSOFT
2006
Springer
14 years 23 days ago
Mixing signals and modes in synchronous data-flow systems
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
Jean-Louis Colaço, Grégoire Hamon, M...
FINTAL
2006
14 years 23 days ago
MEDITE: A Unilingual Textual Aligner
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
Julien Bourdaillet, Jean-Gabriel Ganascia
FSE
2006
Springer
124views Cryptology» more  FSE 2006»
14 years 22 days ago
Improved Linear Distinguishers for SNOW 2.0
In this paper we present new and more accurate estimates of the biases of the linear approximation of the FSM of the stream cipher SNOW 2.0. Based on improved bias estimates we als...
Kaisa Nyberg, Johan Wallén