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)
Tumor-specific cytotoxic T lymphocytes (CTLs) can mediate tumor regression in patients with metastatic melanoma and play a central role in the Immune response to cancer. The recent Identification of shared mel anoma antigens has raised the possibifity of a limited melsnoina-speclflc T-cell receptor (TCR) repertoire, but subsequent studies have been con(More)
  • 1