INNOVATIONS AND STAMPS

Improving on Version Stamps

Optimistic distributed systems often rely on version vectors or their variants in order to track updates on replicated objects. Some of these mechanisms rely on some form of global configuration or distributed naming protocol in order to assign unique identifiers to each replica. These approaches are incompatible with replica creation under arbitrary partitions, a typical operation mode in mobi...

Radiology on postage stamps.

Biologists in stamps

These UK stamps were issued in (clockwise, from top right) 1965, 1982 and 1996, to commemorate the centenary of Joseph Lister's discovery of antiseptic surgery, the centenary of the death of Charles Darwin, and the work of crystallographer Dorothy Hodgkin (who is backed by her model of vitamin B 12). The Hodgkin stamp is one of a series entitled Twentieth Century Women of Achievement, which inc...

Stamps in cardiology.

2 Alam M. The atrioventricular plane displacement as a means of evaluating left ventricular systolic function in acute myocardial infarction. Clin Cardiol 1991;14:588-94. 3 Alam M, Hoglund C, Thorstrand C, Hellekant C. Haemodynamic significance of the atrioventricular plane displacement in patients with coronary artery disease. Eur Heart Jf 1992;13: 194-200. 4 Alam M, Hoglund C, Thorstrand C. L...

No Type Stamps and No Structure Stamps | a Referentially - Transparent Higher

A language for programming-in-the-large should support architectural descriptions of an entire product line. The evaluation of programs-in-the-large should generate the architecture of individual products and should link implementations-in-the-small to form an executable product. The Standard ML (SML) module language 20] could serve this task, but it is not referentially transparent. Furthermor...