-
1تقرير
-
2تقرير
المؤلفون: Liquori, Luigi, Mendler, Michael
المساهمون: Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Institut National de Recherche en Informatique et en Automatique (Inria), University of Bamberg, Liquori: Partially funded by ETSIMendler: Partially funded by UniCA/I3S, Inria
المصدر: https://inria.hal.science/hal-04367635Test ; Inria; University of Bamberg. 2023.
مصطلحات موضوعية: Process algebras and calculi, Synchronous programming, [INFO]Computer Science [cs]
العلاقة: hal-04367635; https://inria.hal.science/hal-04367635Test; https://inria.hal.science/hal-04367635/documentTest; https://inria.hal.science/hal-04367635/file/synpatick-lipics.pdfTest
-
3تقرير
المؤلفون: Mendler, Michael
المصدر: EPTCS 46, 2011, pp. 28-48
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Performance, Computer Science - Programming Languages, F.3.1, F.3.2, F.4.1, F.2.2
الوصول الحر: http://arxiv.org/abs/1101.4733Test
-
4دورية أكاديمية
المؤلفون: COLAÇO, JEAN-LOUIS, MENDLER, MICHAEL, PAUGET, BAPTISTE, POUZET, MARC
المصدر: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-26, 26p
مصطلحات موضوعية: LANGUAGE policy, PROGRAMMING languages, COMPILERS (Computer programs), KRIPKE semantics, EQUATIONS of state, TRANSLATORS, SEMANTICS, GENERAL semantics
-
5كتاب
المؤلفون: Mendler, Michael
العلاقة: #PLACEHOLDER_PARENT_METADATA_VALUE#; https://fis.uni-bamberg.de/handle/uniba/44332Test; urn:nbn:de:bvb:473-opus4-526634
-
6كتاب
المؤلفون: Andersen, Henrik Reif, Mendler, Michael
الوقت: 004, 510
العلاقة: #PLACEHOLDER_PARENT_METADATA_VALUE#; https://fis.uni-bamberg.de/handle/uniba/44320Test; urn:nbn:de:bvb:473-opus4-526456
-
7كتاب
المؤلفون: Mendler, Michael
العلاقة: https://fis.uni-bamberg.de/handle/uniba/44287Test; urn:nbn:de:bvb:473-opus4-526664
-
8كتاب
المؤلفون: Reinhardt, Tilmann, Mendler, Michael, Stroup, Terry
العلاقة: https://fis.uni-bamberg.de/handle/uniba/44288Test; urn:nbn:de:bvb:473-opus4-526653
-
9دورية أكاديمية
المؤلفون: Mendler, Michael
المساهمون: Michael Mendler
مصطلحات موضوعية: Hardware synchronisation, inertial delays, delay-insensitive circuits, constructive circuits, metastability, constructive modal logic
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 121, 32nd International Symposium on Distributed Computing (DISC 2018); urn:nbn:de:0030-drops-97925; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.3Test
الإتاحة: https://doi.org/10.4230/LIPIcs.DISC.2018.3Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-97925Test -
10مؤتمر
المساهمون: Otto-Friedrich-Universität Bamberg, University of Bamberg, Université Paris sciences et lettres (PSL), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Department of Computer Science Kiel, Christian-Albrechts-Universität zu Kiel (CAU)
المصدر: ESOP 2018 - European Symposium on Programming ; https://hal.archives-ouvertes.fr/hal-01960404Test ; ESOP 2018 - European Symposium on Programming, Apr 2018, Thessaloniki, Greece
مصطلحات موضوعية: Synchronous programming, Data abstraction, Clock-synchronised shared memory, Determinacy, Concurrency, Constructive semantics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
جغرافية الموضوع: Thessaloniki, Greece
العلاقة: hal-01960404; https://hal.archives-ouvertes.fr/hal-01960404Test; https://hal.archives-ouvertes.fr/hal-01960404/documentTest; https://hal.archives-ouvertes.fr/hal-01960404/file/esop_aguado_final.pdfTest