المؤلفون: 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), Thomas Carle

المصدر: WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis ; https://inria.hal.science/hal-04672502 ; Thomas Carle. WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Jul 2024, Lille, France. Open Access Series in Informatics (OASIcs), Open Access Series in Informatics (OASIcs), pp.1-1, 2024, Workshop on Worst-Case Execution Time Analysis (WCET). ⟨10.4230/OASIcs.WCET.2024.7⟩ ; https://drops.dagstuhl.de/entities/volume/OASIcs-volume-121

مصطلحات موضوعية: Real-time systems, Machine Learning, Embedded and cyber-physical systems, Worst-Case Execution Time (WCET) Estimation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

جغرافية الموضوع: Lille, France

الاتاحة: https://inria.hal.science/hal-04672502
https://inria.hal.science/hal-04672502v1/document
https://inria.hal.science/hal-04672502v1/file/OASIcs.WCET.2024.7.pdf
https://doi.org/10.4230/OASIcs.WCET.2024.7

المؤلفون: 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]

جغرافية الموضوع: Lille, France

الاتاحة: https://hal.science/hal-04646477
https://hal.science/hal-04646477v1/document
https://hal.science/hal-04646477v1/file/WORTEX_Camera_Ready-5.pdf
https://doi.org/10.4230/OASIcs.WCET.2024.1

المؤلفون: Dengler, Eva, Wägemann, Peter

المساهمون: Eva Dengler and Peter Wägemann

مصطلحات موضوعية: energy-constrained real-time systems, time/energy tradeoff, system-on-chip, energy-aware real-time scheduling, resource minimization, preemption control, worst-case energy consumption (WCEC), worst-case execution time (WCET), static whole-system analysis

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.10

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2024.10
https://nbn-resolving.org/urn:nbn:de:0030-drops-203135
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.10

المؤلفون: Meng Li, Kun Xiao, Yong Zhou, Dajun Huang

المصدر: Applied Sciences, Vol 14, Iss 16, p 7277 (2024)

مصطلحات موضوعية: Worst Case Execution Time (WCET), security, micro-architecture analysis, cache modeling, branch prediction modeling, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2076-3417/14/16/7277; https://doaj.org/toc/2076-3417

URL الوصول: https://doaj.org/article/c1e2c9cae83e431d90ac61fc75659228

المؤلفون: Dengler, Eva, Wägemann, Peter

المساهمون: Eva Dengler and Peter Wägemann

مصطلحات موضوعية: energy-constrained real-time systems, time/energy tradeoff, system-on-chip, energy-aware real-time scheduling, resource minimization, preemption control, worst-case energy consumption (WCEC), worst-case execution-time (WCET), static whole-system analysis

وصف الملف: application/pdf

Relation: Is Part Of DARTS, Volume 10, Issue 1, Special Issue of the 36th Euromicro Conference on Real-Time Systems (ECRTS 2024); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.1.2

الاتاحة: https://doi.org/10.4230/DARTS.10.1.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-203244
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.1.2

المؤلفون: Jeanmougin, Louison, Sotin, Pascal, Rochange, Christine, Carle, Thomas

المساهمون: Louison Jeanmougin and Pascal Sotin and Christine Rochange and Thomas Carle

مصطلحات موضوعية: Graphical Processing Unit (GPU), Control Flow Graphs (CFG), Worst-Case Execution Time (WCET), Program analysis

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 114, 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.1

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2023.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-184303
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.1

المؤلفون: Dengler, Eva, Raffeck, Phillip, Schuster, Simon, Wägemann, Peter

المساهمون: Eva Dengler and Phillip Raffeck and Simon Schuster and Peter Wägemann

مصطلحات موضوعية: energy-constrained real-time systems, worst-case execution time (WCET), worst-case energy consumption (WCEC), energy-aware real-time scheduling, static whole-system analysis, time/energy tradeoff, clock tree, system on chip

وصف الملف: application/pdf

Relation: Is Part Of DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.2

الاتاحة: https://doi.org/10.4230/DARTS.9.1.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-180238
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.2

المؤلفون: Nair, A. S., Patil, G., Agarwal, A., Pai, A. V., Raveendran, B. K., Punnekkat, Sasikumar

المصدر: International Journal of Parallel, Emergent and Distributed Systems.

مصطلحات موضوعية: cache coherence protocol, cache locking, cache partitioning, hierarchical cache architecture, Mixed-criticality systems, worst-case execution time (WCET), Architecture, Budget control, Cache memory, Computer architecture, Criticality (nuclear fission), Locks (fasteners), Network architecture, Bad-case execution time, Cache architecture, Cache coherence protocols, Hierarchical caches, Multi-cores, Worst-case execution time, Hierarchical systems

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-65238

المؤلفون: V. Y. Nechay, D. О. Voloshyn, O. I. Nezhumira

المصدر: Nauka ta progres transportu, Vol 75, Iss 3, Pp 105-112 (2018)

مصطلحات موضوعية: worst case execution time (WCET), real-time operating systems (OS RT), real-time tasks, hybrid method, static method, dynamic method, Transportation engineering, TA1001-1280

وصف الملف: electronic resource

Relation: http://stp.diit.edu.ua/article/view/133384/132262; https://doaj.org/toc/2307-3489; https://doaj.org/toc/2307-6666

URL الوصول: https://doaj.org/article/463191c0cdc742d29094c5efe1733151

المؤلفون: Ballabriga, Clément, Forget, Julien, Gonnord, Laure, Lipari, Giuseppe, Ruiz, Jordy

المساهمون: 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), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), CASH - Compilation and Analysis, Software and Hardware (CASH), 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 de l'Informatique du Parallélisme (LIP), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, ANR-17-CE23-0004,CODAS,Ordonnancement de programmes à structures de données complexes(2017), ANR-17-CE25-0003,Corteva,Une méthodologie correcte par construction pour supporter la variabilité du temps d'exécution dans les systèmes temps réel(2017)

المصدر: VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation ; https://hal.science/hal-01939659 ; VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩

مصطلحات موضوعية: binary analysis, Worst-case Execution Time WCET, polyhedra, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Cascais, Portugal

Relation: hal-01939659; https://hal.science/hal-01939659; https://hal.science/hal-01939659/document; https://hal.science/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf

الاتاحة: https://hal.science/hal-01939659
https://hal.science/hal-01939659/document
https://hal.science/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf
https://doi.org/10.1007/978-3-030-11245-5_6

المؤلفون: Kästner, Daniel, Pister, Markus, Wegener, Simon, Ferdinand, Christian

المساهمون: Daniel Kästner and Markus Pister and Simon Wegener and Christian Ferdinand

مصطلحات موضوعية: Worst-Case Execution Time (WCET) Analysis, Real-time Tracing, Functional Safety

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 72, 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019.1

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2019.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-107661
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019.1

المؤلفون: Knoop, Jens, Kovacs, Laura, Zwirchmayr, Jakob

المساهمون: #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: Worst-Case Execution Time (WCET) Analysis, Static Symbolic Execution, Symbolic Computation, Automated Reasoning

Relation: Journal of Symbolic Computation; RiSE S11409-N23; 639270; #PLACEHOLDER_PARENT_METADATA_VALUE#; D0497701; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3335; http://hdl.handle.net/20.500.12708/880; AC11365159; urn:nbn:at:at-ubtuw:3-3335

الاتاحة: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3335
https://hdl.handle.net/20.500.12708/880

المؤلفون: Schommer, Bernhard, Cullmann, Christoph, Gebhard, Gernot, Leroy, Xavier, Schmidt, Michael, Wegener, Simon

المساهمون: Bernhard Schommer and Christoph Cullmann and Gernot Gebhard and Xavier Leroy and Michael Schmidt and Simon Wegener

مصطلحات موضوعية: Worst-Case Execution Time (WCET) Analysis, Annotation Support, CompCert, Tool Coupling, aiT

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 63, 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018.8

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2018.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-97543
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018.8

المؤلفون: Wegener, Simon

المساهمون: Simon Wegener

مصطلحات موضوعية: Worst-Case Execution Time (WCET) Analysis for Multicore Processors, Real-time Systems

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 57, 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2017.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-73113
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.7

المؤلفون: Kafle, Bishoksan

المساهمون: Barahona, Pedro, Cassez, Franck, RUN

مصطلحات موضوعية: Worst Case Execution Time (WCET), Constraint solving, Model checking, Static analysis

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10362/7968

المؤلفون: Tavares, Adriano, Couto, Carlos, Silva, Carlos A., Lima, C. S., Metrôlho, José Carlos Meireles Monteiro

المساهمون: Universidade do Minho

مصطلحات موضوعية: Architectural description language (ADL), Worst-case execution time (WCET), Language paradigm, Timing analysis, Timing scheme

وصف الملف: application/pdf

Relation: ADAMSKI, Marian Andrzej ; KARATKEVICH, Andrei ; WEGRZYN, Marek, ed. lit. - “Design of Embedded Control Systems”. Berlin: Springer Verlag, 2004. ISBN:0-387-23630-9. sect. 2, p. 41.; 0-387-23630-9

الاتاحة: http://hdl.handle.net/1822/1520

المؤلفون: Vasconcelos, Jamile de Barros

المساهمون: Lima, George Marconi de Araújo, orcid:0000-0002-8468-5224, http://lattes.cnpq.br/5391801774050611, Rios, Tatiane Nogueira, orcid:0000-0002-6992-977X, http://lattes.cnpq.br/0851148137941240, Lima, Verônica Maria Cadena, orcid:0000-0003-2714-4525, http://lattes.cnpq.br/0186120040412904

مصطلحات موضوعية: Análise Temporal Probabilística Baseada em Medições (MBPTA), WCET probabilístico (pWCET), Sistemas de Tempo Real (RTS), Tempo de Execução no Pior Caso (WCET), Teoria dos Valores Extremos (EVT), Measurement-Based Probabilistic Time Analysis (MBPTA), probabilistic WCET (pWCET), Worst Case Execution Time (WCET), Real Time Systems (RTS), Extreme Value Theory (EVT), CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO

وصف الملف: application/pdf

Relation: VASCONCELOS, Jamile de Barros. Avaliação experimental do uso de estatística dos valores extremos na determinação de limites de tempos de execução para projeto de sistemas de tempo real. 2023. 170 f. Dissertação (Mestrado em Ciência da Computação) Instituto de Computação, Universidade Federal da Bahia, Salvador, BA, 2023.; https://repositorio.ufba.br/handle/ri/37443

الاتاحة: https://repositorio.ufba.br/handle/ri/37443

المؤلفون: Milutinovic, Suzana, Abella Ferrer, Jaume, Cazorla Almeida, Francisco Javier

المساهمون: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Cache memory, Measurement-Based Probabilistic Timing Analysis (MBPTA), Worst-case execution time (WCET), Representativeness validation method (RVS), Memòria cau

وصف الملف: 8 p.; application/pdf

Relation: http://ieeexplore.ieee.org/document/7515622/; info:eu-repo/grantAgreement/MINECO//RYC-2013-14717/ES/RYC-2013-14717/; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/EC/H2020/687698/EU/High Performance and Embedded Architecture and Compilation/HiPEAC; Milutinovic, S., Abella, J., Cazorla, F. Modelling probabilistic cache representativeness in the presence of arbitrary access patterns. A: IEEE International Symposium on Real-Time Distributed Computing. "2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016: 17-20 May 2016, York, United Kingdom: proceedings". York: Institute of Electrical and Electronics Engineers (IEEE), 2016, p. 142-149.; http://hdl.handle.net/2117/99586

الاتاحة: http://hdl.handle.net/2117/99586
https://doi.org/10.1109/ISORC.2016.28

المؤلفون: Dreyer, Boris, Hochberger, Christian, Lange, Alexander, Wegener, Simon, Weiss, Alexander

المساهمون: Boris Dreyer and Christian Hochberger and Alexander Lange and Simon Wegener and Alexander Weiss

مصطلحات موضوعية: Hybrid Worst-Case Execution Time (WCET) Estimation for Multicore Processors, Real-time Systems

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 55, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2016.4

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2016.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-68977
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2016.4

المؤلفون: Dreyer, Boris, Hochberger, Christian, Wegener, Simon, Weiss, Alexander

المساهمون: Boris Dreyer and Christian Hochberger and Simon Wegener and Alexander Weiss

مصطلحات موضوعية: Hybrid Worst-Case Execution Time (WCET) Estimation for Multicore Processors, Real-time Systems

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.45

الاتاحة: https://doi.org/10.4230/OASIcs.WCET.2015.45
https://nbn-resolving.org/urn:nbn:de:0030-drops-52555
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.45