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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Real-Time Systems ![In: Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., pp. 123-143, 2012, Springer, 978-3-642-24348-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Archana Ravindar, Y. N. Srikant |
Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 165-174, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012, pp. 295-298, 2012, IEEE, 978-1-4673-2685-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2012, Seoul, Korea (South), August 19-22, 2012, pp. 88-97, 2012, IEEE Computer Society, 978-1-4673-3017-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012, pp. 99-108, 2012, IEEE Computer Society, 978-1-4673-0883-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012, pp. 55-64, 2012, IEEE Computer Society, 978-1-4673-0883-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Huping Ding, Yun Liang 0001, Tulika Mitra |
WCET-centric partial instruction cache locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA, June 3-7, 2012, pp. 412-420, 2012, ACM, 978-1-4503-1199-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2012, Beijing, China, December 14-16, 2012, pp. 459-466, 2012, IEEE, 978-0-7695-4879-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stephan Wilhelm |
Symbolic representations in WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
17 | Iain Bate, Usman Khan |
WCET analysis of modern processors using multi-criteria optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 16(1), pp. 5-28, 2011. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 39(3), pp. 11-12, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 71(11), pp. 1473-1483, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Luc Béchennec, Franck Cassez |
Computation of WCET using Program Slicing and Real-Time Model-Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.1633, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 5(2), pp. 131-140, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 41(12), pp. 1437-1458, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Damien Hardy, Isabelle Puaut |
WCET analysis of instruction cache hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(7), pp. 677-694, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(7), pp. 695-706, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Grund, Jan Reineke 0001, Gernot Gebhard |
Branch target buffers: WCET analysis framework and timing predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(6), pp. 625-637, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Bygde, Andreas Ermedahl, Björn Lisper |
An efficient algorithm for parametric WCET calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(6), pp. 614-624, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
Symbolic Loop Bound Computation for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers, pp. 227-242, 2011, Springer, 978-3-642-29708-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson |
Hierarchical Composition of Parametric WCET in a Component Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011, pp. 261-268, 2011, IEEE Computer Society, 978-0-7695-4368-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Amine Marref, Adam Betts |
Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011, pp. 127-135, 2011, IEEE Computer Society, 978-0-7695-4368-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011, pp. 3-12, 2011, IEEE Computer Society, 978-0-7695-4442-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Falk, Norman Schmitz, Florian Schmoll |
WCET-aware Register Allocation Based on Integer-Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011, pp. 13-22, 2011, IEEE Computer Society, 978-0-7695-4442-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann |
Software Structure and WCET Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPES ![In: Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France., pp. 1-10, 2011, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-28-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pascal Montag, Sebastian Altmeyer |
Precise WCET calculation in highly variant real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, pp. 920-925, 2011, IEEE, 978-1-61284-208-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Renan Augusto Starke, Rômulo Silva de Oliveira |
Empirical Study about Using aiT Tool in WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011, pp. 86-89, 2011, IEEE Computer Society, 978-1-4673-0427-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Saeed Parsa, Mehdi Sakhaei-nia |
A New Approach to Determine Number of Loop Iterations for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011, pp. 760-765, 2011, IEEE Computer Society, 978-0-7695-4367-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Franck Cassez |
Timed Games for Computing WCET for Pipelined Processors with Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011, pp. 195-204, 2011, IEEE Computer Society, 978-0-7695-4387-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Duc-Hiep Chu, Joxan Jaffar |
Symbolic simulation on complicated loops for WCET path analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, pp. 319-328, 2011, ACM, 978-1-4503-0714-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on, SIES 2011. Vasteras, Sweden, June 15-17, 2011, pp. 91-94, 2011, IEEE, 978-1-61284-818-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Louise |
Improving Branch Prediction Related WCET Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA (2) ![In: 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, Toyama, Japan, August 28-31, 2011, Volume 2, pp. 130-133, 2011, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011, pp. 30-39, 2011, ACM, 978-1-4503-0731-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011, pp. 227-238, 2011, IEEE Computer Society, 978-1-4577-2000-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Falk, Helena Kotthaus |
WCET-driven cache-aware code positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, pp. 145-154, 2011, ACM, 978-1-4503-0713-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sascha Plazar, Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
WCET-driven branch prediction aware code positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, pp. 165-174, 2011, ACM, 978-1-4503-0713-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Bach Khoa Huynh, Lei Ju 0001, Abhik Roychoudhury |
Scope-Aware Data Cache Analysis for WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2011, Chicago, Illinois, USA, 11-14 April 2011, pp. 203-212, 2011, IEEE Computer Society, 978-0-7695-4344-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Archana Ravindar, Y. N. Srikant |
Relative roles of instruction count and cycles per instruction in WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE ![In: ICPE'11 - Second Joint WOSP/SIPEW International Conference on Performance Engineering, Karlsruhe, Germany, March 14-16, 2011, pp. 55-60, 2011, ACM, 978-1-4503-0519-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011, pp. 1-4, 2011, IEEE, 978-1-4577-0018-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Adam Betts, Amine Marref |
WCET Analysis of Component-Based Systems Using Timing Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 13-22, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sascha Plazar, Paul Lokuciejewski, Peter Marwedel |
WCET-Driven Cache-Aware Memory Content Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, pp. 107-114, 2010, IEEE Computer Society, 978-0-7695-4037-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp. 449-463, 2010, Springer, 978-3-642-16560-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Timon Kelter |
Superblock-basierte Quellcodeoptimierungen zur WCET-Reduktion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Eingebettete Systeme - Echtzeit 2010, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme der Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und der Informationstechnischen Gesellschaft im VDE (ITG), Boppard, 18./19. November 2010, pp. 61-70, 2010, Springer, 978-3-642-16188-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Trevor Harmon, Michael R. Lowry |
N-version programming in WCET analysis: revisiting a discredited idea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSER ![In: Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010, pp. 157-160, 2010, ACM, 978-1-4503-0427-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat |
OTAWA: An Open Toolbox for Adaptive WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings, pp. 35-46, 2010, Springer, 978-3-642-16255-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hui Wu 0001, Jingling Xue, Sridevan Parameswaran |
Optimal WCET-aware code selection for scratchpad memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010, pp. 59-68, 2010, ACM, 978-1-60558-904-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tyler Sondag, Hridesh Rajan |
A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010, pp. 395-404, 2010, IEEE Computer Society, 978-0-7695-4298-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Paul Lokuciejewski |
WCET-fähige Quellcode- und Assembler-Optimierungstechniken für Realzeitsysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2010, pp. 191-200, 2010, GI, 978-3-88579-415-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 39th International Conference on Parallel Processing, ICPP 2010, San Diego, California, USA, 13-16 September 2010, pp. 573-582, 2010, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Paul Lokuciejewski |
WCET-aware source code and assembly level optimization techniques for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
17 | Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska |
Constraint solving for high-level WCET analysis ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2251, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009., pp. 65-72, 2009, IEEE Computer Society, 978-0-7695-3678-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: 12th International Workshop on Software and Compilers for Embedded Systems, SCOPES '09, Nice, France, April 23 - 24, 2009, pp. 11-20, 2009, ACM, 978-1-60558-696-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Stefan Bygde, Andreas Ermedahl, Björn Lisper |
An Efficient Algorithm for Parametric WCET Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, 24-26 August 2009, pp. 13-21, 2009, IEEE Computer Society, 978-0-7695-3787-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Grund, Jan Reineke 0001, Gernot Gebhard |
Branch Target Buffers: WCET Analysis Framework and Timing Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, 24-26 August 2009, pp. 3-12, 2009, IEEE Computer Society, 978-0-7695-3787-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Zhonglei Wang, Andreas Herkersdorf |
Flow Analysis on Intermediate Source Code for WCET Estimation of Compiler-Optimized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, 24-26 August 2009, pp. 22-27, 2009, IEEE Computer Society, 978-0-7695-3787-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA ![In: Ninth International Conference on Intelligent Systems Design and Applications, ISDA 2009, Pisa, Italy , November 30-December 2, 2009, pp. 67-72, 2009, IEEE Computer Society, 978-0-7695-3872-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009, pp. 68-77, 2009, IEEE Computer Society, 978-0-7695-3875-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Sudipta Chattopadhyay 0001, Abhik Roychoudhury |
Unified Cache Modeling for WCET Analysis and Layout Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009, pp. 47-56, 2009, IEEE Computer Society, 978-0-7695-3875-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mark Bartlett, Iain Bate, Dimitar Kazakov |
Guaranteed Loop Bound Identification from Program Traces for WCET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009, pp. 287-294, 2009, IEEE Computer Society, 978-0-7695-3636-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Björn Lisper, Marcelo Santos |
Model Identification for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009, pp. 55-64, 2009, IEEE Computer Society, 978-0-7695-3636-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009, pp. 35-44, 2009, IEEE Computer Society, 978-0-7695-3636-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jan Reineke 0001 |
Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
17 | Damien Hardy, Isabelle Puaut |
WCET analysis of multi-level set-associative instruction caches ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0807.0993, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Sven Bünte, Michael Tautschnig |
A Benchmarking Suite for Measurement-Based WCET Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, pp. 353-356, 2008, IEEE Computer Society, 978-0-7695-3388-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Martin Däumler, Robert Baumgartl, Matthias Werner 0001 |
WCET-Analyseverfahren in der automobilen Softwareentwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Aktuelle Anwendungen in Technik und Wirtschaft - Echtzeit 2008, Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time), Boppard, 27. und 28. November 2008, pp. 111-120, 2008, Springer, 978-3-540-85323-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008, St. Julien's, Malta, August 31 2008-September 3, 2008, pp. 410-413, 2008, IEEE, 978-1-4244-2181-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Damien Hardy, Isabelle Puaut |
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008, pp. 456-466, 2008, IEEE Computer Society, 978-0-7695-3477-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (1) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume I, pp. 104-111, 2008, IEEE Computer Society, 978-0-7695-3492-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Adam Betts |
Hybrid measurement-based WCET analysis using instrumentation point graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
17 | Peter Szulman |
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA@ETAPS ![In: Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007, pp. 71-85, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 388(1-3), pp. 26-52, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jun Yan 0008, Wei Zhang 0002 |
WCET analysis of instruction caches with prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 175-184, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, pp. 41-48, 2007, Cépaduès-Éditions, 978-2-85428-814-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Rathijit Sen, Y. N. Srikant |
WCET estimation for executables in the presence of data caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 203-212, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA, pp. 15-26, 2007, Springer, 978-0-387-72257-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat |
Modeling Instruction-Level Parallelism for WCET Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 61-67, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Martin Schoeberl, Rasmus Ulslev Pedersen |
WCET analysis for a Java processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, JTRES '06, Paris, France, October 11-13, 2006, pp. 202-211, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Mengluo Ji, Ji Wang 0001, Shuhao Li, Zhi-Chang Qi |
Automated WCET Analysis Based on Program Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006., pp. 36-42, 2006, ACM, 1-59593-408-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 2(3), pp. 25-29, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Metzner |
Why Model Checking Can Improve WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 334-347, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Guowei Wu, Lin Yao 0001 |
A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 557-562, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Charles Cavanaugh |
On Static WCET Analysis vs. Run-Time Monitoring of Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Stephan Thesing |
Safe and precise WCET determination by abstract interpretation of pipeline models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 91(7), pp. 1038-1054, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jörn Schneider |
Combined schedulability and WCET analysis for real-time operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Thomas Lundqvist |
A WCET Analysis Method for Pipelined Microprocessors with Cache Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
17 | Hassan Aljifri, Alexander Perez-Pons, Moiez A. Tapia |
The Estimation of the WCET in Super-Scalar Real-Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 4(2), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Frank P. Burns, Albert Koelmans, Alexandre Yakovlev |
WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 18(2/3), pp. 275-288, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm |
Fast and Precise WCET Prediction by Separated Cache and Path Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 18(2/3), pp. 157-179, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jack Whitham, Neil C. Audsley |
Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010, pp. 165-174, 2010, IEEE Computer Society, 978-0-7695-4111-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 357-366, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 329-338, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 319-328, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
prefetch, WCET, instruction cache |
17 | Jack Whitham, Neil C. Audsley |
Studying the Applicability of the Scratchpad Memory Management Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010, pp. 205-214, 2010, IEEE Computer Society, 978-0-7695-4001-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009, pp. 45-54, 2009, IEEE Computer Society, 978-0-7695-3724-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009, pp. 136-146, 2009, IEEE Computer Society, 978-0-7695-3576-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 51-60, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2008, Annapolis, MD, USA, June 2-6, 2008, pp. 431-432, 2008, ACM, 978-1-60558-005-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 37-42, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
WCET, message sequence chart, scratchpad memory |