Learn More
The paper presents a prototype of the Taxys tool developed within a collaboration between France Telecom R&D and VERIMAG. The connection of the Saxo-rt Esterel compiler and of the Kronos model-checker, together with on-the-fly techniques, brings up the possibility of verifying quantitative timing constraints on real industrial telecommunication systems,(More)
This paper presents a new method for compiling the concurrent synchronous language Esterel into sequential C code. The method is optimized for embedded systems with very tight memory and real-time constraints. Source code is sliced into small code sequences called halt points, statically scheduled so as to be compatible with Esterel semantic. Speed reaction(More)
AIM To evaluate the efficacy of periocular triamcinolone acetonide for the treatment of thyroid associated ophthalmopathy (TAO), and the presence of ocular or systemic adverse effects. METHODS A multicentre prospective pilot study was performed on patients diagnosed with Graves' ophthalmopathy less than 6 months before entry to the study. Patients were(More)
PURPOSE We present a case of traumatic luxation of the ocular globe into the maxillary sinus. MATERIAL AND METHODS Male patient, 23 years old with orbito-facial trauma and traumatic luxation of his right ocular globe into the maxillary sinus. CONCLUSION To present an unusual case of traumatic prolapse of an undamaged ocular globe into a paranasal sinus.
PURPOSE Leiomyoma is a benign tumor derived from smooth muscle, most frequently occurring in the uterus and gastrointestinal system. This report discusses clinical and pathologic findings in a 56-year-old man with orbital leiomyoma. METHODS Case review. RESULTS A lateral orbitotomy was performed. Immunohistochemical staining for actin and desmin was(More)
CASE REPORT A male patient with an exposure keratopathy caused by lagophthalmos. A gold weight was implanted in the right upper eyelid. Eight months later, he presented with erythema and swelling of right upper eyelid. An incisional biopsy was performed, reporting extranodal marginal zone B cell lymphoma. DISCUSSION when a tumour at the site of a gold(More)
The goal of Taxys is to provide a framework for developing real-time embedded code and verifying its correct behavior with respect to quantitative timing requirements. To achieve so, Taxys connects France Telecom's Esterel compiler Saxo-rt with VERIMAG's model-checker Kronos. Taxys has been successfully applied on real industrial telecommunication systems,(More)
Aim: To evaluate the efficacy of periocular triamcinolone acetonide for the treatment of thyroid associated ophthalmopathy (TAO), and the presence of ocular or systemic adverse effects. Methods: A multicentre prospective pilot study was performed on patients diagnosed with Graves’ ophthalmopathy less than 6 months before entry to the study. Patients were(More)
We will refer to lacrimal system pathologies involving the outflow pathways, as well as to the recent advances in the management of canalicular and lacrimonasal duct anomalies, including modifications to dacrycystorhinostomy technique, treatment for congenital obstructions, and lacrimal intubations. Special emphasis will be placed on the usefulness of nasal(More)