|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 385 occurrences of 171 keywords
|
|
|
Results
Found 763 publication records. Showing 763 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
143 | Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson |
Worst-case execution-time analysis for embedded real-time systems. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Embedded systems, Software architecture, Hard real-time, WCET analysis, Programming tools |
137 | Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by applying a WC code-positioning optimization. |
ACM Trans. Archit. Code Optim. |
2005 |
DBLP DOI BibTeX RDF |
code positioning, embedded systems, WCET |
120 | Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling |
Influence of procedure cloning on WCET prediction. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
WCET minimization, context-sensitive WCET-analysis, compiler optimizations |
114 | Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg |
FAST: Frequency-aware static timing analysis. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
scheduling, Real-time systems, dynamic voltage scaling, worst-case execution time analysis |
114 | Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg |
FAST: Frequency-Aware Static Timing Analysis. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
114 | Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom |
Clustered Worst-Case Execution-Time Calculation. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
WCET calculation, embedded systems, hard real-time, WCET analysis |
114 | Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom |
Clustered calculation of worst-case execution times. |
CASES |
2003 |
DBLP DOI BibTeX RDF |
WCET calculation, embedded systems, hard real-time, WCET analysis |
109 | Wankang Zhao, Prasad A. Kulkarni, David B. Whalley, Christopher A. Healy, Frank Mueller 0001, Gang-Ryung Uh |
Tuning the WCET of Embedded Applications. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
103 | Wankang Zhao, William C. Kreahling, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by applying worst-case path optimizations. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
Path-based optimizations, Embedded systems, WCET |
103 | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java |
97 | Jan Gustafsson |
Usability Aspects of WCET Analysis. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
97 | Heiko Falk, Paul Lokuciejewski, Henrik Theiling |
Design of a WCET-Aware C Compiler. |
ESTIMedia |
2006 |
DBLP DOI BibTeX RDF |
|
97 | Peter P. Puschner, Guillem Bernat |
WCET Analysis of Reusable Portable Code. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
97 | Jack Whitham, Neil C. Audsley |
Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
wcet, reduction, trace, hard real-time, scratchpads |
97 | Heiko Falk, Sascha Plazar, Henrik Theiling |
Compile-time decided instruction cache locking using worst-case execution paths. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
WC-path, cache locking, optimization, WCET |
97 | Sung-Kwan Kim, Sang Lyul Min, Rhan Ha |
Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, WCET analysis |
92 | Heiko Falk |
WCET-aware register allocation based on graph coloring. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
register allocation, WCET |
91 | Jan Gustafsson |
The Worst Case Execution Time Tool Challenge 2006. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
89 | Jan Gustafsson |
WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008. |
WCET |
2007 |
DBLP BibTeX RDF |
|
86 | Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling |
WCET-driven, code-size critical procedure cloning. |
SCOPES |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Luis C. Aparicio, Juan Segarra, Clemente Rodríguez, J. L. Villarroel, Víctor Viñals |
Avoiding the WCET Overestimation on LRU Instruction Cache. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz |
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
86 | Raimund Kirner, Peter P. Puschner |
Classification of WCET Analysis Techniques. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
Classification, Execution Times, Worst-Case Execution Time Analysis, Generic Framework |
86 | Wankang Zhao, William C. Kreahling, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by Optimizing Worst-Case Paths. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
80 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling out-of-order processors for WCET analysis. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache |
80 | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl |
WCET driven design space exploration of an object cache. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper |
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Applying Static WCET Analysis to Automotive Communication Software. |
ECRTS |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Jakob Engblom, Bengt Jonsson 0001 |
Processor Pipelines and Their Properties for Static WCET Analysis. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
74 | Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings |
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Object-Oriented WCET, Java, Hard Real-Time Systems, Real-Time Java, Dynamic Dispatching |
74 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra 0001, Xu Cheng 0001 |
A Retargetable Software Timing Analyzer Using Architecture Description Language. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis |
72 | Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke 0001, Christine Rochange |
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. |
WCET |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan |
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
72 | Raimund Kirner |
WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2008 |
DBLP BibTeX RDF |
|
72 | Christine Rochange |
WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2007 |
DBLP BibTeX RDF |
|
72 | Frank Mueller 0001 |
2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06). |
WCET |
2006 |
DBLP BibTeX RDF |
|
72 | Frank Mueller 0001 |
2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. |
WCET |
2006 |
DBLP BibTeX RDF |
|
72 | Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin |
Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components. |
WCET |
2003 |
DBLP BibTeX RDF |
|
69 | Huizhan Yi, Juan Chen 0001, Xuejun Yang |
Static WCET Analysis Based Compiler-Directed DVS Energy Optimization in Real-Time Applications. |
Asia-Pacific Computer Systems Architecture Conference |
2006 |
DBLP DOI BibTeX RDF |
Real-time, Low-power, Compiler, WCET |
69 | Paul Lokuciejewski, Peter Marwedel |
Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization. |
ECRTS |
2009 |
DBLP DOI BibTeX RDF |
WCET minimization, WCET-driven optimizations, High-Level Optimizations, compiler, WCET |
69 | Trevor Harmon, Raymond Klefstad |
A Survey of Worst-Case Execution Time Analysis for Real-Time Java. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Static Timing Analysis of Real-Time Operating System Code. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Peter P. Puschner, Alan Burns 0001 |
Writing Temporally Predictable Code. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Predictability, Computer Architectures, Programming Paradigms, Worst-Case Execution-Time Analysis |
69 | Matteo Corti 0002, Roberto Brega, Thomas R. Gross |
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. |
LCTES |
2000 |
DBLP DOI BibTeX RDF |
|
69 | Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe |
Performance estimation of embedded software with instruction cache modeling. |
ACM Trans. Design Autom. Electr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
63 | Marc Schlickling, Markus Pister 0002 |
Semi-automatic derivation of timing models for WCET analysis. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
vhdl, worst-case execution time, hard real-time |
63 | Mingsong Lv, Nan Guan, Yi Zhang 0056, Rui Chen, Qingxu Deng, Ge Yu 0001, Wang Yi 0001 |
WCET Analysis of the mC/OS-II Real-Time Kernel. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Paul Lokuciejewski, Heiko Falk, Peter Marwedel |
WCET-driven Cache-based Procedure Positioning Optimizations. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Faster WCET flow analysis by program slicing. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
hard real time, worst-case execution time analysis |
63 | François Bodin, Isabelle Puaut |
A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. |
ECRTS |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
WCET Code Positioning. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Antoine Colin, Stefan M. Petters |
Experimental Evaluation of Code Properties for WCET Analysis. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Antoine Colin, Isabelle Puaut |
A Modular & Retargetable Framework for Tree-Based WCET Analysis. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
63 | Lili Tan |
The worst-case execution time tool challenge 2006. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Embedded systems, Timing analysis, Worst-case execution time, WCET, Hard real time |
63 | Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Tao Zhang 0032, Yuan Xie 0001, Frank Mueller 0001 |
CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
LEON3, checkercore, shadow pipeline, FPGA, embedded system, real-time, WCET, worst-case-execution-time, SPARC |
63 | Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Performance debugging of Esterel specifications. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
Esterel, WCET analysis, synchronous programming |
63 | Joel Coffman, Christopher A. Healy, Frank Mueller 0001, David B. Whalley |
Generalizing parametric timing analysis. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
parametric timing analysis, worst-case execution time (WCET) analysis |
63 | Stephan Thesing |
Modeling a system controller for timing analysis. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals |
63 | D. Kebbal |
Automatic Flow Analysis Using Symbolic Execution and Path Enumeration. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems |
63 | Sung-Kwan Kim, Sang Lyul Min, Rhan Ha |
Efficient worst case timing analysis of data caching. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block |
57 | Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal |
Automatic scenario detection for improved WCET estimation. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
real-time, scenarios, WCET |
57 | Apostolos A. Kountouris |
Safe and efficient elimination of infeasible execution paths in WCET estimation. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time |
57 | Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper |
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad |
A Modular Worst-case Execution Time Analysis Tool for Java Processors. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Trevor Harmon, Raymond Klefstad |
Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch |
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Sibin Mohan, Frank Mueller 0001, David B. Whalley, Christopher A. Healy |
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling Out-of-Order Processors for Software Timing Analysis. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Peter P. Puschner |
Algorithms for Dependable Hard Real-Time Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Antoine Colin, Guillem Bernat |
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Takeshi Ogasawara |
An algorithm with constant execution time for dynamic storage allocation. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
Half-Fit, scheduling, real-time systems, real-time systems, resource allocation, predictability, queueing theory, worst-case execution time, execution time, storage allocation, queueing model, dynamic storage allocation |
55 | Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle |
Warp-Level CFG Construction for GPU Kernel WCET Analysis. |
WCET |
2023 |
DBLP DOI BibTeX RDF |
|
55 | 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. |
WCET |
2023 |
DBLP DOI BibTeX RDF |
|
55 | Sebastian Hahn 0001, Michael Jacobs 0002, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke 0001 |
LLVMTA: An LLVM-Based WCET Analysis Tool. |
WCET |
2022 |
DBLP DOI BibTeX RDF |
|
55 | Steven Varoumas, Tristan Crolard |
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. |
WCET |
2019 |
DBLP DOI BibTeX RDF |
|
55 | Wei-Tsun Sun, Eric Jenn, Hugues Cassé |
Validating Static WCET Analysis: A Method and Its Application. |
WCET |
2019 |
DBLP DOI BibTeX RDF |
|
55 | Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien |
Fine-Grain Iterative Compilation for WCET Estimation. |
WCET |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Thomas Huybrechts, Siegfried Mercelis, Peter Hellinckx |
A New Hybrid Approach on WCET Analysis for Real-Time Systems Using Machine Learning. |
WCET |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt 0007, Simon Wegener |
Embedded Program Annotations for WCET Analysis. |
WCET |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin |
Early WCET Prediction Using Machine Learning. |
WCET |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Benjamin Rouxel, Isabelle Puaut |
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. |
WCET |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun |
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. |
WCET |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Simon Wegener |
Towards Multicore WCET Analysis. |
WCET |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé |
Expressing and Exploiting Conflicts over Paths in WCET Analysis. |
WCET |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Christine Rochange |
Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches. |
WCET |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Boris Dreyer, Christian Hochberger, Alexander Lange, Simon Wegener, Alexander Weiss |
Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs. |
WCET |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Hugues Cassé, Haluk Ozaktas, Christine Rochange |
A Framework to Quantify the Overestimations of Static WCET Analysis. |
WCET |
2015 |
DBLP DOI BibTeX RDF |
|
55 | Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat |
GenE: A Benchmark Generator for WCET Analysis. |
WCET |
2015 |
DBLP DOI BibTeX RDF |
|
55 | Clément Ballabriga, Julien Forget, Giuseppe Lipari |
Context-sensitive Parametric WCET Analysis. |
WCET |
2015 |
DBLP DOI BibTeX RDF |
|
55 | André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut |
A Formally Verified WCET Estimation Tool. |
WCET |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Luca Santinelli, Jérôme Morio, Guillaume Dufour, Damien Jacquemart |
On the Sustainability of the Extreme Value Theory for WCET Estimation. |
WCET |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot |
Identifying Relevant Parameters to Improve WCET Analysis. |
WCET |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
The Auspicious Couple: Symbolic Execution and WCET Analysis. |
WCET |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Haluk Ozaktas, Christine Rochange, Pascal Sainrat |
Automatic WCET Analysis of Real-Time Parallel Applications. |
WCET |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente |
Static analysis of WCET in a satellite software subsystem. |
WCET |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Mihail Asavoae, Claire Maiza, Pascal Raymond |
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. |
WCET |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso 0001, Juan Zamorano |
Analysis of WCET in an experimental satellite software development. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Mohamed Abdel Maksoud, Jan Reineke 0001 |
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. |
WCET |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 763 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|