A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...

The linear complexity (LC) of a sequence has been used as a convenient measure of the randomness of a sequence. Based on the theories of linear complexity, k-error linear complexity, the minimum error and the k-error linear complexity profile, the notion of m-tight error linear complexity is presented. An efficient algorithm for computing m-tight error linear complexity is derived from the algo...

We give analytic approximations to the baryon asymmetry produced by thermal leptogenesis with hierarchical right-handed neutrinos. Our calculation includes flavour-dependent washout processes and CP violation in scattering, and neglects gauge interactions and finite temperature corrections. Our approximate formulae depend upon the three CP asymmetries in the individual lepton flavours as well a...