-
1Conference
المؤلفون: Bensalem, Akram, d'Orazio, Laurent, Lallet, Julien, Enrici, Andrea
المساهمون: A Symbolic and Human-centric view of dAta MANagement (SHAMAN), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: International Conference on Scientific and Statistical Database Management (SSDBM) ; https://hal.science/hal-04722876 ; International Conference on Scientific and Statistical Database Management (SSDBM), Jul 2024, Rennes France, France. pp.1-4, ⟨10.1145/3676288.3676304⟩
مصطلحات موضوعية: Computer systems organization → Real-time system architecture Cloud computing • Information systems → Key-value stores Data Management, Time Series, Visibility Graph, Prefetching, Computer systems organization → Real-time system architecture, Cloud computing, • Information systems → Key-value stores Data Management, [INFO]Computer Science [cs]
جغرافية الموضوع: Rennes France, France
Time: Rennes France, France
-
2Conference
المؤلفون: Reymond, Hugo, Amalou, Abderaouf Nassim, Puaut, Isabelle
المساهمون: Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Département Systèmes et Circuits Intégrés Numériques (DSCIN (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Thomas Carle, ANR-22-CE92-0066,InterMCore,Interferences au sein d'une méthodologie de conception certifiable pour les plate-formes multi-coeurs haute performance(2022), ANR-10-LABX-0007,COMIN Labs,Digital Communication and Information Sciences for the Future Internet(2010)
المصدر: Open Access Series in Informatics ; WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis ; https://hal.science/hal-04646477 ; WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Thomas Carle, Jul 2024, Lille, France. pp.1:1-1:14, ⟨10.4230/OASIcs.WCET.2024.1⟩
مصطلحات موضوعية: Worst-Case Execution Time (WCET), Worst-Case Energy Consumption (WCEC), Machine Learning, Explainable ML models, Computer systems organization → Real-time systems, [INFO]Computer Science [cs]
-
3Conference
المؤلفون: Amalou, Abderaouf, N, Fromont, Elisa, Puaut, Isabelle
المساهمون: Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Large Scale Collaborative Data Mining (LACODAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Papadopoulos, Alessandro V.
المصدر: Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 7:1-7:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik ; ECRTS 2023 - 35th Euromicro Conference on Real-Time Systems ; https://hal.science/hal-04148587 ; ECRTS 2023 - 35th Euromicro Conference on Real-Time Systems, Jul 2023, Vienne, Austria. pp.7:1--7:20, ⟨10.4230/LIPIcs.ECRTS.2023.7⟩
مصطلحات موضوعية: Worst-case execution time, Language model, Machine learnin, machine learning, transformers, hybrid technique, Computer systems organization → Real-time system architecture, [INFO]Computer Science [cs]
-
4Conference
المؤلفون: Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan, Sun, Youcheng
المساهمون: Universität Augsburg Deutschland = University of Augsburg Germany = Université d'Augsburg Allemagne (UNIA), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Realtime-at-Work (RTaW), Universidad de Cantabria Santander = University of Cantabria Spain = Université de Cantabrie Espagne (UC / UniCan), Université Grenoble Alpes (UGA), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Thales R&D, Thales R et D, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires (SYCOMORES), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), University of Luxembourg Luxembourg, Pôle d'ingénierie multidisciplinaire du LIG (PIMLIG ), Laboratoire d'Informatique de Grenoble (LIG), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), University of Manchester Manchester, ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019), ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022), European Project: 101007350,AIDOaRt
المصدر: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) ; 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) ; https://hal.science/hal-04654624 ; 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. ⟨10.4230/LIPIcs.ECRTS.2023.19⟩
مصطلحات موضوعية: Verification challenge, industrial use case, end-to-end latency, Computer systems organization → Real-time systems, Computer systems organization → Embedded systems, General and reference → Verification, Software and its engineering → Software verification and validation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]
Relation: info:eu-repo/grantAgreement//101007350/EU/AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems/AIDOaRt; hal-04654624; https://hal.science/hal-04654624
-
5
المؤلفون: Koll, Henrik, 1984
المصدر: Praktiske Grunde. (3-4):5-30
مصطلحات موضوعية: Bourdieu, field, habitus, hysteresis, participant objectivation, practice as temporalization, strategic organization of time, temporal logic of practice, Organisational studies, Organisationsstudier
وصف الملف: electronic
-
6Conference
المؤلفون: Boudin, Auriane
المساهمون: Laboratoire Parole et Langage (LPL), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Institute of Language, Communication and the Brain (ILCB)
المصدر: Proceedings of the 2022 International Conference on Multimodal Interaction ; ICMI '22: International Conference on Multimodal Interfaces ; https://hal.science/hal-04688897 ; ICMI '22: International Conference on Multimodal Interfaces, Nov 2022, Bengaluru, India. pp.705-710, ⟨10.1145/3536221.3557029⟩
مصطلحات موضوعية: Feedback Multimodality Linguistic interaction Statistical model Corpus study, Feedback, Multimodality, Linguistic interaction, Statistical model, Corpus study, CCS Concepts: Computer systems organization → Real-time operating systems Feedback Multimodality Linguistic interaction Statistical model Corpus study, CCS Concepts, Computer systems organization → Real-time operating systems Feedback, Feedback Multimodality Linguistic interaction Statistical model Corpus study ACM Reference, Corpus study ACM Reference, [SCCO.LING]Cognitive science/Linguistics, [SCCO.COMP]Cognitive science/Computer science
-
7Conference
المؤلفون: Roussanaly, Victor, Falcone, Yliès
المساهمون: Compiler Optimization and Run-time Systems (CORSE), Inria Grenoble - Rhône-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), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)
المصدر: TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning ; https://inria.hal.science/hal-03911668 ; TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs.12⟩
مصطلحات موضوعية: 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs.12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, Theory of computation → Regular languages, Theory of computation → Rewrite systems, Theory of computation → Automata over infinite objects, Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
8Academic Journal
المؤلفون: Okraj, Zofia
مصطلحات موضوعية: twórcza praca, innowatorzy, organizacja czasu i pracy, teoria ESA, creative work, innovators, organization of time and work, ESA theory
وصف الملف: application/pdf
Relation: Kultura-Przemiany-Edukacja T. 12-13 (2023), s. 347-365; https://repozytorium.ur.edu.pl/handle/item/10416
-
9Academic Journal
المؤلفون: Peeck, Jonas, Ernst, Rolf
المساهمون: International Conference on Embedded Software (EMSOFT ’23), September 17–22, 2023, Hamburg
مصطلحات موضوعية: ScholarlyArticle, ddc:004, ddc:62, Veröffentlichung der TU Braunschweig, Computer systems organization→Real-time systems -- Embedded and cyber-physical systems -- Networks→Packet-switching networks -- safety -- real-time -- Ethernet -- verification -- automated driving -- TSN
وصف الملف: 26 Seiten
Relation: ACM Transactions on Embedded Computing Systems, Volume 22, Issue 5s, Article No.: 139, pp 1–25, https://doi.org/10.1145/3609120; https://doi.org/10.1145/3609120
الاتاحة: https://doi.org/10.24355/dbbs.084-202309111327-0
https://nbn-resolving.org/urn:nbn:de:gbv:084-2023091310469
https://leopard.tu-braunschweig.de/receive/dbbs_mods_00074376
https://leopard.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00052832/Peeck_EMSOFT-15.pdf
https://doi.org/10.1145/3609120 -
10Conference
المؤلفون: Degioanni, Théo, Puaut, Isabelle
المساهمون: École normale supérieure - Rennes (ENS Rennes), Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: WCET 2022 - 20th International Workshop on Worst-Case Execution Time Analysis ; https://inria.hal.science/hal-03723457 ; WCET 2022 - 20th International Workshop on Worst-Case Execution Time Analysis, Jul 2022, Modena, Italy. ⟨10.4230/OASIcs.WCET.2022.1⟩
مصطلحات موضوعية: Worst-Case Execution Time Estimation, Static Analysis, Multicore, Interference, Implicit Path Enumeration Technique, 2012 ACM Subject Classification Computer systems organization → Real-time systems, Computer systems organization → Embedded systems phrases Worst-Case Execution Time Estimation Static Analysis Multicore Interference Implicit Path Enumeration Technique, Computer systems organization → Embedded systems phrases Worst-Case Execution Time Estimation, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
11Conference
المؤلفون: Ladeira, Matheus, Grolleau, Emmanuel, Bonneval, Fabien, Hattenberger, Gautier, Ouhammou, Yassine, Hérouard, Yuri
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Systèmes Embarqués Temps Réel équipe du LIAS (SETR), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ecole Nationale de l'Aviation Civile (ENAC), Ingénierie des Données et des moDèles équipe du LIAS (IDD)
المصدر: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
https://enac.hal.science/hal-03716151
34th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jul 2022, Modena, Italy. ⟨10.4230/DARTS.8.1.4⟩مصطلحات موضوعية: 2012 ACM Subject Classification Computer systems organization → Real-time system architecture, non-preemptible, heuristics, FIFO, autopilot, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [SPI.AUTO]Engineering Sciences [physics]/Automatic
Relation: hal-03716151; https://enac.hal.science/hal-03716151; https://enac.hal.science/hal-03716151/document; https://enac.hal.science/hal-03716151/file/LIPIcs-ECRTS-2022-11.pdf
-
12Conference
المساهمون: DTIS, ONERA, Université de Toulouse Toulouse, ONERA-PRES Université de Toulouse, Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués (IRIT-TRACES), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Airbus France, ONERA - The French Aerospace Lab Toulouse, ONERA, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: Dagstuhl Artifacts Series (DARTS) : Special Issue of the 36th European Conference on Object-Oriented Programming ; 24th Euromicro Conference on Real-Time Systems (ECRTS 2022) ; https://ut3-toulouseinp.hal.science/hal-03707284 ; 24th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jun 2022, Modène, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.3⟩ ; https://drops.dagstuhl.de/opus/volltexte/2022/16502/
مصطلحات موضوعية: Real-time safety-critical systems, Worst Case Execution Time analysis, Artificial Neural Networks implementation, Computer systems organization → Real-time systems, Software and its engineering → Software notations and tools, [INFO]Computer Science [cs]
-
13Conference
المؤلفون: Roux, Pierre, Quinton, Sophie, Boyer, Marc
المساهمون: DTIS, ONERA, Université de Toulouse Toulouse, ONERA-PRES Université de Toulouse, Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-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), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), ARNRT-Proofs, European Project
المصدر: ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems ; https://hal.science/hal-03770727 ; ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modene, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩
مصطلحات موضوعية: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq, Computer systems organization → Real-time system specification, Networks → Formal specifications, Software and its engineering → Formal methods, General and reference → Verification, [SPI]Engineering Sciences [physics]
-
14Review
المؤلفون: Mone, Mark A.1
المصدر: Administrative Science Quarterly. Dec2003, Vol. 48 Issue 4, p705-709. 5p.
مصطلحات موضوعية: *TIME management, NONFICTION
Reviews & Products: HUMAN Organization of Time: Temporal Realities & Experiences, The (Book)
People: BLUEDORN, Allen C.
-
15Conference
المؤلفون: Skalistis, Stefanos, Kritikakou, Angeliki
المساهمون: Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN)
المصدر: ECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems ; https://hal.science/hal-02927451 ; ECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems, Jul 2020, Virtual, France. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2020.4⟩
مصطلحات موضوعية: 2012 ACM Subject Classification Computer systems organization → Embedded software, Computer systems organization → Multicore architectures, Computer systems organization → Real-time systems Keywords and phrases Worst-Case Execution Time, Interference-sensitive, Run-time Adaptation, Time-Triggered, Response Time Analysis, Multi-cores, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
16Academic Journal
المؤلفون: Krüger, Kristin, Vreman, Nils, Pates, Richard, Maggio, Martina, Völp, Marcus, Fohler, Gerhard
المصدر: Leibniz Transactions on Embedded Systems; Vol. 7 No. 1 (2021): Special Issue on Embedded System Security; 01:1-01:29 ; 2199-2002 ; 10.4230/LITES-v007-i001
مصطلحات موضوعية: real-time systems, time-triggered systems, security, Computer systems organization - Real-time systems, Security and privacy - Operating systems security, Software and its engineering - Scheduling, Computer systems organization - Redundancy
وصف الملف: application/pdf
Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v007-i001-a001/lites-v007-i001-a001-pdf; https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v007-i001-a001
-
17Academic Journal
المؤلفون: Orr, James, Gill, Chris, Agrawal, Kunal, Li, Jing, Baruah, Sanjoy
المصدر: Leibniz Transactions on Embedded Systems; Vol. 6 No. 1 (2019); 05:1-05:14 ; 2199-2002 ; 10.4230/LITES-v006-i001
مصطلحات موضوعية: Parallel real-time tasks, multiprocessor federated scheduling, elasticity coefficient, Software and its engineering~Real-time schedulability, Computer systems organization~Real-time system architecture, Computer systems organization~Real-time system specification, Computer systems organization~Embedded software
وصف الملف: application/pdf
Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a005/lites-v006-i001-a005-pdf; https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a005
-
18Conference
المؤلفون: Mancuso, Renato, Yun, Heechul, Puaut, Isabelle
المساهمون: Boston University Boston (BU), University of Kansas Lawrence (KU), Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems ; https://hal.science/hal-02190255 ; ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-25, ⟨10.4230/LIPIcs.ECRTS.2019.17⟩
مصطلحات موضوعية: dynamic cache locking, 2012 ACM Subject Classification Computer systems organization → Real-time systems, static cache analysis, deterministic memory, WCET analysis, static cache locking, abstract interpretation, Theory of computation → Caching and paging algorithms Keywords and phrases real-time, cache profiling, LRU, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
19Conference
المؤلفون: Hebbache, Farouk, Brandner, Florian, Jan, Mathieu, Pautet, Laurent
المساهمون: Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Informatique et Réseaux (INFRES), Télécom ParisTech
المصدر: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
https://hal.science/hal-02447339
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩مصطلحات موضوعية: 2012 ACM Subject Classification Computer systems organization → Real-time system architecture Keywords and phrases Dynamic Time-Division Multiplexing, Predictable Computing, Multi-Crit- icality, Preemption, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: hal-02447339; https://hal.science/hal-02447339; https://hal.science/hal-02447339/document; https://hal.science/hal-02447339/file/LIPIcs-ECRTS-2019-19.pdf
-
20Conference
المؤلفون: Varoumas, Steven, Crolard, Tristan
المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), CEDRIC. Systèmes sûrs (CEDRIC - SYS), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM)-Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Sebastian Altmeyer
المصدر: 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
https://hal.science/hal-02340245
19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), Jul 2019, Stuttgart, Germany. pp.5:1--5:12, ⟨10.4230/OASIcs.WCET.2019.5⟩مصطلحات موضوعية: bytecode, synchronous programming, microcontrollers, Computer systems organization → Real-time systems Keywords and phrases Worst-case execution time, OCaml, 2012 ACM Subject Classification Computer systems organization → Embedded software, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-02340245; https://hal.science/hal-02340245; https://hal.science/hal-02340245/document; https://hal.science/hal-02340245/file/OASIcs-WCET-2019-5.pdf