Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages"', χρόνος αναζήτησης: 0,53δλ Περιορισμός αποτελεσμάτων
  1. 1
    Conference

    A data type for discretized time representation in DEVS

    Συγγραφείς: Vicino, Damian, Dalle, Olivier, Wainer, Gabriel

    Συνεισφορές: Safe Composition of Autonomous applications with Large-SCALE Execution environment (SCALE), Centre Inria d'Université Côte d'Azur, 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), Advanced Real-Time Simulation Laboratory (ARS), University of Ottawa Ottawa, ICST, Kalyan Perumalla and Roland Ewald, ANR-11-INFR-0013,SONGS,Simulation de systèmes de prochaine génération(2011)

    Πηγή: SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques ; https://inria.hal.science/hal-01055555 ; SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques, ICST, Mar 2014, Lisbon, Portugal

    Θεματικοί όροι: ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Θέμα γεωγραφικό: Lisbon, Portugal

    Διαθεσιμότητα: https://inria.hal.science/hal-01055555
    https://inria.hal.science/hal-01055555v1/document
    https://inria.hal.science/hal-01055555v1/file/DEVSTimeType.pdf

    View record from BASE
    Προσθήκη στα αγαπημένα
  2. 2
    Academic Journal

    From hybrid data-flow languages to hybrid automata: a complete translation

    Συγγραφείς: Schrammel, Peter, Jeannet, Bertrand

    Συνεισφορές: Schrammel, Peter, Thao Dang and Ian Mitchell, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA, INRIA Synchronics

    Πηγή: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. :167-176

    Θεματικοί όροι: 0209 industrial biotechnology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, Static Analysis, Verification, 02 engineering and technology, Hybrid Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Data-Flow Languages, Hybrid Automata, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

    Περιγραφή αρχείου: application/pdf

    Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-00749891/file/paper.pdf
    https://inria.hal.science/hal-00659698v1
    https://inria.hal.science/hal-00749891v1
    https://inria.hal.science/hal-00749891v1/document
    https://doi.org/10.1145/2185632.2185658
    https://hal.inria.fr/hal-00659698
    http://srodev.sussex.ac.uk/60805/
    https://dl.acm.org/doi/10.1145/2185632.2185658
    https://hal.inria.fr/hal-00659698/document
    https://www.cs.ox.ac.uk/publications/publication6408-abstract.html
    http://sro.sussex.ac.uk/id/eprint/60805/

    View record at OpenAIRE
    Προσθήκη στα αγαπημένα

Εργαλεία αναζήτησης: