This paper serves as a systematization of knowledge of linear cryptanalysis and provides novel insights in the areas of key schedule design and tweakable block ciphers. We examine in a step by step manner the linear hull theorem in a general and consistent setting. Based on this, we study the influence of the choice of the key scheduling on linear cryptanalysis, a – notoriously difficult – but ...

We present an approach to aid in debugging/development of scheduling algorithm implementations. Our technique makes use of a sequence of a correctness-preserving RTL transformation called Register Transfer Split (RTS), to collectively perform the same task as that of a scheduler. Violation of the transformation precondition signals an error and the sequence of RTS transformations applied so far...

We propose a branch-and-price algorithm to solve the integrated multidepot vehicle and crew scheduling problem. An integer mathematical formulation that combines a multicommodity network flow model with a set partionning model is presented. We solve the corresponding linear relaxation using a column generation scheme. Two branching strategies are tested over benchmark instances available in the...

background and objectives: operating room (or) scheduling is key to optimal operating room productivity. the significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. this paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. the model considers various surgical operation co...

Development of the blended learning module integrating remote laboratory experiments into Moodle learning environment for an engineering master course in DSP, is described in this paper. New Moodle block called Remote Lab View (RLV) is created allowing remote experiments time scheduling as well as synchronous chat session available for teacher present in the laboratory and for students who acce...

This article presents a practical tool for optimally scheduling wine grape harvesting operations taking into account both operational costs and grape quality. We solve a mixed-integer linear programming model to support harvest scheduling, labor allocation, and routing decisions. A quality loss function is used to represent wine quality reduction at each vineyard block due to premature or defer...

High throughput decoding of turbo-codes can be achieved thanks to parallel decoding. However, for finite block sizes, the initialisation duration of each half-iteration reduces the activity of the processing units, especially for higher degrees of parallelism. To solve this issue, a new decoding scheduling is proposed, with a partial processing overlapping of two successive half iterations. Pot...