Search results for "Worst Case Execution Time (WCET)"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Raimund Kirner	WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
2	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
2	Christine Rochange	WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2007	DBLP BibTeX RDF
2	Joel Coffman, Christopher A. Healy, Frank Mueller, David B. Whalley	Generalizing parametric timing analysis.	LCTES	2007	DBLP DOI BibTeX RDF	parametric timing analysis, worst-case execution time (WCET) analysis
2	Frank Mueller	2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2006	DBLP BibTeX RDF
2	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
2	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Gain Time Reclaiming in High Performance Real-Time Java Systems. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF	Gain Time Reclaiming, Worst-Case Execution Time (WCET) Analysis, Real-Time Java
2	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
1	Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
1	Ilya Chukhman, Peter Petrov	Context-aware TLB preloading for interference reduction in embedded multi-tasked systems.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	TLB management, real-time multi-processing
1	Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl	WCET driven design space exploration of an object cache.	JTRES	2010	DBLP DOI BibTeX RDF
1	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
1	Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd	Deriving the Worst-Case Execution Time Input Values.	ECRTS	2009	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) analysis, real-time systems
1	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
1	Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen	Tight WCRT analysis of synchronous C programs.	CASES	2009	DBLP DOI BibTeX RDF	precision timed machines, model checking, synchronous languages, static timing analysis
1	Heiko Falk	WCET-aware register allocation based on graph coloring.	DAC	2009	DBLP DOI BibTeX RDF	register allocation, WCET
1	Heiko Falk, Jan C. Kleinsorge	Optimal static WCET-aware scratchpad allocation of program code.	DAC	2009	DBLP DOI BibTeX RDF	scratchpad allocation, WCET
1	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad
1	Jack Whitham, Neil C. Audsley, Martin Schoeberl	Using hardware methods to improve time-predictable performance in real-time Java systems.	JTRES	2009	DBLP DOI BibTeX RDF
1	Emilio Wuerges, Luiz C. V. dos Santos, Olinto J. V. Furtado, Sandro Rigo	An early real-time checker for retargetable compile-time analysis.	SBCCI	2009	DBLP DOI BibTeX RDF	compile-time WCET analysis, time-constraint feasibility analysis
1	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
1	Jameleddine Hassine	Early Schedulability Analysis with Timed Use Case Maps.	SDL Forum	2009	DBLP DOI BibTeX RDF
1	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
1	Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber	Towards Time-Predictable Data Caches for Chip-Multiprocessors.	SEUS	2009	DBLP DOI BibTeX RDF
1	Lili Tan	The worst-case execution time tool challenge 2006.	STTT	2009	DBLP DOI BibTeX RDF	Embedded systems, Timing analysis, Worst-case execution time, WCET, Hard real time
1	Raimund Kirner (eds.)	8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008	WCET	2008	DBLP BibTeX RDF
1	Jack Whitham, Neil C. Audsley	Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis.	WCET	2008	DBLP BibTeX RDF
1	Stefan Bygde, Björn Lisper	Towards an Automatic Parametric WCET Analysis.	WCET	2008	DBLP BibTeX RDF
1	Peter P. Puschner, Martin Schoeberl	On Composable System Timing, Task Timing, and WCET Analysis.	WCET	2008	DBLP BibTeX RDF
1	Niklas Holsti	Computing time as a program variable: a way around infeasible paths.	WCET	2008	DBLP BibTeX RDF
1	Sebastian Altmeyer, Gernot Gebhard	WCET Analysis for Preemptive Scheduling.	WCET	2008	DBLP BibTeX RDF
1	Clément Ballabriga, Hugues Cassé	Improving the WCET computation time by IPET using control flow graph partitioning.	WCET	2008	DBLP BibTeX RDF
1	Jan Gustafsson, Andreas Ermedahl	Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.	WCET	2008	DBLP BibTeX RDF
1	Michael Zolda	INFER: Interactive Timing Profiles based on Bayesian Networks.	WCET	2008	DBLP BibTeX RDF
1	Olivier Gilles, Jérôme Hugues	Applying WCET Analysis at Architectural Level.	WCET	2008	DBLP BibTeX RDF
1	David Hickey, Diarmuid Early, Michel P. Schellekens	A tool for average and worst-case execution time analysis.	WCET	2008	DBLP BibTeX RDF
1	Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop	Towards a Common WCET Annotation Language: Essential Ingredients.	WCET	2008	DBLP BibTeX RDF
1	Adrian Prantl, Markus Schordan, Jens Knoop	TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.	WCET	2008	DBLP BibTeX RDF
1	Amine Marref, Guillem Bernat	Towards Predicated WCET Analysis.	WCET	2008	DBLP BibTeX RDF
1	Mark Bartlett, Iain Bate, Dimitar Kazakov	Challenges in Relational Learning for Real-Time Systems Applications.	ILP	2008	DBLP DOI BibTeX RDF	Efficiency, Symmetry, Lazy Learning, Worst Case Execution Time (WCET), Inductive Logic Programming (ILP)
1	Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
1	Sanjit A. Seshia, Alexander Rakhlin	Game-theoretic timing analysis.	ICCAD	2008	DBLP DOI BibTeX RDF
1	Clément Ballabriga, Hugues Cassé, Pascal Sainrat	An improved approach for set-associative instruction cache partial analysis.	SAC	2008	DBLP DOI BibTeX RDF	WCET computation, partial cache analysis, partial static analysis, abstract interpretation, COTS, instruction cache
1	Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling	WCET-driven, code-size critical procedure cloning.	SCOPES	2008	DBLP DOI BibTeX RDF
1	Clément Ballabriga, Hugues Cassé	Improving the First-Miss Computation in Set-Associative Instruction Caches.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg	Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Sanjoy K. Baruah, Steve Vestal	Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Paul Lokuciejewski, Heiko Falk, Peter Marwedel	WCET-driven Cache-based Procedure Positioning Optimizations.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Alexander Metzner	Scheduling analysis of distributed real-time systems under functional constraints.	ETFA	2008	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann	Worst-Case Execution Time - A Tool Provider's Perspective.	ISORC	2008	DBLP DOI BibTeX RDF	WCET worst-case execution time prediction
1	Jan Gustafsson	Usability Aspects of WCET Analysis.	ISORC	2008	DBLP DOI BibTeX RDF
1	Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad	Toward Libraries for Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Java, real-time, libraries, WCET
1	Raimund Kirner, Peter P. Puschner	Obstacles in Worst-Case Execution Time Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	measurement-based timing analysis, static analysis, WCET, worst-case execution time analysis
1	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
1	Sibin Mohan, Frank Mueller	Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution
1	Harini Ramaprasad, Frank Mueller	Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	real-time, timing analysis, data cache
1	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
1	Jun Yan, Wei Zhang 0002	WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
1	Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm	Parametric Timing Analysis for Complex Architectures.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun	Inter-task WCET computation for a-way instruction caches.	SIES	2008	DBLP DOI BibTeX RDF
1	Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel	Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.	WISES	2008	DBLP DOI BibTeX RDF
1	H. H. Park, JiMan Hong, S. M. Yang	Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems.	ICCSA	2008	DBLP DOI BibTeX RDF
1	Hua Xu, Peifa Jia	TOPN Based Temporal Performance Evaluation Method of Neural Network Based Robot Controller.	ISNN	2008	DBLP DOI BibTeX RDF	Neural network, Petri nets, Robot controller
1	Florian Franz	Experiences with Evolutionary Timing Test of Automotive Software Components.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner	Measurement-Based Timing Analysis.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Albert Mo Kim Cheng, Yan Wang	A Dynamic Voltage Scaling Algorithm for Dynamic Workloads.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	dynamic workloads, scheduling, real-time systems, dynamic voltage scaling (DVS), power-aware computing
1	Reinhard Wilhelm (eds.)	5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain	WCET	2007	DBLP BibTeX RDF
1	Christine Rochange (eds.)	7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007	WCET	2007	DBLP BibTeX RDF
1	Niklas Holsti	Analysing Switch-Case Tables by Partial Evaluation.	WCET	2007	DBLP BibTeX RDF
1	Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel	WCET Analysis: The Annotation Language Challenge.	WCET	2007	DBLP BibTeX RDF
1	Ingmar Stein, Florian Martin	Analysis of path exclusion at the machine code level.	WCET	2007	DBLP BibTeX RDF
1	Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper	Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.	WCET	2007	DBLP BibTeX RDF
1	Jan Gustafsson	WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008.	WCET	2007	DBLP BibTeX RDF
1	Liang Yun, Abhik Roychoudhury, Tulika Mitra	Timing Analysis of Body Area Network Applications.	WCET	2007	DBLP BibTeX RDF
1	Marc Schlickling, Markus Pister	A Framework for Static Analysis of VHDL Code.	WCET	2007	DBLP BibTeX RDF
1	Stephan Wilhelm, Björn Wachter	Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.	WCET	2007	DBLP BibTeX RDF
1	Christoph Cullmann, Florian Martin	Data-Flow Based Detection of Loop Bounds.	WCET	2007	DBLP BibTeX RDF
1	Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser	Measurements or Static Analysis or Both?.	WCET	2007	DBLP BibTeX RDF
1	Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon	Automatic Amortised Worst-Case Execution Time Analysis.	WCET	2007	DBLP BibTeX RDF
1	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
1	Johan Fredriksson, Thomas Nolte, Andreas Ermedahl, Mikael Nolin	Clustering Worst-Case Execution Times for Software Components.	WCET	2007	DBLP BibTeX RDF
1	ZhiLei Chai, Wenke Zhao, Wenbo Xu	Real-time Java processor optimized for RTSJ.	SAC	2007	DBLP DOI BibTeX RDF	Real-time Java platform, Real-time Java processor, Java Virtual Machine (JVM), Real-time specification for Java (RTSJ), Worst Case Execution Time (WCET)
1	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
1	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
1	Thomas Preußer, Martin Zabel, Rainer G. Spallek	Bump-pointer method caching for embedded Java processors.	JTRES	2007	DBLP DOI BibTeX RDF	method cache, Java
1	Martin Schoeberl, Jan Vitek	Garbage collection for safety critical Java.	JTRES	2007	DBLP DOI BibTeX RDF	real-time system, garbage collection
1	Daniel Kästner	Safe worst-case execution time analysis by abstract interpretation of executable code.	LCTES	2007	DBLP DOI BibTeX RDF
1	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng	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
1	Raimund Kirner, Martin Schoeberl	Modeling the Function Cache for Worst-Case Execution Time Analysis.	DAC	2007	DBLP DOI BibTeX RDF
1	Christof Pitter, Martin Schoeberl	Time Predictable CPU and DMA Shared Memory Access.	FPL	2007	DBLP DOI BibTeX RDF
1	Trevor Harmon, Raymond Klefstad	A Survey of Worst-Case Execution Time Analysis for Real-Time Java.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Trevor Harmon, Raymond Klefstad	Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Jan Gustafsson, Andreas Ermedahl	Experiences from Applying WCET Analysis in Industrial Settings.	ISORC	2007	DBLP DOI BibTeX RDF
1	Rony Ghattas, Gregory S. Parsons, Alexander G. Dean	Optimal Unified Data Allocation and Task Scheduling for Real-Time Multi-Tasking Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
1	Wei Fu, Carl Hauser	Modeling Real-time Garbage Collection Cost.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Trevor Harmon, Raymond Klefstad	Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors.	RTCSA	2007	DBLP DOI BibTeX RDF
1	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