Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 64-78, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/DataCom/CyberSciTech ![In: 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, pp. 454-461, 2017, IEEE Computer Society, 978-1-5386-1956-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yijie Huangfu, Wei Zhang 0002 |
WCET analysis of the shared data cache in integrated CPU-GPU architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPEC ![In: 2017 IEEE High Performance Extreme Computing Conference, HPEC 2017, Waltham, MA, USA, September 12-14, 2017, pp. 1-7, 2017, IEEE, 978-1-5386-3472-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yooseong Kim |
WCET-Aware Scratchpad Memory Management for Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
17 | Michael Zolda, Raimund Kirner |
Calculating WCET estimates from timed traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 52(1), pp. 38-87, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 12(4), pp. 66:1-66:25, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Marvin Damschen, Lars Bauer, Jörg Henkel |
Extending the WCET Problem to Optimize for Runtime-Reconfigurable Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 13(4), pp. 45:1-45:24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
Hierarchical timed abstract state machines for WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 6(4), pp. 343-363, 2016. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(5), pp. 157-161, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Fanqi Meng, Xiaohong Su, Zhaoyang Qu |
Nonlinear approach for estimating WCET during programming phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 19(3), pp. 1449-1459, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, LCTES 2016, Santa Barbara, CA, USA, June 13 - 14, 2016, pp. 72-81, 2016, ACM, 978-1-4503-4316-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, Toulouse, France, July 5-8, 2016, pp. 141-151, 2016, IEEE Computer Society, 978-1-5090-2811-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-3561-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, pp. 91-96, 2016, IEEE, 978-3-9815-3707-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Xuesong Su, Hui Wu 0001, Qing Yang 0001 |
An Efficient WCET-Aware Hybrid Global Branch Prediction Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016, Daegu, South Korea, August 17-19, 2016, pp. 195-201, 2016, IEEE Computer Society, 978-1-5090-2479-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016, pp. 185-195, 2016, IEEE Computer Society, 978-1-4673-8639-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, pp. 147-162, 2016, 978-3-319-47676-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SQAMIA ![In: Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Budapest, Hungary, August 29-31, 2016., pp. 81-87, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Michael Mendler, Partha S. Roop, Bruno Bodin |
A Novel WCET Semantics of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 195-210, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016, pp. 90-97, 2016, IEEE, 978-1-5090-2870-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 23(11), pp. 2700-2704, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Bojan Nokovic, Emil Sekerinski |
Model-based WCET Analysis with Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Mengying Zhao, Chun Jason Xue |
Joint WCET and Update Activity Minimization for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 14(1), pp. 6:1-6:21, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wenguang Zheng, Hui Wu 0001 |
WCET-Aware Dynamic D-cache Locking for A Single Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015, pp. 8:1-8:10, 2015, ACM, 978-1-4503-3257-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015, pp. 193-202, 2015, ACM, 978-1-4503-3591-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015, pp. 183-192, 2015, ACM, 978-1-4503-3591-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 27th Euromicro Conference on Real-Time Systems, ECRTS 2015, Lund, Sweden, July 8-10, 2015, pp. 174-183, 2015, IEEE Computer Society, 978-1-4673-7570-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Puffitsch |
Persistence-based branch misprediction bounds for WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1898-1905, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2015 Euromicro Conference on Digital System Design, DSD 2015, Madeira, Portugal, August 26-28, 2015, pp. 748-755, 2015, IEEE Computer Society, 978-1-4673-8035-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Arno Luppold, Heiko Falk |
Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015, pp. 101-104, 2015, ACM, 978-1-4503-3593-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015, pp. 39-48, 2015, IEEE, 978-1-4673-7711-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hanbing Li, Isabelle Puaut, Erven Rohou |
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 217-226, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Mussot, Pascal Sotin |
Improving WCET Analysis Precision through Automata Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 207-216, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Fuyang Li, Mengying Zhao, Chun Jason Xue |
C3: Cooperative Code Positioning and Cache Locking for WCET Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 51-59, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Precise Multi-level Inclusive Cache Analysis for WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, pp. 350-360, 2015, IEEE Computer Society, 978-1-4673-9507-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Top-down and bottom-up multi-level cache analysis for WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 21st IEEE Real-Time and Embedded Technology and Applications Symposium, Seattle, WA, USA, April 13-16, 2015, pp. 24-36, 2015, IEEE Computer Society, 978-1-4799-8603-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yaroub Elloumi, Mohamed Akil, Mohamed Hedi Bedoui |
WCET nested-loop minimization in terms of instruction-level-parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 2015 International Conference on High Performance Computing & Simulation, HPCS 2015, Amsterdam, Netherlands, July 20-24, 2015, pp. 386-393, 2015, IEEE, 978-1-4673-7812-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, pp. 252-257, 2015, IEEE, 978-1-4799-6649-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, pp. 1400-1407, 2015, IEEE, 978-1-4799-6649-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAP ![In: Seventh International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2015, Nanjing, China, December 12-14, 2015, pp. 143-148, 2015, IEEE Computer Society, 978-1-4673-9117-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Emilio Wuerges |
WCET-aware prefetching of unlocked instruction caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Timon Kelter |
WCET analysis and optimization for multi-core real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Mohamed Abdel Maksoud |
Processor pipelines in WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 61(10), pp. 5652-5661, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 22(1), pp. 168-180, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Peter Munk, Jan Richling |
Migration-aware WCET estimation for heterogeneous multi-cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 11(3), pp. 22-25, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(4s), pp. 124:1-124:29, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(4s), pp. 123:1-123:26, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Metzlaff, Theo Ungerer |
A comparison of instruction memories from the WCET perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 60(5), pp. 452-466, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Wenguang Zheng, Hui Wu 0001 |
WCET: aware dynamic instruction cache locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014, pp. 53-62, 2014, ACM, 978-1-4503-2877-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jack Whitham, Martin Schoeberl |
WCET-Based Comparison of an Instruction Scratchpad and a Method Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014, Reno, NV, USA, June 10-12, 2014, pp. 301-308, 2014, IEEE Computer Society, 978-1-4799-4430-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Timon Kelter, Hendrik Borghorst, Peter Marwedel |
WCET-aware scheduling optimizations for multi-core real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAMOS ![In: XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014, pp. 67-74, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jamie Garside, Neil C. Audsley |
WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 193, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hanbing Li, Isabelle Puaut, Erven Rohou |
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 97, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 247, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 257, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Abdel Maksoud, Jan Reineke 0001 |
A Compiler Optimization to Increase the Efficiency of WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 87, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 139, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pp. 279, 2014, ACM, 978-1-4503-2727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014, pp. 109-118, 2014, IEEE Computer Society, 978-1-4799-5798-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014, pp. 266-275, 2014, IEEE Computer Society, 978-1-4799-5798-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-5, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Huping Ding, Yun Liang 0001, Tulika Mitra |
WCET-Centric dynamic instruction cache locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-6, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Jordan |
Evaluating and estimating the WCET criticality metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ODES@CGO ![In: Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems, ODES@CGO 2014, Orlando, Florida, USA, February 15, 2014, pp. 11-18, 2014, ACM, 978-1-4503-2595-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Timon Kelter, Peter Marwedel |
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 142-158, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Björn Lisper |
SWEET - A Tool for WCET Flow Analysis (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, pp. 482-485, 2014, Springer, 978-3-662-45230-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/CSS/ICESS ![In: 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2014, Paris, France, August 20-22, 2014, pp. 27-33, 2014, IEEE, 978-1-4799-6123-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yiqiang Ding, Wei Zhang 0002 |
WCET analysis of static NUCA caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: IEEE 33rd International Performance Computing and Communications Conference, IPCCC 2014, Austin, TX, USA, December 5-7, 2014, pp. 1-6, 2014, IEEE Computer Society, 978-1-4799-7575-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES '14, Sankt Goar, Germany, June 10-11, 2014, pp. 98-107, 2014, ACM, 978-1-4503-2941-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014, pp. 1-7, 2014, IEEE Computer Society, 978-1-4799-3953-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, April 15-17, 2014, pp. 179-188, 2014, IEEE Computer Society, 978-1-4799-4691-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
17 | Rolf Frantz |
Where to go for WCET information [Certification Corner]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 51(5), pp. 10-11, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(11), pp. 2238-2251, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 15(1), pp. 53-63, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yiqiang Ding, Wei Zhang 0002 |
Counter-Based Approaches for Efficient WCET Analysis of Multicore Processors with Shared Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 7(4), pp. 285-299, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 59(10-D), pp. 1383-1393, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 59(9), pp. 667-678, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013, pp. 163-172, 2013, ACM, 978-1-4503-2085-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sandrine Blazy, André Maroneze, David Pichardie |
Formal Verification of Loop Bound Estimation for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, pp. 281-303, 2013, Springer, 978-3-642-54107-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, pp. 1-8, 2013, IEEE Computer Society, 978-1-4799-2111-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Adam Betts, Alastair F. Donaldson |
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013, pp. 193-202, 2013, IEEE Computer Society, 978-0-7695-5054-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi 0001 |
FIFO cache analysis for WCET estimation: a quantitative approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 296-301, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yazhi Huang, Mengying Zhao, Chun Jason Xue |
WUCC: Joint WCET and Update Conscious Compilation for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013, pp. 65-70, 2013, IEEE, 978-1-4673-3029-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange |
Hardware architecture specification and constraint-based WCET computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013, pp. 259-268, 2013, IEEE, 978-1-4799-0658-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mihail Asavoae, Irina Mariuca Asavoae |
On the Modular Integration of Abstract Semantics for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 19-37, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury |
Precise micro-architectural modeling for WCET analysis via AI+SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013, pp. 87-96, 2013, IEEE Computer Society, 978-1-4799-0186-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Bygde |
Parametric WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
17 | Hardik Shah, Andreas Raabe, Alois C. Knoll |
Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.1187, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 6(1), pp. 12-25, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012, pp. 31-40, 2012, ACM, 978-1-4503-1212-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Qing Wan, Hui Wu 0001, Jingling Xue |
WCET-aware data selection and allocation for scratchpad memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012, pp. 41-50, 2012, ACM, 978-1-4503-1212-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings, pp. 435-444, 2012, Springer, 978-3-642-28716-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTNS ![In: 20th International Conference on Real-Time and Network Systems, RTNS '12, Pont a Mousson, France - November 08 - 09, 2012, pp. 91-100, 2012, ACM, 978-1-4503-1409-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012, pp. 112-121, 2012, IEEE Computer Society, 978-1-4673-2032-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, pp. 665-670, 2012, IEEE, 978-1-4577-2145-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sascha Plazar, Jan C. Kleinsorge, Peter Marwedel, Heiko Falk |
WCET-aware static locking of instruction caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2012, San Jose, CA, USA, March 31 - April 04, 2012, pp. 44-52, 2012, ACM, 978-1-4503-1206-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Raimund Kirner |
The WCET Analysis Tool CalcWcet167. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp. 158-172, 2012, Springer, 978-3-642-34031-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Metzlaff, Theo Ungerer |
Impact of Instruction Cache and Different Instruction Scratchpads on the WCET Estimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC-ICESS ![In: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 1442-1449, 2012, IEEE Computer Society, 978-1-4673-2164-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dakshina Dasari, Vincent Nélis |
An Analysis of the Impact of Bus Contention on the WCET in Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC-ICESS ![In: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 1450-1457, 2012, IEEE Computer Society, 978-1-4673-2164-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|