M. Guerin on Club-Foot, Wry-neck, &c. &c.

T D C C P-c M C M

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 pulseless club foot.

Previous reports have suggested that the blood supply derived from the anterior tibial artery is absent or markedly diminished in 85% of severe, untreated club feet. To investigate these claims, we used a Doppler technique to study the arterial pulses in 40 children with 63 club feet. In feet with mild or moderate deformities the anterior tibial pulse was always present; in feet with severe def...

Congenital Club-Foot

T C C C C  N-m L

The study of the complexity of logical problems has provided a very fruitful field of research since many decades. On the one hand researchers have tried to classify exactly in terms of complexity classes and upper and lower bounds the complexity of decision and other logical problems. Although in general such problems are of high complexity, efforts have been made to develop efficient algorith...

Congenital Club-Foot