Search results for "WCET"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou	WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.	VECoS	2017	DBLP DOI BibTeX RDF
17	Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner	Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity.	DASC/PiCom/DataCom/CyberSciTech	2017	DBLP DOI BibTeX RDF
17	Yijie Huangfu, Wei Zhang 0002	WCET analysis of the shared data cache in integrated CPU-GPU architectures.	HPEC	2017	DBLP DOI BibTeX RDF
17	Yooseong Kim	WCET-Aware Scratchpad Memory Management for Hard Real-Time Systems.		2017	RDF
17	Michael Zolda, Raimund Kirner	Calculating WCET estimates from timed traces.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
17	Morteza Mohajjel Kafshdooz, Mohammadkazem Taram, Sepehr Assadi, Alireza Ejlali	A Compile-Time Optimization Method for WCET Reduction in Real-Time Embedded Systems through Block Formation.	ACM Trans. Archit. Code Optim.	2016	DBLP DOI BibTeX RDF
17	Marvin Damschen, Lars Bauer, Jörg Henkel	Extending the WCET Problem to Optimize for Runtime-Reconfigurable Processors.	ACM Trans. Archit. Code Optim.	2016	DBLP DOI BibTeX RDF
17	Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton	Hierarchical timed abstract state machines for WCET estimation.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
17	Guochang Zhou, Baolong Guo, Xiang Gao, Jian Wang, Yunyi Yan	基于分布函数的WCET快速估计 (Fast Estimation of WCET Based on Distribution Function).	计算机科学	2016	DBLP DOI BibTeX RDF
17	Fanqi Meng, Xiaohong Su, Zhaoyang Qu	Nonlinear approach for estimating WCET during programming phase.	Clust. Comput.	2016	DBLP DOI BibTeX RDF
17	Ravindra Metta, Martin Becker 0001, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh 0001	TIC: a scalable model checking based approach to WCET estimation.	LCTES	2016	DBLP DOI BibTeX RDF
17	Michael Jacobs 0002, Sebastian Hahn 0001, Sebastian Hack	A Framework for the Derivation of WCET Analyses for Multi-core Processors.	ECRTS	2016	DBLP DOI BibTeX RDF
17	Niklas Krafczyk, Heinz Riener, Görschwin Fey	WCET overapproximation for software in the context of a Cyber-Physical System.	VLSI-SoC	2016	DBLP DOI BibTeX RDF
17	Damien Hardy, Isabelle Puaut, Yiannakis Sazeides	Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults.	DATE	2016	DBLP BibTeX RDF
17	Xuesong Su, Hui Wu 0001, Qing Yang 0001	An Efficient WCET-Aware Hybrid Global Branch Prediction Approach.	RTCSA	2016	DBLP DOI BibTeX RDF
17	Thomas Sewell, Felix Kam, Gernot Heiser	Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.	RTAS	2016	DBLP DOI BibTeX RDF
17	Bingbing Fang, Guoqiang Li 0001, Daniel Sun 0004, Hongming Cai	Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.	SETTA	2016	DBLP DOI BibTeX RDF
17	Natasa Sukur, Nemanja Milosevic, Sasa Pesic, Jozef Kolek, Gordana Rakic, Zoran Budimac	First Results of WCET Estimation in SSQSA Framework.	SQAMIA	2016	DBLP BibTeX RDF
17	Michael Mendler, Partha S. Roop, Bruno Bodin	A Novel WCET Semantics of Synchronous Programs.	FORMATS	2016	DBLP DOI BibTeX RDF
17	Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella 0001, Francisco J. Cazorla	A confidence assessment of WCET estimates for software time randomized caches.	INDIN	2016	DBLP DOI BibTeX RDF
17	Zhu Wang, Zonghua Gu 0001, Zili Shao	WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems.	IEEE Trans. Very Large Scale Integr. Syst.	2015	DBLP DOI BibTeX RDF
17	Bojan Nokovic, Emil Sekerinski	Model-based WCET Analysis with Invariants.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2015	DBLP DOI BibTeX RDF
17	Yazhi Huang, Mengying Zhao, Chun Jason Xue	Joint WCET and Update Activity Minimization for Cyber-Physical Systems.	ACM Trans. Embed. Comput. Syst.	2015	DBLP DOI BibTeX RDF
17	Wenguang Zheng, Hui Wu 0001	WCET-Aware Dynamic D-cache Locking for A Single Task.	LCTES	2015	DBLP DOI BibTeX RDF
17	Michael Jacobs 0002, Sebastian Hahn 0001, Sebastian Hack	WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.	RTNS	2015	DBLP DOI BibTeX RDF
17	Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer	WCET analysis in shared resources real-time systems with TDMA buses.	RTNS	2015	DBLP DOI BibTeX RDF
17	Renato Mancuso 0001, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha, Heechul Yun	WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence.	ECRTS	2015	DBLP DOI BibTeX RDF
17	Wolfgang Puffitsch	Persistence-based branch misprediction bounds for WCET analysis.	SAC	2015	DBLP DOI BibTeX RDF
17	Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho	Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures.	DSD	2015	DBLP DOI BibTeX RDF
17	Arno Luppold, Heiko Falk	Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
17	Jaume Abella 0001, Carles Hernández 0001, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez 0001, Enrico Mezzetti, Tullio Vardanega	WCET analysis methods: Pitfalls and challenges on their trustworthiness.	SIES	2015	DBLP DOI BibTeX RDF
17	Hanbing Li, Isabelle Puaut, Erven Rohou	Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization.	RTCSA	2015	DBLP DOI BibTeX RDF
17	Vincent Mussot, Pascal Sotin	Improving WCET Analysis Precision through Automata Product.	RTCSA	2015	DBLP DOI BibTeX RDF
17	Fuyang Li, Mengying Zhao, Chun Jason Xue	C3: Cooperative Code Positioning and Cache Locking for WCET Minimization.	RTCSA	2015	DBLP DOI BibTeX RDF
17	Zhenkai Zhang, Xenofon D. Koutsoukos	Precise Multi-level Inclusive Cache Analysis for WCET Estimation.	RTSS	2015	DBLP DOI BibTeX RDF
17	Zhenkai Zhang, Xenofon D. Koutsoukos	Top-down and bottom-up multi-level cache analysis for WCET estimation.	RTAS	2015	DBLP DOI BibTeX RDF
17	Yaroub Elloumi, Mohamed Akil, Mohamed Hedi Bedoui	WCET nested-loop minimization in terms of instruction-level-parallelism.	HPCS	2015	DBLP DOI BibTeX RDF
17	Karila Palma Silva, Renan Augusto Starke, Rômulo Silva de Oliveira	Value analysis for the determination of memory instruction latency in a WCET tool.	INDIN	2015	DBLP DOI BibTeX RDF
17	Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig	Case study: Performance and WCET analysis for parallelised avionic applications with ODC2.	INDIN	2015	DBLP DOI BibTeX RDF
17	Zhi-Hua Gan, Zhi-Min Gu	WCET-Aware Task Assignment and Cache Partitioning for WCRT Minimization on Multi-core Systems.	PAAP	2015	DBLP DOI BibTeX RDF
17	Emilio Wuerges	WCET-aware prefetching of unlocked instruction caches.		2015	RDF
17	Timon Kelter	WCET analysis and optimization for multi-core real-time systems.		2015	RDF
17	Mohamed Abdel Maksoud	Processor pipelines in WCET analysis.		2015	RDF
17	Zonghua Gu 0001, Chao Wang 0097, Ming Zhang 0018, Zhaohui Wu 0001	WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems.	IEEE Trans. Ind. Electron.	2014	DBLP DOI BibTeX RDF
17	Yazhi Huang, Liang Shi, Jianhua Li 0003, Qing'an Li, Chun Jason Xue	WCET-Aware Re-Scheduling Register Allocation for Real-Time Embedded Systems With Clustered VLIW Architecture.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
17	Peter Munk, Jan Richling	Migration-aware WCET estimation for heterogeneous multi-cores.	SIGBED Rev.	2014	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 multicore platforms.	ACM Trans. Embed. Comput. Syst.	2014	DBLP DOI BibTeX RDF
17	Nan Guan, Mingsong Lv, Wang Yi 0001, Ge Yu 0001	WCET analysis with MRU cache: Challenging LRU for predictability.	ACM Trans. Embed. Comput. Syst.	2014	DBLP DOI BibTeX RDF
17	Stefan Metzlaff, Theo Ungerer	A comparison of instruction memories from the WCET perspective.	J. Syst. Archit.	2014	DBLP DOI BibTeX RDF
17	Wenguang Zheng, Hui Wu 0001	WCET: aware dynamic instruction cache locking.	LCTES	2014	DBLP DOI BibTeX RDF
17	Jack Whitham, Martin Schoeberl	WCET-Based Comparison of an Instruction Scratchpad and a Method Cache.	ISORC	2014	DBLP DOI BibTeX RDF
17	Timon Kelter, Hendrik Borghorst, Peter Marwedel	WCET-aware scheduling optimizations for multi-core real-time systems.	ICSAMOS	2014	DBLP DOI BibTeX RDF
17	Jamie Garside, Neil C. Audsley	WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems.	RTNS	2014	DBLP DOI BibTeX RDF
17	Hanbing Li, Isabelle Puaut, Erven Rohou	Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation.	RTNS	2014	DBLP DOI BibTeX RDF
17	Hardik Shah, Kai Huang 0001, Alois C. Knoll	The Priority Division Arbiter for low WCET and high Resource Utilization in Multi-core Architectures.	RTNS	2014	DBLP DOI BibTeX RDF
17	Hardik Shah, Andrew Coombes, Andreas Raabe, Kai Huang 0001, Alois C. Knoll	Measurement based WCET Analysis for Multi-core Architectures.	RTNS	2014	DBLP DOI BibTeX RDF
17	Mohamed Abdel Maksoud, Jan Reineke 0001	A Compiler Optimization to Increase the Efficiency of WCET Analysis.	RTNS	2014	DBLP DOI BibTeX RDF
17	Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez	Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.	RTNS	2014	DBLP DOI BibTeX RDF
17	Kostiantyn Berezovskyi, Luca Santinelli, Konstantinos Bletsas, Eduardo Tovar	WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels.	RTNS	2014	DBLP DOI BibTeX RDF
17	Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt 0007	Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement.	ECRTS	2014	DBLP DOI BibTeX RDF
17	Jaume Abella 0001, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla	On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques.	ECRTS	2014	DBLP DOI BibTeX RDF
17	Jan Nowotsch, Michael Paulitsch, Arne Henrichsen, Werner Pongratz, Andreas Schacht	Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems.	DATE	2014	DBLP DOI BibTeX RDF
17	Huping Ding, Yun Liang 0001, Tulika Mitra	WCET-Centric dynamic instruction cache locking.	DATE	2014	DBLP DOI BibTeX RDF
17	Alexander Jordan	Evaluating and estimating the WCET criticality metric.	ODES@CGO	2014	DBLP DOI BibTeX RDF
17	Timon Kelter, Peter Marwedel	Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems.	FTSCS	2014	DBLP DOI BibTeX RDF
17	Björn Lisper	SWEET - A Tool for WCET Flow Analysis (Extended Abstract).	ISoLA (2)	2014	DBLP DOI BibTeX RDF
17	José Luis March, Salvador Petit, Julio Sahuquillo, Houcine Hassan, José Duato	Dynamic WCET Estimation for Real-Time Multicore Embedded Systems Supporting DVFS.	HPCC/CSS/ICESS	2014	DBLP DOI BibTeX RDF
17	Yiqiang Ding, Wei Zhang 0002	WCET analysis of static NUCA caches.	IPCCC	2014	DBLP DOI BibTeX RDF
17	Haluk Ozaktas, Christine Rochange, Pascal Sainrat	Minimizing the cost of synchronisations in the WCET of real-time parallel programs.	SCOPES	2014	DBLP DOI BibTeX RDF
17	Chen-Wei Huang, Timon Kelter, Bjoern Boenninghoff, Jan C. Kleinsorge, Michael Engel, Peter Marwedel, Shiao-Li Tsao	Static WCET analysis of the H.264/AVC decoder exploiting coding information.	RTCSA	2014	DBLP DOI BibTeX RDF
17	Yooseong Kim, David Broman, Jian Cai 0001, Aviral Shrivastava	WCET-aware dynamic code management on scratchpads for Software-Managed Multicores.	RTAS	2014	DBLP DOI BibTeX RDF
17	Vladimir-Alexandru Paun	Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems. (Détermination des pire-temps d'exécution (WCET) pour des plateformes embarquées par analyse statique).		2014	RDF
17	Rolf Frantz	Where to go for WCET information [Certification Corner].	IEEE Commun. Mag.	2013	DBLP DOI BibTeX RDF
17	Jonghun Yoo, Jaesoo Lee, Seongsoo Hong	Petri Net-Based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation.	IEEE Trans. Computers	2013	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 to industrial code.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
17	Yiqiang Ding, Wei Zhang 0002	Counter-Based Approaches for Efficient WCET Analysis of Multicore Processors with Shared Caches.	J. Comput. Sci. Eng.	2013	DBLP DOI BibTeX RDF
17	Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan	Epipe: A low-cost fault-tolerance technique considering WCET constraints.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
17	Ruben Gran Tejero, Juan Segarra, Clemente Rodríguez, Luis C. Aparicio, Víctor Viñals	Optimizing a combined WCET-WCEC problem in instruction fetching for real-time systems.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
17	Benedikt Huber, Daniel Prokesch, Peter P. Puschner	Combined WCET analysis of bitcode and machine code using control-flow relation graphs.	LCTES	2013	DBLP DOI BibTeX RDF
17	Sandrine Blazy, André Maroneze, David Pichardie	Formal Verification of Loop Bound Estimation for WCET Analysis.	VSTTE	2013	DBLP DOI BibTeX RDF
17	Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard	The T-CREST approach of compiler and WCET-analysis integration.	ISORC	2013	DBLP DOI BibTeX RDF
17	Adam Betts, Alastair F. Donaldson	Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis.	ECRTS	2013	DBLP DOI BibTeX RDF
17	Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi 0001	FIFO cache analysis for WCET estimation: a quantitative approach.	DATE	2013	DBLP DOI BibTeX RDF
17	Yazhi Huang, Mengying Zhao, Chun Jason Xue	WUCC: Joint WCET and Update Conscious Compilation for cyber-physical systems.	ASP-DAC	2013	DBLP DOI BibTeX RDF
17	Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange	Hardware architecture specification and constraint-based WCET computation.	SIES	2013	DBLP DOI BibTeX RDF
17	Mihail Asavoae, Irina Mariuca Asavoae	On the Modular Integration of Abstract Semantics for WCET Analysis.	FOPARA	2013	DBLP DOI BibTeX RDF
17	Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury	Precise micro-architectural modeling for WCET analysis via AI+SAT.	IEEE Real-Time and Embedded Technology and Applications Symposium	2013	DBLP DOI BibTeX RDF
17	Stefan Bygde	Parametric WCET Analysis.		2013	RDF
17	Hardik Shah, Andreas Raabe, Alois C. Knoll	Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation	CoRR	2012	DBLP BibTeX RDF
17	Yiqiang Ding, Wei Zhang 0002	Multicore-Aware Code Co-Positioning to Reduce WCET on Dual-Core Processors with Shared Instruction Caches.	J. Comput. Sci. Eng.	2012	DBLP DOI BibTeX RDF
17	Yazhi Huang, Mengying Zhao, Chun Jason Xue	WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture.	LCTES	2012	DBLP DOI BibTeX RDF
17	Qing Wan, Hui Wu 0001, Jingling Xue	WCET-aware data selection and allocation for scratchpad memory.	LCTES	2012	DBLP DOI BibTeX RDF
17	Jens Knoop, Laura Kovács, Jakob Zwirchmayr	r-TuBound: Loop Bounds for WCET Analysis (Tool Paper).	LPAR	2012	DBLP DOI BibTeX RDF
17	Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr	FFX: a portable WCET annotation language.	RTNS	2012	DBLP DOI BibTeX RDF
17	Stefan Metzlaff, Theo Ungerer	Replacement Policies for a Function-Based Instruction Memory: A Quantification of the Impact on Hardware Complexity and WCET Estimates.	ECRTS	2012	DBLP DOI BibTeX RDF
17	Hardik Shah, Andreas Raabe, Alois C. Knoll	Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs.	DATE	2012	DBLP DOI BibTeX RDF
17	Sascha Plazar, Jan C. Kleinsorge, Peter Marwedel, Heiko Falk	WCET-aware static locking of instruction caches.	CGO	2012	DBLP DOI BibTeX RDF
17	Raimund Kirner	The WCET Analysis Tool CalcWcet167.	ISoLA (2)	2012	DBLP DOI BibTeX RDF
17	Stefan Metzlaff, Theo Ungerer	Impact of Instruction Cache and Different Instruction Scratchpads on the WCET Estimate.	HPCC-ICESS	2012	DBLP DOI BibTeX RDF
17	Dakshina Dasari, Vincent Nélis	An Analysis of the Impact of Bus Contention on the WCET in Multicores.	HPCC-ICESS	2012	DBLP DOI BibTeX RDF