LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » بـحــث » إصدارات » منشورات
كتـب
إصدار كـتب
مـنشـورات في مـجلات
فصـول في كـتب
منشورات
مـنـشـورات أخـرى
تراخيص
مـذكرات
الوحدات الحالية : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
الفـرق السـابـقــة : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
مـواضـيـع البـحـوث السـابقـة : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
LIP6
  • S. Boulmé, Th. Hardin, D. Hirschkoff, V. Ménissier‑Morain, R. Rioboo : “On the way to certify computer algebra systems”, Calculemus workshop of FLOC'99, vol. 23 (3), Electronic Notes in Theoretical Computer Science, Trento, Italy, pp. 370-385, (Elsevier) [Boulmé 1999a]
  • S. Boulmé, Th. Hardin, R. Rioboo : “Modules Objets et Calcul Formel”, JFLA'99 - Journées francophone des langages applicatifs, Morzine-Avoriaz, France, (Inria) [Boulmé 1999b]
  • P. Caspi, M. Pouzet : “Lucid Synchrone: une extension fonctionnelle de Lustre”, Journées Francophones des Langages Applicatifs (JFLA), Avoriaz, France, (INRIA) [Caspi 1999b]
  • G. Dowek, Th. Hardin, C. Kirchner : “HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic”, 10th International Conference, RTA'99, vol. 1631, Lecture Notes in Computer Science, P. Narendran, M. Rusinowitch (Eds.), Trento, Italy, pp. 317-331, (Springer) [Dowek 1999]
  • G. Hamon, M. Pouzet : “Un Simulateur Synchrone pour Lucid Synchrone”, Journées Francophones des Langages Applicatifs (JFLA), Avoriaz, France, (INRIA) [Hamon 1999]
  • Ch. Queinnec : “Marshaling Unmarshaling as a Compilation Interpretation Process”, Second Merged Symposium IPPS/SPDP 1999 13th International Parallel Processing Symposium 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, pp. 616-621 [Queinnec 1999a]
  • Ch. Queinnec, L. Moreau : “Graceful disconnection”, PDCSIA'99 Parallel and Distributed Computing for Symbolic and Irregular Applications, T. Ito, T. Yuasa (Eds.), Tohoku University, Sendai, Japan, pp. 242-252, (World Scientific), (ISBN: 978-981-02-4139-9) [Queinnec 1999b]
 Mentions légales
| خـريـطـة المـوقـع