Search results for "WCET"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Liang Yun, Abhik Roychoudhury, Tulika Mitra	Timing Analysis of Body Area Network Applications.	WCET	2007	DBLP BibTeX RDF
37	Marc Schlickling, Markus Pister 0002	A Framework for Static Analysis of VHDL Code.	WCET	2007	DBLP BibTeX RDF
37	Christoph Cullmann, Florian Martin 0001	Data-Flow Based Detection of Loop Bounds.	WCET	2007	DBLP BibTeX RDF
37	Frank Mueller 0001 (eds.)	6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany	WCET	2006	DBLP BibTeX RDF
37	Christoph Berg	PLRU Cache Domino Effects.	WCET	2006	DBLP BibTeX RDF
37	Jan Gustafsson, Andreas Ermedahl, Björn Lisper	Algorithms for Infeasible Path Calculation.	WCET	2006	DBLP BibTeX RDF
37	Claire Burguière, Christine Rochange	History-based Schemes and Implicit Path Enumeration.	WCET	2006	DBLP BibTeX RDF
37	Djemai Kebbal, Pascal Sainrat	Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis.	WCET	2006	DBLP BibTeX RDF
37	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
37	Simon Schliecker, Matthias Ivers, Jan Staschulat, Rolf Ernst	A Framework for the Busy Time Calculation of Multiple Correlated Events.	WCET	2006	DBLP BibTeX RDF
37	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel	PapaBench: a Free Real-Time Benchmark.	WCET	2006	DBLP BibTeX RDF
37	Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra	Exploiting Branch Constraints without Exhaustive Path Enumeration.	WCET	2005	DBLP BibTeX RDF
37	Jan Staschulat, Simon Schliecker, Matthias Ivers, Rolf Ernst	Analysis of Memory Latencies in Multi-Processor Systems.	WCET	2005	DBLP BibTeX RDF
37	Raimund Kirner, Peter P. Puschner	Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis.	WCET	2005	DBLP BibTeX RDF
37	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
37	Christer Sandberg	Elimination of Unstructured Loops in Flow Analysis.	WCET	2003	DBLP BibTeX RDF
37	Björn Lisper	Fully Automatic, Parametric Worst-Case Execution Time Analysis.	WCET	2003	DBLP BibTeX RDF
37	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
37	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
35	Zhenyu Bai	Modélisation du comportement temporel du pipeline pour le calcul de WCET. (Pipeline Temporal Behavior Modeling for WCET Computation).		2023	RDF
35	Vincent Mussot	Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET. (Flow fact automata for the expression and the integration of properties in WCET analysis).		2016	RDF
35	Hanbing Li	Extraction and traceability of annotations for WCET estimation. (Extraction et traçabilité d'annotations pour l'estimation de WCET).		2015	RDF
35	Jens Knoop, Laura Kovács, Jakob Zwirchmayr	WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds.	RTNS	2013	DBLP DOI BibTeX RDF
34	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
34	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
34	Ghaith Haddad, Faraz Hussain 0001, 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
34	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
34	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
34	Christof Pitter	Time-predictable memory arbitration for a Java chip-multiprocessor.	JTRES	2008	DBLP DOI BibTeX RDF	Java, chip-multiprocessor, shared memory, worst-case execution time
34	Harini Ramaprasad, Frank Mueller 0001	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
34	Christof Pitter, Martin Schoeberl	Time Predictable CPU and DMA Shared Memory Access.	FPL	2007	DBLP DOI BibTeX RDF
34	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada	Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis.	SIES	2007	DBLP DOI BibTeX RDF
34	Nadia Bel Hadj Aissa, Gilles Grimaud, Vincent Bénony	Bringing Worst Case Execution Time Awareness to an Open Smart Card OS.	RTCSA	2007	DBLP DOI BibTeX RDF
34	Lili Tan	The Worst Case Execution Time Tool Challenge 2006: The External Test.	ISoLA	2006	DBLP DOI BibTeX RDF
34	Harini Ramaprasad, Frank Mueller 0001	Tightening the Bounds on Feasible Preemption Points.	RTSS	2006	DBLP DOI BibTeX RDF
34	Chunjie Duan, Sunil P. Khatri	Computing during supply voltage switching in DVS enabled real-time processors.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Lars Wehmeyer, Peter Marwedel	Influence of Memory Hierarchies on Predictability for Time Constrained Embedded Software.	DATE	2005	DBLP DOI BibTeX RDF
34	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
34	Kaustubh Patil, Kiran Seth, Frank Mueller 0001	Compositional static instruction cache simulation.	LCTES	2004	DBLP DOI BibTeX RDF	scheduling, real-time systems, caches, worst-case execution time
34	Frank Mueller 0001	Timing Analysis: In Search of Multiple Paradigms.	IPDPS	2004	DBLP DOI BibTeX RDF
34	Aravindh Anantaraman, Kiran Seth, Eric Rotenberg, Frank Mueller 0001	Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA).	RTSS	2004	DBLP DOI BibTeX RDF
34	Raimund Kirner, Peter P. Puschner	Timing Analysis of Optimised Code.	WORDS	2003	DBLP DOI BibTeX RDF	Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages
34	Iain Bate, Guillem Bernat, Peter P. Puschner	Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
34	Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner	Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.	ECRTS	2002	DBLP DOI BibTeX RDF
34	Jan Gustafsson	Worst Case Execution Time Analysis of Object-Oriented Programs.	WORDS	2002	DBLP DOI BibTeX RDF	real-time systems, Object-oriented programming, worst case execution time
34	Guillem Bernat, Alan Burns 0001, Andy J. Wellings	Portable worst-case execution time analysis using Java Byte Code.	ECRTS	2000	DBLP DOI BibTeX RDF
34	Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert	Worst-case execution times analysis of MPEG-2 decoding.	ECRTS	2000	DBLP DOI BibTeX RDF
34	Tai-Yi Huang, Jane W.-S. Liu, Jen-Yao Chung	Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs.	ICPADS	1996	DBLP DOI BibTeX RDF	cycle-stealing direct memory access, I/O concurrent, hard-real-time programs, bus cycles, straight-line sequence, cycle-stealing operations, real-time systems, fault tolerant computing, worst-case execution time, schedulability analysis, file organisation
34	Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim	An Accurate Worst Case Timing Analysis for RISC Processors.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor
29	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
29	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
29	Jun Yan 0008, 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
29	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
29	Jean-François Deverge, Isabelle Puaut	WCET-Directed Dynamic Scratchpad Memory Allocation of Data.	ECRTS	2007	DBLP DOI BibTeX RDF
29	Guowei Wu, Kai Yao 0001	A Graph-Theory Algorithm for WCET Estimation.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
29	Isabelle Puaut	WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems.	ECRTS	2006	DBLP DOI BibTeX RDF
29	Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann	New Developments in WCET Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
29	Mengluo Ji, Xin Wang, Zhichang Qi	Trace Acquirement from Real-Time Systems Based on WCET Analysis.	ICESS	2005	DBLP DOI BibTeX RDF
29	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
29	Reinhard Wilhelm	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.	VMCAI	2004	DBLP DOI BibTeX RDF
29	Guillem Bernat, Antoine Colin, Stefan M. Petters	WCET Analysis of Probabilistic Hard Real-Time System.	RTSS	2002	DBLP DOI BibTeX RDF	worst case execution time, probabilistic analysis, hard real-time, execution profiles
29	Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin 0001, Michael Schmidt 0007, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm	Reliable and Precise WCET Determination for a Real-Life Processor.	EMSOFT	2001	DBLP DOI BibTeX RDF
29	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
29	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)
29	ZhiLei Chai, Wenke Zhao, Wenbo Xu 0001	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)
29	ZhiLei Chai, ZhiQiang Tang, LiMing Wang, Shi-liang Tu	An Effective Instruction Optimization Method for Embedded Real-Time Java Processor.	ICPP Workshops	2005	DBLP DOI BibTeX RDF	Embedded Real-time Java Processor, Instruction Optimization, WCET (Worst Case Execution Time), Java Processor
29	Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings	A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems.	WORDS	2002	DBLP DOI BibTeX RDF	Portable WCET Analysis, Java, Hard Real-Time Systems, Real-Time Java, Worst-Case Execution Time Analysis
29	Jakob Engblom, Andreas Ermedahl	Pipeline Timing Analysis Using a Trace-Driven Simulator.	RTCSA	1999	DBLP DOI BibTeX RDF	pipeline analysis, embedded systems, WCET, hard real-time
23	Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber	Towards Time-Predictable Data Caches for Chip-Multiprocessors.	SEUS	2009	DBLP DOI BibTeX RDF
23	Albert Mo Kim Cheng, Yan Wang	A Dynamic Voltage Scaling Algorithm for Dynamic Workloads.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	dynamic workloads, scheduling, real-time systems, dynamic voltage scaling (DVS), power-aware computing
23	Clément Ballabriga, Hugues Cassé	Improving the First-Miss Computation in Set-Associative Instruction Caches.	ECRTS	2008	DBLP DOI BibTeX RDF
23	Sanjoy K. Baruah, Steve Vestal	Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.	ECRTS	2008	DBLP DOI BibTeX RDF
23	Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner	Measurement-Based Timing Analysis.	ISoLA	2008	DBLP DOI BibTeX RDF
23	Florian Franz	Experiences with Evolutionary Timing Test of Automotive Software Components.	ISoLA	2008	DBLP DOI BibTeX RDF
23	Sanjit A. Seshia, Alexander Rakhlin	Game-theoretic timing analysis.	ICCAD	2008	DBLP DOI BibTeX RDF
23	Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer	Exploiting spare resources of in-order SMT processors executing hard real-time threads.	ICCD	2008	DBLP DOI BibTeX RDF
23	Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen	Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip.	VLSI Design	2008	DBLP DOI BibTeX RDF
23	Ahmed Abdallah, Wayne H. Wolf, Graham R. Hellestrand	Statistical characterization of execution time through simulation.	WISES	2008	DBLP DOI BibTeX RDF
23	Daniel Kästner	Safe worst-case execution time analysis by abstract interpretation of executable code.	LCTES	2007	DBLP DOI BibTeX RDF
23	Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt	Contract-Based ReusableWorst-Case Execution Time Estimate.	RTCSA	2007	DBLP DOI BibTeX RDF
23	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
23	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
23	Raimund Kirner, Martin Schoeberl	Modeling the Function Cache for Worst-Case Execution Time Analysis.	DAC	2007	DBLP DOI BibTeX RDF
23	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Code Analysis for Temporal Predictability.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages
23	Martin Schoeberl	A time predictable Java processor.	DATE	2006	DBLP DOI BibTeX RDF
23	ZhiLei Chai, Wenbo Xu 0001, Shi-liang Tu, Zhang-long Chen	Implementing Predictable Scheduling in RTSJ-Based Java Processor.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
23	Björn Lisper	Trends in Timing Analysis.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time System, Program Analysis, Timing Analysis
23	Shaoxiong Hua, Pushkin R. Pari, Gang Qu 0001	Dual-Processor Design of Energy Efficient Fault-Tolerant System.	ASAP	2006	DBLP DOI BibTeX RDF
23	Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner	Automatic Timing Model Generation by CFG Partitioning and Model Checking.	DATE	2005	DBLP DOI BibTeX RDF
23	Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner	Measurement-Based Worst-Case Execution Time Analysis.	SEUS	2005	DBLP DOI BibTeX RDF
23	Sibin Mohan, Frank Mueller 0001, William Hawkins, Michael Root, Christopher A. Healy, David B. Whalley	ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling.	RTSS	2005	DBLP DOI BibTeX RDF
23	Jan Gustafsson, Andreas Ermedahl, Björn Lisper	Towards a Flow Analysis for Embedded System C Programs.	WORDS	2005	DBLP DOI BibTeX RDF
23	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	FORMATS	2005	DBLP DOI BibTeX RDF
23	Martin Schoeberl	A Time Predictable Instruction Cache for a Java Processor.	OTM Workshops	2004	DBLP DOI BibTeX RDF
23	Peter P. Puschner	Hard Real-Time Programming is Different.	IPDPS	2003	DBLP DOI BibTeX RDF
23	Janosch Fauster, Raimund Kirner, Peter P. Puschner	Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF
23	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Input-Dependency Analysis for Hard Real-Time Software.	WORDS Fall	2003	DBLP DOI BibTeX RDF
23	Reinhard Wilhelm	Run-Time Guarantees for Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
23	Xianfeng Li, Tulika Mitra, Abhik Roychoudhury	Accurate timing analysis by modeling caches, speculation and their interaction.	DAC	2003	DBLP DOI BibTeX RDF	cache, worst case execution time, branch prediction
23	Christopher A. Healy, David B. Whalley	Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	best-case execution time, branch constraints, Real-time systems, timing analysis, worst-case execution time, infeasible paths