Search results for "worst-case-execution-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser	Measurements or Static Analysis or Both?.	WCET	2007	DBLP BibTeX RDF
24	Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel	WCET Analysis: The Annotation Language Challenge.	WCET	2007	DBLP BibTeX RDF
24	Liang Yun, Abhik Roychoudhury, Tulika Mitra	Timing Analysis of Body Area Network Applications.	WCET	2007	DBLP BibTeX RDF
24	Marc Schlickling, Markus Pister 0002	A Framework for Static Analysis of VHDL Code.	WCET	2007	DBLP BibTeX RDF
24	Stephan Wilhelm, Björn Wachter	Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.	WCET	2007	DBLP BibTeX RDF
24	Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane	Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis.	WCET	2007	DBLP BibTeX RDF
24	Christoph Cullmann, Florian Martin 0001	Data-Flow Based Detection of Loop Bounds.	WCET	2007	DBLP BibTeX RDF
24	Jochen Eisinger, Ilia Polian, Bernd Becker 0001, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm	Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.	DDECS	2006	DBLP DOI BibTeX RDF
24	Frank Mueller 0001 (eds.)	6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany	WCET	2006	DBLP BibTeX RDF
24	Christoph Berg	PLRU Cache Domino Effects.	WCET	2006	DBLP BibTeX RDF
24	Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann 0001, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace	Towards Formally Verifiable WCET Analysis for a Functional Programming Language.	WCET	2006	DBLP BibTeX RDF
24	Jan Gustafsson, Andreas Ermedahl, Björn Lisper	Algorithms for Infeasible Path Calculation.	WCET	2006	DBLP BibTeX RDF
24	Claire Burguière, Christine Rochange	History-based Schemes and Implicit Path Enumeration.	WCET	2006	DBLP BibTeX RDF
24	Heiko Falk, Martin Schwarzer	Loop Nest Splitting for WCET-Optimization and Predictability Improvement.	WCET	2006	DBLP BibTeX RDF
24	Heiko Falk, Paul Lokuciejewski, Henrik Theiling	Design of a WCET-Aware C Compiler.	WCET	2006	DBLP BibTeX RDF
24	Raimund Kirner, Markus Grössing, Peter P. Puschner	Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup.	WCET	2006	DBLP BibTeX RDF
24	Jan Reineke 0001, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker 0001	A Definition and Classification of Timing Anomalies.	WCET	2006	DBLP BibTeX RDF
24	Simon Schliecker, Matthias Ivers, Jan Staschulat, Rolf Ernst	A Framework for the Busy Time Calculation of Multiple Correlated Events.	WCET	2006	DBLP BibTeX RDF
24	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel	PapaBench: a Free Real-Time Benchmark.	WCET	2006	DBLP BibTeX RDF
24	Nicky Williams	WCET measurment using midified path testing.	WCET	2005	DBLP BibTeX RDF
24	Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, Niklas Holsti	Using a WCET Analysis Tool in Real-Time Systems Education.	WCET	2005	DBLP BibTeX RDF
24	Stephan Wilhelm	Efficient Analysis of Pipeline Models for WCET Computation.	WCET	2005	DBLP BibTeX RDF
24	Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra	Exploiting Branch Constraints without Exhaustive Path Enumeration.	WCET	2005	DBLP BibTeX RDF
24	Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Experiences from Industrial WCET Analysis Case Studies.	WCET	2005	DBLP BibTeX RDF
24	Reinhard Wilhelm	2005 WCET Preface - Message from the Workshop Chair.	WCET	2005	DBLP BibTeX RDF
24	Jan Staschulat, Simon Schliecker, Matthias Ivers, Rolf Ernst	Analysis of Memory Latencies in Multi-Processor Systems.	WCET	2005	DBLP BibTeX RDF
24	Jean-François Deverge, Isabelle Puaut	Safe measurement-based WCET estimation.	WCET	2005	DBLP BibTeX RDF
24	Adam Betts, Guillem Bernat	Issues using the Nexus Interface for Measurement-Based WCET Analysis.	WCET	2005	DBLP BibTeX RDF
24	Christian Ferdinand, Reinhold Heckmann	aiT: worst case execution time prediction by static program analysis.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
24	Christian Ferdinand	Worst Case Execution Time Prediction by Static Program Analysis.	IPDPS	2004	DBLP DOI BibTeX RDF
24	Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm	Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.	ASWSD	2004	DBLP DOI BibTeX RDF
24	Friedhelm Stappert	From low level to model based and constructive worst case execution time analysis.		2004	RDF
24	Jan Gustafsson (eds.)	Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1, 2003	WCET	2003	DBLP BibTeX RDF
24	Friedhelm Stappert, Carsten Rust	Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
24	Raimund Kirner, Peter P. Puschner	A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development.	WISES	2003	DBLP BibTeX RDF
24	Andreas Ermedahl	A Modular Tool Architecture for Worst-Case Execution Time Analysis.		2003	RDF
24	Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley	Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.	WCET	2003	DBLP BibTeX RDF
24	Mathieu Avila, Maxime Glaizot, Isabelle Puaut	Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis.	WCET	2003	DBLP BibTeX RDF
24	Christer Sandberg	Elimination of Unstructured Loops in Flow Analysis.	WCET	2003	DBLP BibTeX RDF
24	Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm	Convenient User Annotations for a WCET Tool.	WCET	2003	DBLP BibTeX RDF
24	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
24	Manuel Rodríguez, Nuno Silva, João Esteves, Luis Henriques, Diamantino Costa, Niklas Holsti, Kjeld Hjortnaes	Challenges in Calculating the WCET of a Complex On-board Satellite Application.	WCET	2003	DBLP BibTeX RDF
24	Guillem Bernat, Antoine Colin, Stefan M. Petters	pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems.	WCET	2003	DBLP BibTeX RDF
24	Guillem Bernat, Niklas Holsti	Compiler Support for WCET Analysis: a Wish List.	WCET	2003	DBLP BibTeX RDF
24	Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min	A Flexible Tradeoff between Code Size and WCET Employing Dual Instruction Set Processors.	WCET	2003	DBLP BibTeX RDF
24	Christine Rochange, Pascal Sainrat	Towards Designing WCET-Predictable Processors.	WCET	2003	DBLP BibTeX RDF
24	Jan Lindblad	Requirements of WCET tools.	WCET	2003	DBLP BibTeX RDF
24	Raimund Kirner, Peter P. Puschner	Discussion of Misconceptions about WCET Analysis.	WCET	2003	DBLP BibTeX RDF
24	Paulo Abadie Guedes, Sérgio Vanderlei Cavalcante	On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation.	WCET	2003	DBLP BibTeX RDF
24	Xianfeng Li	A Survey of Methods to Improve ILP-based WCET Analysis.	WCET	2003	DBLP BibTeX RDF
24	Stefan M. Petters	Comparison of Trace Generation Methods for Measurement Based WCET Analysis.	WCET	2003	DBLP BibTeX RDF
24	Vicente Lorente Garcés, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes, Alfons Crespo	Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code.	WCET	2003	DBLP BibTeX RDF
24	Johann Blieberger	Data-Flow Frameworks for Worst-Case Execution Time Analysis.	Real Time Syst.	2002	DBLP DOI BibTeX RDF
24	Stefan M. Petters	Worst case execution time estimation for advanced processor architectures.		2002	RDF
24	Stewart Frederick Edgar	Estimation of worst-case execution time using statistical analysis.		2002	RDF
24	Jakob Engblom	Processor Pipelines and Static Worst-Case Execution Time Analysis.		2002	RDF
24	Antoine Colin, Isabelle Puaut	Worst Case Execution Time Analysis for a Processor with Branch Prediction.	Real Time Syst.	2000	DBLP DOI BibTeX RDF
24	Peter P. Puschner, Alan Burns 0001	Guest Editorial: A Review of Worst-Case Execution-Time Analysis.	Real Time Syst.	2000	DBLP DOI BibTeX RDF
24	Jakob Engblom, Andreas Ermedahl	Modeling Complex Flows for Worst-Case Execution Time Analysis.	RTSS	2000	DBLP DOI BibTeX RDF
24	Niklas Holsti, Thomas Långbacka, Sami Saarinen	Worst-case execution time analysis for digital signal processors.	EUSIPCO	2000	DBLP BibTeX RDF
24	Peter P. Puschner, Roman Nossal	Testing the Results of Static Worst-Case Execution-Time Analysis.	RTSS	1998	DBLP DOI BibTeX RDF
24	Peter P. Puschner, Alexander Vrchoticky	Problems in Static Worst-Case Execution Time Analysis.	MMB (Kurzbeiträge)	1997	DBLP BibTeX RDF
24	Kelvin D. Nilsen, Bernt Rygg	Worst-Case Execution Time Analysis on Modern Processors.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
23	Isabelle Puaut	Real-Time Performance of Dynamic Memory Allocation Algorithms.	ECRTS	2002	DBLP DOI BibTeX RDF
22	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
22	Peter P. Puschner	A tool for high-level language analysis of worst-case execution times.	ECRTS	1998	DBLP DOI BibTeX RDF
22	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
22	Hsin-hung Lin, Chih-wen Hsueh	Applying pinwheel scheduling and compiler profiling for power-aware real-time scheduling.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Power-aware real-time scheduling, Pinwheel model, Embedded systems, Profiling, Dynamic voltage scaling
22	Hsin-hung Lin, Chih-wen Hsueh	Power-Aware Real-Time Scheduling Using Pinwheel Model and Profiling Technique.	RTCSA	2005	DBLP DOI BibTeX RDF
22	Peter P. Puschner	Experiments with WCET-Oriented Programming and the Single-Path Architecture.	WORDS	2005	DBLP DOI BibTeX RDF
21	Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.	Ada-Europe	1998	DBLP DOI BibTeX RDF
21	Aloysius K. Mok, Deji Chen 0001	A Multiframe Model for Real-Time Tasks.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	scheduling, Real-time, task model, utilization bound
21	Yun Liang 0001, Tulika Mitra	Cache modeling in probabilistic execution time analysis.	DAC	2008	DBLP DOI BibTeX RDF	probabilistic execution time analysis, cache modeling
20	Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min	A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor.	SCOPES	2004	DBLP DOI BibTeX RDF
20	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
20	Harini Ramaprasad, Frank Mueller 0001	Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
19	Juan Paulo Alvarado-Magaña, José Alberto Fernández-Zepeda	Average Execution Time Analysis of a Self-stabilizing Leader Election Algorithm.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Jan Staschulat, Rolf Ernst	Worst case timing analysis of input dependent data cache behavior.	ECRTS	2006	DBLP DOI BibTeX RDF
19	Laurent David, Isabelle Puaut	Static Determination of Probabilistic Execution Times.	ECRTS	2004	DBLP DOI BibTeX RDF	Probabilistic execution times, Static analysis, Soft real-time systems
18	Jaeyeon Kang, Sanjay Ranka	Energy-Efficient Dynamic Scheduling on Parallel Machines.	HiPC	2008	DBLP DOI BibTeX RDF
18	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
18	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad
18	Guowei Wu, Kai Yao 0001	A Graph-Theory Algorithm for WCET Estimation.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
18	Steve Goddard, Xin Liu	A Variable Rate Execution Model.	ECRTS	2004	DBLP DOI BibTeX RDF
17	Tai-Yi Huang, Chih-Chieh Chou, Po-Yuan Chen	Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
17	Henrik Theiling	ILP-Based Interprocedural Path Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
17	Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl	WCET driven design space exploration of an object cache.	JTRES	2010	DBLP DOI BibTeX RDF
17	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
17	Jakob Engblom, Andreas Ermedahl, Peter Altenbernd	Facilitating worst-case execution times analysis for optimized code.	ECRTS	1998	DBLP DOI BibTeX RDF
17	Hua Xu, Peifa Jia	TOPN Based Temporal Performance Evaluation Method of Neural Network Based Robot Controller.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Neural network, Petri nets, Robot controller
17	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
17	Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng	Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip.	RTSS	2007	DBLP DOI BibTeX RDF
17	Edwin Erpenbach, Peter Altenbernd	Worst-case execution times and schedulability analysis of statecharts models.	ECRTS	1999	DBLP DOI BibTeX RDF
17	Jun Yan 0008, Wei Zhang 0002	A time-predictable VLIW processor and its compiler support.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	if-conversion, Compiler, VLIW, WCET analysis, Time-predictability
16	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
16	Florian Franz	Experiences with Evolutionary Timing Test of Automotive Software Components.	ISoLA	2008	DBLP DOI BibTeX RDF
16	Peter P. Puschner	Algorithms for Dependable Hard Real-Time Systems.	WORDS	2003	DBLP DOI BibTeX RDF
16	Scott A. Brandt	The Case for Dynamic Real-Time Task Timing in Modern Real-Time Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
16	Paul Lokuciejewski, Heiko Falk, Peter Marwedel	WCET-driven Cache-based Procedure Positioning Optimizations.	ECRTS	2008	DBLP DOI BibTeX RDF
16	Martin Schoeberl, Jan Vitek	Garbage collection for safety critical Java.	JTRES	2007	DBLP DOI BibTeX RDF	real-time system, garbage collection