Search results for "WCET"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
4	Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings	Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. (PDF / PS)	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
3	Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel	Experimentation of WCET computation on both ends of automotive processor range.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	real-time, static analysis, WCET, automotive
3	Jean Souyris	WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.	WCET	2010	DBLP DOI BibTeX RDF
3	Adam Betts, Nicholas Merriam, Guillem Bernat	Hybrid measurement-based WCET analysis at the source level using object-level traces.	WCET	2010	DBLP DOI BibTeX RDF
3	Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper	The Mälardalen WCET Benchmarks: Past, Present And Future.	WCET	2010	DBLP DOI BibTeX RDF
3	Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu	WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core.	WCET	2010	DBLP DOI BibTeX RDF
3	Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson	Towards WCET Analysis of Multicore Architectures Using UPPAAL.	WCET	2010	DBLP DOI BibTeX RDF
3	Heiko Falk, Jan C. Kleinsorge	Optimal static WCET-aware scratchpad allocation of program code.	DAC	2009	DBLP DOI BibTeX RDF	scratchpad allocation, WCET
3	Heiko Falk	WCET-aware register allocation based on graph coloring.	DAC	2009	DBLP DOI BibTeX RDF	register allocation, WCET
3	Sascha Plazar, Paul Lokuciejewski, Peter Marwedel	WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems.	WCET	2009	DBLP BibTeX RDF
3	Paul Keim, Amanda Noyes, Andrew Ferguson, Joshua Neal, Christopher A. Healy	Extending the Path Analysis Technique to Obtain a Soft WCET.	WCET	2009	DBLP BibTeX RDF
3	Niklas Holsti	WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis.	WCET	2009	DBLP BibTeX RDF
3	Jörg Herter, Jan Reineke	Making Dynamic Memory Allocation Static to Support WCET Analysis.	WCET	2009	DBLP BibTeX RDF
3	Benedikt Huber, Martin Schoeberl	Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis.	WCET	2009	DBLP BibTeX RDF
3	Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm	Teaching WCET Analysis in Academia and Industry: A Panel Discussion.	WCET	2009	DBLP BibTeX RDF
3	Jan Reineke, Rathijit Sen	Sound and Efficient WCET Analysis in the Presence of Timing Anomalies.	WCET	2009	DBLP BibTeX RDF
3	Jeffery Hansen, Scott A. Hissam, Gabriel A. Moreno	Statistical-Based WCET Estimation and Validation.	WCET	2009	DBLP BibTeX RDF
3	Benjamin Lesage, Damien Hardy, Isabelle Puaut	WCET Analysis of Multi-Level Set-Associative Data Caches.	WCET	2009	DBLP BibTeX RDF
3	Clément Ballabriga, Hugues Cassé, Marianne De Michiel	A Generic Framework for Blackbox Components in WCET Computation.	WCET	2009	DBLP BibTeX RDF
3	Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg	ALF - A Language for WCET Flow Analysis.	WCET	2009	DBLP BibTeX RDF
3	Raimund Kirner	WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
3	Jack Whitham, Neil C. Audsley	Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis.	WCET	2008	DBLP BibTeX RDF
3	Stefan Bygde, Björn Lisper	Towards an Automatic Parametric WCET Analysis.	WCET	2008	DBLP BibTeX RDF
3	Peter P. Puschner, Martin Schoeberl	On Composable System Timing, Task Timing, and WCET Analysis.	WCET	2008	DBLP BibTeX RDF
3	Sebastian Altmeyer, Gernot Gebhard	WCET Analysis for Preemptive Scheduling.	WCET	2008	DBLP BibTeX RDF
3	Clément Ballabriga, Hugues Cassé	Improving the WCET computation time by IPET using control flow graph partitioning.	WCET	2008	DBLP BibTeX RDF
3	Jan Gustafsson, Andreas Ermedahl	Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.	WCET	2008	DBLP BibTeX RDF
3	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
3	Olivier Gilles, Jérôme Hugues	Applying WCET Analysis at Architectural Level.	WCET	2008	DBLP BibTeX RDF
3	Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop	Towards a Common WCET Annotation Language: Essential Ingredients.	WCET	2008	DBLP BibTeX RDF
3	Amine Marref, Guillem Bernat	Towards Predicated WCET Analysis.	WCET	2008	DBLP BibTeX RDF
3	Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel	WCET Analysis: The Annotation Language Challenge.	WCET	2007	DBLP BibTeX RDF
3	Jan Gustafsson	WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008.	WCET	2007	DBLP BibTeX RDF
3	Stephan Wilhelm, Björn Wachter	Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.	WCET	2007	DBLP BibTeX RDF
3	Christine Rochange	WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2007	DBLP BibTeX RDF
3	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
3	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling out-of-order processors for WCET analysis.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache
3	Wankang Zhao, William C. Kreahling, David B. Whalley, Christopher A. Healy, Frank Mueller	Improving WCET by applying worst-case path optimizations.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	Path-based optimizations, Embedded systems, WCET
3	Huizhan Yi, Juan Chen, 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
3	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
3	Heiko Falk, Paul Lokuciejewski, Henrik Theiling	Design of a WCET-Aware C Compiler.	WCET	2006	DBLP BibTeX RDF
3	Frank Mueller	2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06).	WCET	2006	DBLP BibTeX RDF
3	Frank Mueller	2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2006	DBLP BibTeX RDF
3	Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, 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
3	Heiko Falk, Martin Schwarzer	Loop Nest Splitting for WCET-Optimization and Predictability Improvement.	WCET	2006	DBLP BibTeX RDF
3	Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller	Improving WCET by applying a WC code-positioning optimization.	TACO	2005	DBLP DOI BibTeX RDF	code positioning, embedded systems, WCET
3	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
3	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
3	Jean-François Deverge, Isabelle Puaut	Safe measurement-based WCET estimation.	WCET	2005	DBLP BibTeX RDF
3	Reinhard Wilhelm	2005 WCET Preface - Message from the Workshop Chair.	WCET	2005	DBLP BibTeX RDF
3	Stephan Wilhelm	Efficient Analysis of Pipeline Models for WCET Computation.	WCET	2005	DBLP BibTeX RDF
3	Nicky Williams	WCET measurment using midified path testing.	WCET	2005	DBLP BibTeX RDF
3	Adam Betts, Guillem Bernat	Issues using the Nexus Interface for Measurement-Based WCET Analysis.	WCET	2005	DBLP BibTeX RDF
3	Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Experiences from Industrial WCET Analysis Case Studies.	WCET	2005	DBLP BibTeX RDF
3	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
3	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
3	Christine Rochange, Pascal Sainrat	Towards Designing WCET-Predictable Processors.	WCET	2003	DBLP BibTeX RDF
3	Jan Lindblad	Requirements of WCET tools.	WCET	2003	DBLP BibTeX RDF
3	Raimund Kirner, Peter P. Puschner	Discussion of Misconceptions about WCET Analysis.	WCET	2003	DBLP BibTeX RDF
3	Stefan M. Petters	Comparison of Trace Generation Methods for Measurement Based WCET Analysis.	WCET	2003	DBLP BibTeX RDF
3	Mathieu Avila, Maxime Glaizot, Isabelle Puaut	Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis.	WCET	2003	DBLP BibTeX RDF
3	Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm	Convenient User Annotations for a WCET Tool.	WCET	2003	DBLP BibTeX RDF
3	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
3	Xianfeng Li	A Survey of Methods to Improve ILP-based WCET Analysis.	WCET	2003	DBLP BibTeX RDF
3	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
3	Guillem Bernat, Niklas Holsti	Compiler Support for WCET Analysis: a Wish List.	WCET	2003	DBLP BibTeX RDF
3	Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley	Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.	WCET	2003	DBLP BibTeX RDF
3	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
3	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
3	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
2	Rodolfo Pellizzoni, Marco Caccamo	Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Real-time resource management, components-off-the-shelf, WCET estimation, system integration
2	Paul Lokuciejewski, Timon Kelter, Peter Marwedel	Superblock-Based Source Code Optimizations for WCET Reduction.	CIT	2010	DBLP DOI BibTeX RDF	Optimizations, Embedded Systems, Real-Time, Compiler, WCET, Superblock
2	Ghaith Haddad, Faraz Hussain, Gary T. Leavens	The design of SafeJML, a specification language for SCJ with support for WCET specification.	JTRES	2010	DBLP DOI BibTeX RDF	SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration
2	Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl	WCET driven design space exploration of an object cache.	JTRES	2010	DBLP DOI BibTeX RDF
2	Björn Lisper (eds.)	10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium	WCET	2010	DBLP BibTeX RDF
2	Marc Schlickling, Markus Pister	Semi-automatic derivation of timing models for WCET analysis.	LCTES	2010	DBLP DOI BibTeX RDF	vhdl, worst-case execution time, hard real-time
2	Enrico Mezzetti, Marco Panunzio, Tullio Vardanega	Bounding the Effects of Resource Access Protocols on Cache Behavior.	WCET	2010	DBLP DOI BibTeX RDF
2	David Griffin, Alan Burns	Realism in Statistical Analysis of Worst Case Execution Times.	WCET	2010	DBLP DOI BibTeX RDF
2	Daniel Grund, Jan Reineke	Toward Precise PLRU Cache Analysis.	WCET	2010	DBLP DOI BibTeX RDF
2	Stefan Stattelmann, Florian Martin	On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.	WCET	2010	DBLP DOI BibTeX RDF
2	Stephan Wilhelm, Christoph Cullmann	Integrating Abstract Caches with Symbolic Pipeline Analysis.	WCET	2010	DBLP DOI BibTeX RDF
2	Gernot Gebhard	Timing Anomalies Reloaded.	WCET	2010	DBLP DOI BibTeX RDF
2	Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen	METAMOC: Modular Execution Time Analysis using Model Checking.	WCET	2010	DBLP DOI BibTeX RDF
2	Jörg Herter, Sebastian Altmeyer	Precomputing Memory Locations for Parametric Allocations.	WCET	2010	DBLP DOI BibTeX RDF
2	Björn Lisper	Frontmatter, Preface, Table of Contents, Workshop Organization.	WCET	2010	DBLP DOI BibTeX RDF
2	Benedikt Huber, Peter P. Puschner	A Code Policy Guaranteeing Fully Automated Path Analysis.	WCET	2010	DBLP DOI BibTeX RDF
2	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero	Hardware support for WCET analysis of hard real-time multicore systems.	ISCA	2009	DBLP DOI BibTeX RDF	wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability
2	Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi	WCET Analysis of the mC/OS-II Real-Time Kernel.	CSE	2009	DBLP DOI BibTeX RDF
2	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
2	Niklas Holsti (eds.)	9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009	WCET	2009	DBLP BibTeX RDF
2	Claire Burguière, Jan Reineke, Sebastian Altmeyer	Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions.	WCET	2009	DBLP BibTeX RDF
2	Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan	From Trusted Annotations to Verified Knowledge.	WCET	2009	DBLP BibTeX RDF
2	Stefana Nenova, Daniel Kästner	Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases.	WCET	2009	DBLP BibTeX RDF
2	Martin Schoeberl, Peter P. Puschner	Is Chip-Multiprocessing the End of Real-Time Scheduling?.	WCET	2009	DBLP BibTeX RDF
2	Petru Eles	Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip.	WCET	2009	DBLP BibTeX RDF
2	Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Tao Zhang, Yuan Xie, Frank Mueller	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
2	Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
2	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad