Search results for "WCET"

Hits ?▲	Authors	Title	Venue	Year	Link
23	Marc Langenbach, Stephan Thesing, Reinhold Heckmann	Pipeline Modeling for Timing Analysis.	SAS	2002	DBLP DOI BibTeX RDF
23	Antoine Colin, Isabelle Puaut	Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.	ECRTS	2001	DBLP DOI BibTeX RDF
23	Thomas Ringler	Static Worst-Case Execution Time Analysis of Synchronous Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
23	Christopher A. Healy, David B. Whalley	Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
23	Jakob Engblom	Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
23	Peter P. Puschner	A tool for high-level language analysis of worst-case execution times.	ECRTS	1998	DBLP DOI BibTeX RDF
17	Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati	Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
17	Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder	EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati	Probabilistic WCET Estimation for Weakly Hard Real-Time Systems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache	Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
17	Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari	WCET analysis with procedure arguments as parameters.	RTNS	2023	DBLP DOI BibTeX RDF
17	Pegdwende Romaric Nikiema, Angeliki Kritikakou, Marcello Traiola, Olivier Sentieys	Impact of Transient Faults on Timing Behavior and Mitigation with Near-Zero WCET Overhead.	ECRTS	2023	DBLP DOI BibTeX RDF
17	Thilo L. Fischer, Heiko Falk	WCET Analysis of Shared Caches in Multi -Core Architectures using Event-Arrival Curves.	DATE	2023	DBLP DOI BibTeX RDF
17	Sangwoon Yun, Kyungtae Kang	Runtime WCET Estimation Using Machine Learning.	MobiCom	2023	DBLP DOI BibTeX RDF
17	Lia Cagnizi, Federico Reghenzani, William Fornaciari	Poster Abstract: Run-time Dynamic WCET Estimation.	IoTDI	2023	DBLP DOI BibTeX RDF
17	Sandro Grebant	Efficient tree-based symbolic WCET computation. (Calcul efficace du pire temps d'exécution symbolique à base d'arbres).		2023	RDF
17	Boris Dreyer, Christian Hochberger, Simon Wegener	Call String Sensitivity for Hardware-Based Hybrid WCET Analysis.	IEEE Embed. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange	A Framework for Calculating WCET Based on Execution Decision Diagrams.	ACM Trans. Embed. Comput. Syst.	2022	DBLP DOI BibTeX RDF
17	Vikash Kumar	Estimation of an Early WCET Using Different Machine Learning Approaches.	3PGCIC	2022	DBLP DOI BibTeX RDF
17	P. Padma Priya Dharishini, Prakriya Ramana Murthy	Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP.	ISEC	2022	DBLP DOI BibTeX RDF
17	Shashank Jadhav, Heiko Falk	Approximating WCET and Energy Consumption for Fast Multi-Objective Memory Allocation.	RTNS	2022	DBLP DOI BibTeX RDF
17	Valentin Pasquale, Isabelle Puaut	Winston: Revisiting iterative compilation for WCET minimization.	RTNS	2022	DBLP DOI BibTeX RDF
17	Sergi Vilardell, Isabel Serra, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla, Joan del Castillo	Using Markov's Inequality with Power-Of-k Function for Probabilistic WCET Estimation.	ECRTS	2022	DBLP DOI BibTeX RDF
17	Gabriella Bettonte, Valentin Gilbert, Daniel Vert, Stéphane Louise, Renaud Sirdey	Quantum Approaches for WCET-Related Optimization Problems.	ICCS (4)	2022	DBLP DOI BibTeX RDF
17	Marwan Wehaiba el Khazen, Kevin Zagalo, Hadrien Clarke, Mehdi Mezouak, Yasmina Abdeddaïm, Avner Bar-Hen, Slim Ben-Amor, Rihab Bennour, Adriana Gogonel, Kossivi Kougblenou, Yves Sorel, Liliana Cucu-Grosjean	Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators.	RTAS	2022	DBLP DOI BibTeX RDF
17	Wei Zhang 0173, Mingsong Lv, Wanli Chang 0001, Lei Ju 0001	Precise and scalable shared cache contention analysis for WCET estimation.	DAC	2022	DBLP DOI BibTeX RDF
17	Jaekwon Lee	WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning.		2022	RDF
17	Juan Segarra, Ruben Gran Tejero, Víctor Viñals	A generic framework to integrate data caches in the WCET analysis of real-time systems.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
17	Robert Mittermayr, Johann Blieberger	Deadlock and WCET analysis of barrier-synchronized concurrent programs.	Computing	2021	DBLP DOI BibTeX RDF
17	Simon Schuster, Peter Wägemann, Peter Ulbrich, Wolfgang Schröder-Preikschat	Annotate once - analyze anywhere: context-aware WCET analysis by user-defined abstractions.	LCTES	2021	DBLP DOI BibTeX RDF
17	Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner	Testing Implementation Soundness of a WCET Analysis Tool.	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
17	Georg Seifert	Analysemethodiken zur Berechnung der WCET mit asynchroner Ein-/Ausgabeverarbeitung.	Echtzeit	2021	DBLP DOI BibTeX RDF
17	Ole Lübke, Sibylle Schupp	WCET-aware reachability for verified simplex design: work-in-progress.	EMSOFT	2021	DBLP DOI BibTeX RDF
17	Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller	WE-HML: hybrid WCET estimation using machine learning for architectures with caches.	RTCSA	2021	DBLP DOI BibTeX RDF
17	Michael Jacobs 0002	Design and Implementation of WCET Analyses: Including a Case Study on Multi-Core Processors with Shared Buses.		2021	RDF
17	Juan Segarra, Jordi Cortadella, Ruben Gran Tejero, Víctor Viñals Yúfera	Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Syed Abdul Baqi Shah, Muhammad Rashid, Muhammad Arif	Estimating WCET using prediction models to compute fitness function of a genetic algorithm.	Real Time Syst.	2020	DBLP DOI BibTeX RDF
17	Federico Reghenzani, Giuseppe Massari, William Fornaciari	Probabilistic-WCET reliability: Statistical testing of EVT hypotheses.	Microprocess. Microsystems	2020	DBLP DOI BibTeX RDF
17	Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange	Improving the Performance of WCET Analysis in the Presence of Variable Latencies.	LCTES	2020	DBLP DOI BibTeX RDF
17	Simon Reder, Jürgen Becker 0001	WCET-aware Code Generation and Communication Optimization for Parallelizing Compilers.	DATE	2020	DBLP DOI BibTeX RDF
17	Kateryna Muts, Heiko Falk	Compiler-based WCET prediction performing function specialization.	SCOPES	2020	DBLP DOI BibTeX RDF
17	Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet	Improving WCET Evaluation using Linear Relation Analysis.	Leibniz Trans. Embed. Syst.	2019	DBLP DOI BibTeX RDF
17	Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari, Smaïl Niar	A WCET-aware cache coloring technique for reducing interference in real-time systems.	CoRR	2019	DBLP BibTeX RDF
17	Yingjie Wang, Kuanjiu Zhou, Mingchu Li	实时嵌入式系统的WCET分析与预测研究综述 (Survey of WCET Analysis and Prediction for Real-time Embedded Systems).	计算机科学	2019	DBLP BibTeX RDF
17	Fanqi Meng, Xiaohong Su	WCET optimization strategy based on source code refactoring.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
17	Sean Kauffman, Sebastian Fischmeister	The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset.		2019	DOI RDF
17	Xuesong Su, Hui Wu 0001, Jingling Xue	WCET-aware hyper-block construction for clustered VLIW processors.	LCTES	2019	DBLP DOI BibTeX RDF
17	Martin Becker 0001, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh 0001	Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).	LCTES	2019	DBLP DOI BibTeX RDF
17	Renato Mancuso 0001, Heechul Yun, Isabelle Puaut	Impact of DM-LRU on WCET: A Static Analysis Approach.	ECRTS	2019	DBLP DOI BibTeX RDF
17	Soma Niloy Ghosh, Lava Bhargava, Vineet Sahula	Comparative Analysis of Control-transfer Instructions On WCET of Real-Time Systems.	ISED	2019	DBLP DOI BibTeX RDF
17	Martin Becker 0001, Marius Pazaj, Samarjit Chakraborty	WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations.	SCOPES	2019	DBLP DOI BibTeX RDF
17	Kazi Asifuzzaman, Mikel Fernández, Petar Radojkovic, Jaume Abella 0001, Francisco J. Cazorla	STT-MRAM for real-time embedded systems: performance and WCET implications.	MEMSYS	2019	DBLP DOI BibTeX RDF
17	Joachim Fellmuth, Jonas Zell, Sabine Glesner	Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation.	RTCSA	2019	DBLP DOI BibTeX RDF
17	Marvin Damschen, Lars Bauer, Jörg Henkel	WCET Guarantees for Opportunistic Runtime Reconfiguration.	ICCAD	2019	DBLP DOI BibTeX RDF
17	Mickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien	Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation.	RTSS	2019	DBLP DOI BibTeX RDF
17	Alexander Zuepke, Robert Kaiser	Deterministic Futexes: Addressing WCET and Bounded Interference Concerns.	RTAS	2019	DBLP DOI BibTeX RDF
17	Márton Búr, Dániel Varró	Towards WCET Estimation of Graph Queries@Run.time.	MoDELS	2019	DBLP DOI BibTeX RDF
17	Yooseong Kim, Mohammad Khayatian, Aviral Shrivastava	WCET-Aware Stack Frame Management of Embedded Systems Using Scratchpad Memories.	VLSID	2019	DBLP DOI BibTeX RDF
17	Federico Reghenzani, Giuseppe Massari, William Fornaciari, Andrea Galimberti	Probabilistic-WCET Reliability: On the experimental validation of EVT hypotheses.	COINS	2019	DBLP DOI BibTeX RDF
17	Ming Zhang 0018, Zonghua Gu 0001, Hong Li, Nenggan Zheng	WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems.	IEEE Access	2018	DBLP DOI BibTeX RDF
17	Jordi Cardona, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla	EOmesh: Combined Flow Balancing and Deterministic Routing for Reduced WCET Estimates in Embedded Real-Time Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
17	Clément Ballabriga, Julien Forget, Giuseppe Lipari	Symbolic WCET Computation.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
17	Luis Fernando Arcaro, Karila Palma Silva, Rômulo Silva de Oliveira	On the Reliability and Tightness of GP and Exponential Models for Probabilistic WCET Estimation.	ACM Trans. Design Autom. Electr. Syst.	2018	DBLP DOI BibTeX RDF
17	Thomas Huybrechts, Thomas Cassimon, Siegfried Mercelis, Peter Hellinckx	Introduction of Deep Neural Network in Hybrid WCET Analysis.	3PGCIC	2018	DBLP DOI BibTeX RDF
17	Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié	Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM.	RTNS	2018	DBLP DOI BibTeX RDF
17	Pedro Benedicte, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla	HWP: Hardware Support to Reconcile Cache Energy, Complexity, Performance and WCET Estimates in Multicore Real-Time Systems.	ECRTS	2018	DBLP DOI BibTeX RDF
17	Joachim Fellmuth, Thomas Göthel, Sabine Glesner	Instruction Caches in Static WCET Analysis of Artificially Diversified Software.	ECRTS	2018	DBLP DOI BibTeX RDF
17	Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien	Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.	DATE	2018	DBLP DOI BibTeX RDF
17	Simon Reder, Leonard Masing, Harald Bucher, Timon D. ter Braak, Timo Stripf, Jürgen Becker 0001	A WCET-aware parallel programming model for predictability enhanced multi-core architectures.	DATE	2018	DBLP DOI BibTeX RDF
17	Luis Fernando Arcaro, Karila Palma Silva, Rômulo Silva de Oliveira	A Reliability Evaluation Method for Probabilistic WCET Estimates Based on the Comparison of Empirical Exceedance Densities.	SBESC	2018	DBLP DOI BibTeX RDF
17	Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson	Hardware-in-the-loop based WCET analysis with KLEE.	ETFA	2018	DBLP DOI BibTeX RDF
17	Yijie Huangfu, Wei Zhang 0002	WCET Analysis of GPU L1 Data Caches.	HPEC	2018	DBLP DOI BibTeX RDF
17	Hao Wen 0002, Wei Zhang 0002	Regression Based WCET Analysis For Sampling Based Motion Planning.	HPEC	2018	DBLP DOI BibTeX RDF
17	Marina Paolanti, Valerio Placidi, Michele Bernardini, Andrea Felicetti, Rocco Pietrini, Emanuele Frontoni	An Agent Based WCET Analysis for Top-View Person Re-Identification.	RTcMAS@IJCAI	2018	DBLP BibTeX RDF
17	Xuesong Su	WCET-aware compilation techniques for clustered VLIW processors.		2018	RDF
17	Ankith Jain Rakesh Kumar	Statistical Analysis of WCET on DNN.		2018	RDF
17	Marvin Damschen, Lars Bauer, Jörg Henkel	CoRQ: Enabling Runtime Reconfiguration Under WCET Guarantees for Real-Time Systems.	IEEE Embed. Syst. Lett.	2017	DBLP DOI BibTeX RDF
17	Fanqi Meng, Xiaohong Su, Zhaoyang Qu	Interactive WCET Prediction with Warning for Timeout Risk.	Int. J. Pattern Recognit. Artif. Intell.	2017	DBLP DOI BibTeX RDF
17	Cristian Maxim, Adriana Gogonel, Irina Mariuca Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean	Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches.	SIGBED Rev.	2017	DBLP DOI BibTeX RDF
17	Suzana Milutinovic, Jaume Abella 0001, Francisco J. Cazorla	On the assessment of probabilistic WCET estimates reliability for arbitrary programs.	EURASIP J. Embed. Syst.	2017	DBLP DOI BibTeX RDF
17	Wenguang Zheng, Hui Wu 0001, Qing Yang 0001	WCET-Aware Dynamic I-Cache Locking for a Single Task.	ACM Trans. Archit. Code Optim.	2017	DBLP DOI BibTeX RDF
17	Xuesong Su, Hui Wu 0001, Jingling Xue	An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
17	Wenguang Zheng, Hui Wu 0001	Dynamic Data-Cache Locking for Minimizing the WCET of a Single Task.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
17	Yooseong Kim, David Broman, Aviral Shrivastava	WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
17	Valentin Touzeau, Claire Maïza, David Monniaux	Model Checking of Cache for WCET Analysis Refinement.	CoRR	2017	DBLP BibTeX RDF
17	David Broman	A Brief Overview of the KTA WCET Tool.	CoRR	2017	DBLP BibTeX RDF
17	Timon Kelter, Peter Marwedel	Parallelism analysis: Precise WCET values for complex multi-core systems.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
17	Volkmar Sieh, Robert Burlacu, Timo Hönig, Heiko Janker, Phillip Raffeck, Peter Wägemann, Wolfgang Schröder-Preikschat	An End-to-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis.	ISORC	2017	DBLP DOI BibTeX RDF
17	Yijie Huangfu, Wei Zhang 0002	Static WCET Analysis of GPUs with Predictable Warp Scheduling.	ISORC	2017	DBLP DOI BibTeX RDF
17	Zhenkai Zhang, Zhishan Guo, Xenofon D. Koutsoukos	Handling write backs in multi-level cache analysis for WCET estimation.	RTNS	2017	DBLP DOI BibTeX RDF
17	Sébastien Martinez, Damien Hardy, Isabelle Puaut	Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention.	RTNS	2017	DBLP DOI BibTeX RDF
17	Muhammad Refaat Soliman, Rodolfo Pellizzoni	WCET-Driven Dynamic Data Scratchpad Management With Compiler-Directed Prefetching.	ECRTS	2017	DBLP DOI BibTeX RDF
17	Tobias Blaß, Sebastian Hahn 0001, Jan Reineke 0001	Write-Back Caches in WCET Analysis.	ECRTS	2017	DBLP DOI BibTeX RDF
17	Renato Mancuso 0001, Rodolfo Pellizzoni, Neriman Tokcan, Marco Caccamo	WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment.	ECRTS	2017	DBLP DOI BibTeX RDF
17	Steven Derrien, Isabelle Puaut, Panayiotis Alefragis, Marcus Bednara, Harald Bucher, Clément David, Yann Debray, Umut Durak, Imen Fassi, Christian Ferdinand, Damien Hardy, Angeliki Kritikakou, Gerard K. Rauwerda, Simon Reder, Martin Sicks, Timo Stripf, Kim Sunesen, Timon D. ter Braak, Nikolaos S. Voros, Jürgen Becker 0001	WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach.	DATE	2017	DBLP DOI BibTeX RDF
17	Andreas Toftegaard Kristensen, Luca Pezzarossa, Jens Sparsø	High-level synthesis for reduction of WCET in real-time systems.	NORCAS	2017	DBLP DOI BibTeX RDF
17	Christian Eichler	Ein Benchmarkgenerator zur Bewertung von WCET-Analysatoren.	Echtzeit	2017	DBLP DOI BibTeX RDF
17	Suzana Milutinovic, Enrico Mezzetti, Jaume Abella 0001, Tullio Vardanega, Francisco J. Cazorla	On uses of extreme value theory fit for industrial-quality WCET analysis.	SIES	2017	DBLP DOI BibTeX RDF
17	Karila Palma Silva, Luis Fernando Arcaro, Rômulo Silva de Oliveira	On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation.	RTSS	2017	DBLP DOI BibTeX RDF
17	Kavitha T. Madhu, Tarun Singla, S. K. Nandy 0001, Ranjani Narayan, François Neumann, Philippe Baufreton	REDEFINE®™: a case for WCET-friendly hardware accelerators for real time applications (work-in-progress).	CASES	2017	DBLP DOI BibTeX RDF