Learn More
The paper presents a prototype of the Taxys tool developed within a collaboration between France Telecom R&D and VER-IMAG. 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)
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)
1. Abstract This paper presents COM16M, a fully autonomous monochip ATM switch capable of handling 16 multiplexes carrying ATM cells at 622 Mbits/s. It is a fully autonomous switch, i.e. the chip includes clock adaptation, routing and cell buffering as well as header translation and control capabilities. The switch is integrated into one single chip(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)
PURPOSE To survey the management of congenital nasolacrimal duct obstruction, in particular, the timing of intervention and the use of massage, probing, nasolacrimal intubation, nasal endoscopy, and dacryocystorhinostomy. METHODS This was an exploratory study that used an electronic questionnaire, which was sent via Internet to the members of Ojoplast, a(More)
  • 1