Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Rigid tetracatenar liquid crystals derived from 1,10-phenanthroline

Tetracatenar liquid crystals were obtained by substituting the 1,10-phenanthroline central core unit at the 3- and 8-positions by extended, rigid acetylene moieties, equipped at the termini with two alkoxy chains of various lengths (n = 6, 8, 10, 12, 14). The liquid crystals exhibit a rich mesomorphism including smectic C, cubic, hexagonal and rectangular columnar phases, depending on the alkoxy chain length. The corresponding rhenium(I) complexes containing the bulky [ReBr(CO)₃] fragment are not liquid-crystalline. The ligands and rhenium(I) complexes were investigated by scanning tunneling microscopy (STM). Both the ligands and the rhenium(I) complexes can be self-assembled into monolayers at the TCB–graphite and octanoic acid–graphite interfaces. The ligands and rhenium(I) complexes are luminescent.

1-butyl-3-methylimidazolium 3,5-dinitro-1,2,4-triazolate: a novel ionic liquid containing a rigid, planar energetic anion

The novel ionic liquid, 1-butyl-3-methylimidazolium 3,5-dinitro-1,2,4-triazolate has been synthesized and exhibits an unexpectedly low melting point (35 degreesC) considering the size and shape of the rigid, planar anion; analogous tetraalkylammonium salts (methyl, ethyl and n-butyl) have also been prepared and the tetraethylammonium example was characterized by single crystal X-ray diffraction.