Search results for "WCET"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Reinhard Wilhelm, Philipp Lucas 0001, Oleg Parshin, Lili Tan, Björn Wachter	Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.	Advances in Real-Time Systems	2012	DBLP DOI BibTeX RDF
17	Archana Ravindar, Y. N. Srikant	Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis.	EMSOFT	2012	DBLP DOI BibTeX RDF
17	Stefan Stattelmann, Sebastian Ottlik, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel	Combining instruction set simulation and WCET analysis for embedded software performance estimation.	SIES	2012	DBLP DOI BibTeX RDF
17	Mike Gerdes 0001, Florian Kluge, Theo Ungerer, Christine Rochange	The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs.	RTCSA	2012	DBLP DOI BibTeX RDF
17	Sudipta Chattopadhyay 0001, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk	A Unified WCET Analysis Framework for Multi-core Platforms.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
17	Nan Guan, Mingsong Lv, Wang Yi 0001, Ge Yu 0001	WCET Analysis with MRU Caches: Challenging LRU for Predictability.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
17	Huping Ding, Yun Liang 0001, Tulika Mitra	WCET-centric partial instruction cache locking.	DAC	2012	DBLP DOI BibTeX RDF
17	Fan Ni, Xiang Long, Han Wan, Xiaopeng Gao	Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications.	PDCAT	2012	DBLP DOI BibTeX RDF
17	Stephan Wilhelm	Symbolic representations in WCET analysis.		2012	RDF
17	Iain Bate, Usman Khan	WCET analysis of modern processors using multi-criteria optimisation.	Empir. Softw. Eng.	2011	DBLP DOI BibTeX RDF
17	Archana Ravindar, Y. N. Srikant	Relative roles of instruction count and cycles per instruction in WCET estimation (abstracts only).	SIGMETRICS Perform. Evaluation Rev.	2011	DBLP DOI BibTeX RDF
17	Tiantian Liu 0001, Yingchao Zhao 0001, Minming Li, Chun Jason Xue	Joint task assignment and cache partitioning with cache locking for WCET minimization on MPSoC.	J. Parallel Distributed Comput.	2011	DBLP DOI BibTeX RDF
17	Jean-Luc Béchennec, Franck Cassez	Computation of WCET using Program Slicing and Real-Time Model-Checking	CoRR	2011	DBLP BibTeX RDF
17	Jun Yan 0008, Wei Zhang 0002	An Interference Matrix Based Approach to Bounding Worst-Case Inter-Thread Cache Interferences and WCET for Multi-Core Processors.	J. Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF
17	Paul Lokuciejewski, Sascha Plazar, Heiko Falk, Peter Marwedel, Lothar Thiele	Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
17	Damien Hardy, Isabelle Puaut	WCET analysis of instruction cache hierarchies.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
17	Luis C. Aparicio, Juan Segarra, Clemente Rodríguez, Víctor Viñals	Improving the WCET computation in the presence of a lockable instruction cache in multitasking real-time systems.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
17	Daniel Grund, Jan Reineke 0001, Gernot Gebhard	Branch target buffers: WCET analysis framework and timing predictability.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
17	Stefan Bygde, Andreas Ermedahl, Björn Lisper	An efficient algorithm for parametric WCET calculation.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
17	Jens Knoop, Laura Kovács, Jakob Zwirchmayr	Symbolic Loop Bound Computation for WCET Analysis.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
17	Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson	Hierarchical Composition of Parametric WCET in a Component Based Approach.	ISORC	2011	DBLP DOI BibTeX RDF
17	Amine Marref, Adam Betts	Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code.	ISORC	2011	DBLP DOI BibTeX RDF
17	Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay 0001, Abhik Roychoudhury	Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds.	ECRTS	2011	DBLP DOI BibTeX RDF
17	Heiko Falk, Norman Schmitz, Florian Schmoll	WCET-aware Register Allocation Based on Integer-Linear Programming.	ECRTS	2011	DBLP DOI BibTeX RDF
17	Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann	Software Structure and WCET Predictability.	PPES	2011	DBLP DOI BibTeX RDF
17	Pascal Montag, Sebastian Altmeyer	Precise WCET calculation in highly variant real-time systems.	DATE	2011	DBLP DOI BibTeX RDF
17	Renan Augusto Starke, Rômulo Silva de Oliveira	Empirical Study about Using aiT Tool in WCET Estimation.	SBESC	2011	DBLP DOI BibTeX RDF
17	Saeed Parsa, Mehdi Sakhaei-nia	A New Approach to Determine Number of Loop Iterations for WCET Analysis.	ITNG	2011	DBLP DOI BibTeX RDF
17	Franck Cassez	Timed Games for Computing WCET for Pipelined Processors with Caches.	ACSD	2011	DBLP DOI BibTeX RDF
17	Duc-Hiep Chu, Joxan Jaffar	Symbolic simulation on complicated loops for WCET path analysis.	EMSOFT	2011	DBLP DOI BibTeX RDF
17	Mike Gerdes 0001, Julian Wolf 0002, Irakli Guliashvili, Theo Ungerer, Michael Houston, Guillem Bernat, Stefan Schnitzler, Hans Regler	Large drilling machine control code - Parallelisation and WCET speedup.	SIES	2011	DBLP DOI BibTeX RDF
17	Stéphane Louise	Improving Branch Prediction Related WCET Abstract Interpretation.	RTCSA (2)	2011	DBLP DOI BibTeX RDF
17	Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen	WCET analysis of Java bytecode featuring common execution environments.	JTRES	2011	DBLP DOI BibTeX RDF
17	Man-Ki Yoon, Jung-Eun Kim, Lui Sha	Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems.	RTSS	2011	DBLP DOI BibTeX RDF
17	Heiko Falk, Helena Kotthaus	WCET-driven cache-aware code positioning.	CASES	2011	DBLP DOI BibTeX RDF
17	Sascha Plazar, Jan C. Kleinsorge, Heiko Falk, Peter Marwedel	WCET-driven branch prediction aware code positioning.	CASES	2011	DBLP DOI BibTeX RDF
17	Bach Khoa Huynh, Lei Ju 0001, Abhik Roychoudhury	Scope-Aware Data Cache Analysis for WCET Estimation.	IEEE Real-Time and Embedded Technology and Applications Symposium	2011	DBLP DOI BibTeX RDF
17	Archana Ravindar, Y. N. Srikant	Relative roles of instruction count and cycles per instruction in WCET estimation.	ICPE	2011	DBLP DOI BibTeX RDF
17	Dakshina Dasari, Vincent Nélis, Björn Andersson	WCET analysis considering contention on memory bus in COTS-based multicores.	ETFA	2011	DBLP DOI BibTeX RDF
17	Adam Betts, Amine Marref	WCET Analysis of Component-Based Systems Using Timing Traces.	ICECCS	2011	DBLP DOI BibTeX RDF
17	Sascha Plazar, Paul Lokuciejewski, Peter Marwedel	WCET-Driven Cache-Aware Memory Content Selection.	ISORC	2010	DBLP DOI BibTeX RDF
17	Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa	Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
17	Timon Kelter	Superblock-basierte Quellcodeoptimierungen zur WCET-Reduktion.	Echtzeit	2010	DBLP DOI BibTeX RDF
17	Trevor Harmon, Michael R. Lowry	N-version programming in WCET analysis: revisiting a discredited idea.	FoSER	2010	DBLP DOI BibTeX RDF
17	Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat	OTAWA: An Open Toolbox for Adaptive WCET Analysis.	SEUS	2010	DBLP DOI BibTeX RDF
17	Hui Wu 0001, Jingling Xue, Sridevan Parameswaran	Optimal WCET-aware code selection for scratchpad memory.	EMSOFT	2010	DBLP DOI BibTeX RDF
17	Tyler Sondag, Hridesh Rajan	A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis.	RTSS	2010	DBLP DOI BibTeX RDF
17	Paul Lokuciejewski	WCET-fähige Quellcode- und Assembler-Optimierungstechniken für Realzeitsysteme.	Ausgezeichnete Informatikdissertationen	2010	DBLP BibTeX RDF
17	Tiantian Liu 0001, Yingchao Zhao 0001, Minming Li, Chun Jason Xue	Task Assignment with Cache Partitioning and Locking for WCET Minimization on MPSoC.	ICPP	2010	DBLP DOI BibTeX RDF
17	Paul Lokuciejewski	WCET-aware source code and assembly level optimization techniques for real-time systems.		2010	RDF
17	Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska	Constraint solving for high-level WCET analysis	CoRR	2009	DBLP BibTeX RDF
17	Mingsong Lv, Nan Guan, Yi Zhang 0056, Qingxu Deng, Ge Yu 0001, Jianming Zhang	A Survey of WCET Analysis of Real-Time Operating Systems.	ICESS	2009	DBLP DOI BibTeX RDF
17	Paul Lokuciejewski, Fatih Gedikli, Peter Marwedel	Accelerating WCET-driven optimizations by the invariant path paradigm: a case study of loop unswitching.	SCOPES	2009	DBLP BibTeX RDF
17	Stefan Bygde, Andreas Ermedahl, Björn Lisper	An Efficient Algorithm for Parametric WCET Calculation.	RTCSA	2009	DBLP DOI BibTeX RDF
17	Daniel Grund, Jan Reineke 0001, Gernot Gebhard	Branch Target Buffers: WCET Analysis Framework and Timing Predictability.	RTCSA	2009	DBLP DOI BibTeX RDF
17	Zhonglei Wang, Andreas Herkersdorf	Flow Analysis on Intermediate Source Code for WCET Estimation of Compiler-Optimized Programs.	RTCSA	2009	DBLP DOI BibTeX RDF
17	Raymond S. T. Lee, James Nga-Kwok Liu, Karo S. Y. Yeung, Alan H. L. Sin, Dennis T. F. Shum	Agent-Based Web Content Engagement Time (WCET) Analyzer on e-Publication System.	ISDA	2009	DBLP DOI BibTeX RDF
17	Damien Hardy, Thomas Piquet, Isabelle Puaut	Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches.	RTSS	2009	DBLP DOI BibTeX RDF
17	Sudipta Chattopadhyay 0001, Abhik Roychoudhury	Unified Cache Modeling for WCET Analysis and Layout Optimizations.	RTSS	2009	DBLP DOI BibTeX RDF
17	Mark Bartlett, Iain Bate, Dimitar Kazakov	Guaranteed Loop Bound Identification from Program Traces for WCET.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
17	Björn Lisper, Marcelo Santos	Model Identification for WCET Analysis.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
17	Tiantian Liu 0001, Minming Li, Chun Jason Xue	Minimizing WCET for Real-Time Embedded Systems via Static Instruction Cache Locking.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
17	Jan Reineke 0001	Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity.		2009	RDF
17	Damien Hardy, Isabelle Puaut	WCET analysis of multi-level set-associative instruction caches	CoRR	2008	DBLP BibTeX RDF
17	Sven Bünte, Michael Tautschnig	A Benchmarking Suite for Measurement-Based WCET Analysis Tools.	ICST Workshops	2008	DBLP DOI BibTeX RDF
17	Martin Däumler, Robert Baumgartl, Matthias Werner 0001	WCET-Analyseverfahren in der automobilen Softwareentwicklung.	Echtzeit	2008	DBLP DOI BibTeX RDF
17	Yanhui Li, Shakith Fernando, Heng Yu 0001, Xiaolei Chen, Yajun Ha, Teng Tiow Tay	Tighter WCET analysis of input dependent programs with classified-cache memory architecture.	ICECS	2008	DBLP DOI BibTeX RDF
17	Damien Hardy, Isabelle Puaut	WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches.	RTSS	2008	DBLP DOI BibTeX RDF
17	Mingsong Lv, Zonghua Gu 0001, Nan Guan, Qingxu Deng, Ge Yu 0001	Performance Comparison of Techniques on Static Path Analysis of WCET.	EUC (1)	2008	DBLP DOI BibTeX RDF
17	Adam Betts	Hybrid measurement-based WCET analysis using instrumentation point graphs.		2008	RDF
17	Peter Szulman	WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems.	FESCA@ETAPS	2007	DBLP DOI BibTeX RDF
17	Dominique Geniet, Gaëlle Largeteau	WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Jun Yan 0008, Wei Zhang 0002	WCET analysis of instruction caches with prefetching.	LCTES	2007	DBLP DOI BibTeX RDF	instruction cache, hard real-time, worst-case execution time analysis, instruction prefetching
17	Philippe Baufreton, Reinhold Heckmann	Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application.	ISoLA	2007	DBLP BibTeX RDF
17	Rathijit Sen, Y. N. Srikant	WCET estimation for executables in the presence of data caches.	EMSOFT	2007	DBLP DOI BibTeX RDF
17	Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner	Using a Runtime Measurement Device with Measurement-Based WCET Analysis.	IESS	2007	DBLP DOI BibTeX RDF
17	Jonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat	Modeling Instruction-Level Parallelism for WCET Evaluation.	RTCSA	2006	DBLP DOI BibTeX RDF
17	Martin Schoeberl, Rasmus Ulslev Pedersen	WCET analysis for a Java processor.	JTRES	2006	DBLP DOI BibTeX RDF
17	Mengluo Ji, Ji Wang 0001, Shuhao Li, Zhi-Chang Qi	Automated WCET Analysis Based on Program Modes.	AST	2006	DBLP DOI BibTeX RDF
17	Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val	Enabling WCET-based composition of service-based real-time applications.	SIGBED Rev.	2005	DBLP DOI BibTeX RDF
17	Alexander Metzner	Why Model Checking Can Improve WCET Analysis.	CAV	2004	DBLP DOI BibTeX RDF
17	Guowei Wu, Lin Yao 0001	A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model.	ICESS	2004	DBLP DOI BibTeX RDF
17	Charles Cavanaugh	On Static WCET Analysis vs. Run-Time Monitoring of Execution Time.	IPDPS	2004	DBLP DOI BibTeX RDF
17	Stephan Thesing	Safe and precise WCET determination by abstract interpretation of pipeline models.		2004	RDF
17	Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm	The influence of processor architecture on the design and the results of WCET tools.	Proc. IEEE	2003	DBLP DOI BibTeX RDF
17	Jörn Schneider	Combined schedulability and WCET analysis for real-time operating systems.		2003	RDF
17	Thomas Lundqvist	A WCET Analysis Method for Pipelined Microprocessors with Cache Memories.		2002	RDF
17	Hassan Aljifri, Alexander Perez-Pons, Moiez A. Tapia	The Estimation of the WCET in Super-Scalar Real-Time System.	Scalable Comput. Pract. Exp.	2001	DBLP BibTeX RDF
17	Frank P. Burns, Albert Koelmans, Alexandre Yakovlev	WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets.	Real Time Syst.	2000	DBLP DOI BibTeX RDF
17	Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm	Fast and Precise WCET Prediction by Separated Cache and Path Analyses.	Real Time Syst.	2000	DBLP DOI BibTeX RDF
17	Jack Whitham, Neil C. Audsley	Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads.	ECRTS	2010	DBLP DOI BibTeX RDF	SMMU, RTS, WCET, SPM
17	Jun Yan 0008, Wei Zhang 0002	Time-Predictable L2 Cache Design for High-Performance Real-Time Systems.	RTCSA	2010	DBLP DOI BibTeX RDF	unified cache, WCET analysis, real-time computing
17	Enrico Mezzetti, Tullio Vardanega	Towards a Cache-Aware Development of High Integrity Real-Time Systems.	RTCSA	2010	DBLP DOI BibTeX RDF	software architectures, caches, Timing analysis, WCET
17	Luis C. Aparicio, Juan Segarra, Clemente Rodríguez, Víctor Viñals	Combining Prefetch with Instruction Cache Locking in Multitasking Real-Time Systems.	RTCSA	2010	DBLP DOI BibTeX RDF	prefetch, WCET, instruction cache
17	Jack Whitham, Neil C. Audsley	Studying the Applicability of the Scratchpad Memory Management Unit.	IEEE Real-Time and Embedded Technology and Applications Symposium	2010	DBLP DOI BibTeX RDF	Embedded Hard Real-time, WCET, Scratchpad
17	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
17	Paul Lokuciejewski, Daniel Cordes, Heiko Falk, Peter Marwedel	A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.	CGO	2009	DBLP DOI BibTeX RDF	loop analysis, abstract interpretation, WCET analysis, static program analysis
17	Jan Reineke 0001, Daniel Grund	Relative competitive analysis of cache replacement policies.	LCTES	2008	DBLP DOI BibTeX RDF	wcet analysis, predictability, worst-case execution time, cache performance, replacement policy
17	Jan Reineke 0001, Daniel Grund	Relative competitiveness of cache replacement policies.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	predictability, worst-case execution time, cache performance, replacement policy, WCET analysis
17	Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra	Scratchpad allocation for concurrent embedded software.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	WCET, message sequence chart, scratchpad memory