|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 385 occurrences of 171 keywords
|
|
|
Results
Found 763 publication records. Showing 763 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
143 | Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson |
Worst-case execution-time analysis for embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 437-455, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Embedded systems, Software architecture, Hard real-time, WCET analysis, Programming tools |
137 | Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by applying a WC code-positioning optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 2(4), pp. 335-365, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
code positioning, embedded systems, WCET |
120 | Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling |
Influence of procedure cloning on WCET prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 137-142, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WCET minimization, context-sensitive WCET-analysis, compiler optimizations |
114 | Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg |
FAST: Frequency-aware static timing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(1), pp. 200-224, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
scheduling, Real-time systems, dynamic voltage scaling, worst-case execution time analysis |
114 | Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg |
FAST: Frequency-Aware Static Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 40-51, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
114 | Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom |
Clustered Worst-Case Execution-Time Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(9), pp. 1104-1122, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
WCET calculation, embedded systems, hard real-time, WCET analysis |
114 | Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom |
Clustered calculation of worst-case execution times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2003, San Jose, California, USA, October 30 - November 1, 2003, pp. 51-62, 2003, ACM, 1-58113-676-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
WCET calculation, embedded systems, hard real-time, WCET analysis |
109 | Wankang Zhao, Prasad A. Kulkarni, David B. Whalley, Christopher A. Healy, Frank Mueller 0001, Gang-Ryung Uh |
Tuning the WCET of Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, pp. 472-481, 2004, IEEE Computer Society, 0-7695-2148-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
103 | Wankang Zhao, William C. Kreahling, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by applying worst-case path optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 34(2), pp. 129-152, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Path-based optimizations, Embedded systems, WCET |
103 | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings, pp. 411-424, 2003, Springer, 3-540-20494-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java |
97 | Jan Gustafsson |
Usability Aspects of WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 346-352, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
97 | Heiko Falk, Paul Lokuciejewski, Henrik Theiling |
Design of a WCET-Aware C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 2006 4th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2006, October 26-27, 2006, Seoul, Korea, conjunction with CODES+ISSS 2006, pp. 121-126, 2006, IEEE Computer Society, 0-7803-9783-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
97 | Peter P. Puschner, Guillem Bernat |
WCET Analysis of Reusable Portable Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 45-, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
97 | Jack Whitham, Neil C. Audsley |
Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 305-316, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wcet, reduction, trace, hard real-time, scratchpads |
97 | Heiko Falk, Sascha Plazar, Henrik Theiling |
Compile-time decided instruction cache locking using worst-case execution paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 143-148, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WC-path, cache locking, optimization, WCET |
97 | Sung-Kwan Kim, Sang Lyul Min, Rhan Ha |
Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pp. 22-31, 1999, IEEE Computer Society, 0-7695-0475-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, WCET analysis |
92 | Heiko Falk |
WCET-aware register allocation based on graph coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 726-731, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
register allocation, WCET |
91 | Jan Gustafsson |
The Worst Case Execution Time Tool Challenge 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 233-240, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
89 | Jan Gustafsson |
WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
86 | Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling |
WCET-driven, code-size critical procedure cloning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 11th International Workshop on Software and Compilers for Embedded Systems, Munich, Germany, March 13-14, 2008, pp. 21-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Luis C. Aparicio, Juan Segarra, Clemente Rodríguez, J. L. Villarroel, Víctor Viñals |
Avoiding the WCET Overestimation on LRU Instruction Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings, pp. 393-398, 2008, IEEE Computer Society, 978-0-7695-3349-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz |
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 212-219, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
86 | Raimund Kirner, Peter P. Puschner |
Classification of WCET Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 190-199, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Classification, Execution Times, Worst-Case Execution Time Analysis, Generic Framework |
86 | Wankang Zhao, William C. Kreahling, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
Improving WCET by Optimizing Worst-Case Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 138-147, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
80 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling out-of-order processors for WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 34(3), pp. 195-227, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache |
80 | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 625-632, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl |
WCET driven design space exploration of an object cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 26-35, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper |
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil, pp. 57-66, 2006, IEEE Computer Society, 0-7695-2761-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Applying Static WCET Analysis to Automotive Communication Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings, pp. 249-258, 2005, IEEE Computer Society, 0-7695-2400-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Jakob Engblom, Bengt Jonsson 0001 |
Processor Pipelines and Their Properties for Static WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 334-348, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
74 | Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings |
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 109-118, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Object-Oriented WCET, Java, Hard Real-Time Systems, Real-Time Java, Dynamic Dispatching |
74 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra 0001, Xu Cheng 0001 |
A Retargetable Software Timing Analyzer Using Architecture Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 396-401, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis |
72 | Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke 0001, Christine Rochange |
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden, pp. 65-74, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-95-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan |
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008, 2008, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
72 | Raimund Kirner |
WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008, 2008, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
72 | Christine Rochange |
WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Frank Mueller 0001 |
2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
72 | Frank Mueller 0001 |
2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
72 | Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin |
Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1, 2003, pp. 95-98, 2003, Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
69 | Huizhan Yi, Juan Chen 0001, Xuejun Yang |
Static WCET Analysis Based Compiler-Directed DVS Energy Optimization in Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings, pp. 123-136, 2006, Springer, 3-540-40056-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Real-time, Low-power, Compiler, WCET |
69 | Paul Lokuciejewski, Peter Marwedel |
Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009, pp. 35-44, 2009, IEEE Computer Society, 978-0-7695-3724-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
WCET minimization, WCET-driven optimizations, High-Level Optimizations, compiler, WCET |
69 | Trevor Harmon, Raymond Klefstad |
A Survey of Worst-Case Execution Time Analysis for Real-Time Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Static Timing Analysis of Real-Time Operating System Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 146-160, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Peter P. Puschner, Alan Burns 0001 |
Writing Temporally Predictable Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA, pp. 85-94, 2002, IEEE Computer Society, 0-7695-1576-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Predictability, Computer Architectures, Programming Paradigms, Worst-Case Execution-Time Analysis |
69 | Matteo Corti 0002, Roberto Brega, Thomas R. Gross |
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings, pp. 178-198, 2000, Springer, 3-540-41781-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
69 | Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe |
Performance estimation of embedded software with instruction cache modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 4(3), pp. 257-279, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
63 | Marc Schlickling, Markus Pister 0002 |
Semi-automatic derivation of timing models for WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 67-76, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
vhdl, worst-case execution time, hard real-time |
63 | Mingsong Lv, Nan Guan, Yi Zhang 0056, Rui Chen, Qingxu Deng, Ge Yu 0001, Wang Yi 0001 |
WCET Analysis of the mC/OS-II Real-Time Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 270-276, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Paul Lokuciejewski, Heiko Falk, Peter Marwedel |
WCET-driven Cache-based Procedure Positioning Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 20th Euromicro Conference on Real-Time Systems, ECRTS 2008, 2-4 July 2008, Prague, Czech Republic, Proceedings, pp. 321-330, 2008, IEEE Computer Society, 978-0-7695-3298-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Faster WCET flow analysis by program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 103-112, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hard real time, worst-case execution time analysis |
63 | François Bodin, Isabelle Puaut |
A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings, pp. 33-40, 2005, IEEE Computer Society, 0-7695-2400-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller 0001 |
WCET Code Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 81-91, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Antoine Colin, Stefan M. Petters |
Experimental Evaluation of Code Properties for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 190-199, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Antoine Colin, Isabelle Puaut |
A Modular & Retargetable Framework for Tree-Based WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 37-44, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
63 | Lili Tan |
The worst-case execution time tool challenge 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(2), pp. 133-152, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Embedded systems, Timing analysis, Worst-case execution time, WCET, Hard real time |
63 | Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Tao Zhang 0032, Yuan Xie 0001, Frank Mueller 0001 |
CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2009, Grenoble, France, October 11-16, 2009, pp. 175-184, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LEON3, checkercore, shadow pipeline, FPGA, embedded system, real-time, WCET, worst-case-execution-time, SPARC |
63 | Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Performance debugging of Esterel specifications. ![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. 173-178, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Esterel, WCET analysis, synchronous programming |
63 | Joel Coffman, Christopher A. Healy, Frank Mueller 0001, David B. Whalley |
Generalizing parametric timing analysis. ![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. 152-154, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parametric timing analysis, worst-case execution time (WCET) analysis |
63 | Stephan Thesing |
Modeling a system controller for timing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 292-300, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals |
63 | D. Kebbal |
Automatic Flow Analysis Using Symbolic Execution and Path Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 397-404, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems |
63 | Sung-Kwan Kim, Sang Lyul Min, Rhan Ha |
Efficient worst case timing analysis of data caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 230-240, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block |
57 | Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal |
Automatic scenario detection for improved WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 101-104, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time, scenarios, WCET |
57 | Apostolos A. Kountouris |
Safe and efficient elimination of infeasible execution paths in WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 187-194, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time |
57 | Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper |
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings, pp. 308-319, 2009, Springer, 978-3-642-10264-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 134-148, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad |
A Modular Worst-case Execution Time Analysis Tool for Java Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 47-57, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Trevor Harmon, Raymond Klefstad |
Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch |
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 204-211, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Sibin Mohan, Frank Mueller 0001, David B. Whalley, Christopher A. Healy |
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 405-414, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling Out-of-Order Processors for Software Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 92-103, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Peter P. Puschner |
Algorithms for Dependable Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 26-31, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Antoine Colin, Guillem Bernat |
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings, pp. 50-, 2002, IEEE Computer Society, 0-7695-1665-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Takeshi Ogasawara |
An algorithm with constant execution time for dynamic storage allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 21-, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Half-Fit, scheduling, real-time systems, real-time systems, resource allocation, predictability, queueing theory, worst-case execution time, execution time, storage allocation, queueing model, dynamic storage allocation |
55 | Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle |
Warp-Level CFG Construction for GPU Kernel WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 21th International Workshop on Worst-Case Execution Time Analysis, WCET 2023, July 11, 2023, Vienna, Austria, pp. 1:1-1:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-293-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
55 | Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder |
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 21th International Workshop on Worst-Case Execution Time Analysis, WCET 2023, July 11, 2023, Vienna, Austria, pp. 9:1-9:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-293-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
55 | Sebastian Hahn 0001, Michael Jacobs 0002, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke 0001 |
LLVMTA: An LLVM-Based WCET Analysis Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, July 5, 2022, Modena, Italy., pp. 2:1-2:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-244-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
55 | Steven Varoumas, Tristan Crolard |
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany., pp. 5:1-5:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-118-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
55 | Wei-Tsun Sun, Eric Jenn, Hugues Cassé |
Validating Static WCET Analysis: A Method and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany., pp. 6:1-6:10, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-118-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
55 | Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien |
Fine-Grain Iterative Compilation for WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, July 3, 2018, Barcelona, Spain, pp. 9:1-9:12, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-073-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Thomas Huybrechts, Siegfried Mercelis, Peter Hellinckx |
A New Hybrid Approach on WCET Analysis for Real-Time Systems Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, July 3, 2018, Barcelona, Spain, pp. 5:1-5:12, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-073-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt 0007, Simon Wegener |
Embedded Program Annotations for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, July 3, 2018, Barcelona, Spain, pp. 8:1-8:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-073-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
55 | Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin |
Early WCET Prediction Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia, pp. 5:1-5:9, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-057-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Benjamin Rouxel, Isabelle Puaut |
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia, pp. 1:1-1:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-057-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun |
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia, pp. 9:1-9:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-057-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Simon Wegener |
Towards Multicore WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia, pp. 7:1-7:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-057-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
55 | Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé |
Expressing and Exploiting Conflicts over Paths in WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016, July 5, 2016, Toulouse, France, pp. 3:1-3:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-025-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Christine Rochange |
Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016, July 5, 2016, Toulouse, France, pp. 11:1-11:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-025-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Boris Dreyer, Christian Hochberger, Alexander Lange, Simon Wegener, Alexander Weiss |
Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016, July 5, 2016, Toulouse, France, pp. 4:1-4:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-025-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
55 | Hugues Cassé, Haluk Ozaktas, Christine Rochange |
A Framework to Quantify the Overestimations of Static WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden, pp. 1-10, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-95-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
55 | Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat |
GenE: A Benchmark Generator for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden, pp. 33-43, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-95-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
55 | Clément Ballabriga, Julien Forget, Giuseppe Lipari |
Context-sensitive Parametric WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden, pp. 55-64, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-95-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
55 | André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut |
A Formally Verified WCET Estimation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany, pp. 11-20, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-69-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Luca Santinelli, Jérôme Morio, Guillaume Dufour, Damien Jacquemart |
On the Sustainability of the Extreme Value Theory for WCET Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany, pp. 21-30, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-69-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot |
Identifying Relevant Parameters to Improve WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany, pp. 93-102, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-69-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
55 | Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
The Auspicious Couple: Symbolic Execution and WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France, pp. 53-63, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-54-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Haluk Ozaktas, Christine Rochange, Pascal Sainrat |
Automatic WCET Analysis of Real-Time Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France, pp. 11-20, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-54-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente |
Static analysis of WCET in a satellite software subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France, pp. 87-96, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-54-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Mihail Asavoae, Claire Maiza, Pascal Raymond |
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France, pp. 32-41, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-54-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
55 | Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso 0001, Juan Zamorano |
Analysis of WCET in an experimental satellite software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy, pp. 81-90, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-41-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Mohamed Abdel Maksoud, Jan Reineke 0001 |
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy, pp. 13-24, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-41-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 763 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|