Filters








15 Hits in 4.0 sec

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

Adrian Prantl, Markus Schordan, Jens Knoop, Marc Herbstritt
<span title="2008-11-13">2008</span>
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs.  ...  A distinctive feature of TUBOUND is the seamless integration of a WCET analysis component and of a compiler in a uniform tool.  ...  We would like to thank Raimund Kirner for his support in integrating his tool CALCWCET 167 and Albrecht Kadlec for many related discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008.1661">doi:10.4230/oasics.wcet.2008.1661</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/surwciq225f6lmkpay6y2gk3fe">fatcat:surwciq225f6lmkpay6y2gk3fe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808153907/http://costa.tuwien.ac.at/papers/wcet08-tubound.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/64/ae/64ae21fa914d9056811f34f52a384f4581498ccb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008.1661"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Symbolic Loop Bound Computation for WCET Analysis [chapter]

Jens Knoop, Laura Kovács, Jakob Zwirchmayr
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our technique is implemented in the r-TuBound tool and was successfully tried out on a number of challenging WCET benchmarks.  ...  For solving recurrences we deploy a pattern-based recurrence solving algorithm and compute closed forms only for a restricted class of recurrence equations.  ...  The inferred loop bounds are further used in the WCET analysis of programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29709-0_20">doi:10.1007/978-3-642-29709-0_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4e7iolbomnduvobdaam3qb6kau">fatcat:4e7iolbomnduvobdaam3qb6kau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151012150818/http://arise.or.at/pubpdf/Symbolic_Loop_Bound_Computation_for_WCET_Analysis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7b/e5/7be52751216f3bbb37b1b3e1674929980748b2e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29709-0_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SmacC: A Retargetable Symbolic Execution Engine [chapter]

Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
<span title="">2013</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
More recently we also successfully applied SmacC for high-level timing analysis of programs to infer exact loop bounds and safe over-approximations.  ...  SmacC is a symbolic execution engine for C programs. It can be used for program verification, bounded model checking and generating SMT benchmarks.  ...  A new application for SmacC is the high-level worst-case execution time (WCET) analysis of programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-02444-8_40">doi:10.1007/978-3-319-02444-8_40</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qsnedy6xnja2jetlowlxvnsj24">fatcat:qsnedy6xnja2jetlowlxvnsj24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810081338/http://www.fmv.jku.at/papers/BiereKnoopKovacsZwirchmayr-ATVA13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/d5/e2d5c8167f841bfeebba5c285f3bd1a40c2b3c92.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-02444-8_40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution

Jens Knoop, Laura Kovács, Jakob Zwirchmayr
<span title="">2017</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezljl2d3lzga5efenbxdvvfcpa" style="color: black;">Journal of symbolic computation</a> </i> &nbsp;
A WCET analysis needs to provide a formal guarantee that a system meets its timing-constraints even in the worst case.  ...  In practice most important is the worst-case execution time (WCET) of an ESS, that is, the maximal running time of the system on a specified hardware.  ...  We also acknowledge support of this research by the EU FP7 COST Action IC 1202 Timing Analysis on Code-Level (TACLe).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2016.07.023">doi:10.1016/j.jsc.2016.07.023</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q6ryk5iwdvhc3gi56zzo5hun2q">fatcat:q6ryk5iwdvhc3gi56zzo5hun2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307062947/http://repositum.tuwien.ac.at/obvutwoa/download/pdf/2301905?originalFilename=true" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/1b/971bf491195d21599ad8367eb70b86ccc18b730d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2016.07.023"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Segment Abstraction for Worst-Case Execution Time Analysis [chapter]

Pavol Černý, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
<span title="">2015</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the standard framework for worst-case execution time (WCET) analysis of programs, the main data structure is a single instance of integer linear programming (ILP) that represents the whole program.  ...  We propose a new framework for WCET analysis, based on abstract segment trees (ASTs) as the main data structure. The ASTs have two advantages.  ...  Introduction Worst-case execution time (WCET) analysis [18] is important in many classes of applications. For instance, real-time embedded systems have to react within a fixed amount of time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46669-8_5">doi:10.1007/978-3-662-46669-8_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4hytwsqgsrfszclhxhdd3t3kle">fatcat:4hytwsqgsrfszclhxhdd3t3kle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151022110721/http://www.seas.upenn.edu/~arjunrad/publications/esop15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/01/56/0156eeb1cef24931454fa901b0f0e9e0b99489dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46669-8_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

WCET squeezing

Jens Knoop, Laura Kovács, Jakob Zwirchmayr
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6epehfaufvbj5fqj63m6whikpi" style="color: black;">Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS &#39;13</a> </i> &nbsp;
The Worst-Case Execution Time (WCET) computed by a WCET analyzer is usually not tight, leaving a gap between the actual and the computed WCET of a program.  ...  WCET Squeezing provides conceptually new means for addressing the classical problem of WCET computation, by deriving a WCET bound that comes as close as possible to the actual one.  ...  Task scheduling requires an a-priori known Worst-Case Execution Time (WCET) for each of the involved tasks, which is usually obtained by an architecture-dependent timing analysis and an architecture-independent  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2516821.2516847">doi:10.1145/2516821.2516847</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtns/KnoopKZ13.html">dblp:conf/rtns/KnoopKZ13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7fpgga4djh4noetjb5rckclgi">fatcat:l7fpgga4djh4noetjb5rckclgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190828073730/http://www.cse.chalmers.se:80/~laurako/pub/RTNS13_Kovacs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/21/39/2139f6b789611e6bb80f625a4a84e5f130227f38.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2516821.2516847"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
<span title="2010-04-09">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take.  ...  This information is indispensable for developing safety-critical real-time systems, e. g., in the avionics and automotive fields.  ...  Especially, we would like to thank Niklas Holsti and Henrik Theiling for their many and very detailed comments, which helped to clarify and improve the presentation of this article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-010-0161-0">doi:10.1007/s10270-010-0161-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gzexuwk7l5hv7n7g3psastxvla">fatcat:gzexuwk7l5hv7n7g3psastxvla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160505055318/http://uhra.herts.ac.uk/bitstream/handle/2299/7946/Kirner_loop_bounds.pdf?sequence=5" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/0a/e80a4a7f2f8dad74f245ce5980757a95348c3c5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-010-0161-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Facilitating program performance profiling via evolutionary symbolic execution

Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza
<span title="2019-11-21">2019</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qrohejli3ngofb53dnkhpougdm" style="color: black;">Software testing, verification &amp; reliability</a> </i> &nbsp;
More recently, the techniques Worst-case Inputs from Symbolic Execution (WISE) [8] and Symbolic Path Finder Worst-Case Analysis (SPF-WCA) [9] introduced techniques for WCET testing based on symbolic execution  ...  In particular, we look into the particular instance of this problem that consists of automatically generating a test case that triggers the Worst-Case Execution Time (WCET) of a program, a problem that  ...  a program path that reveals the worst case execution time of the program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1719">doi:10.1002/stvr.1719</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xsktfgv47rdc7p5w5c676a4fc4">fatcat:xsktfgv47rdc7p5w5c676a4fc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210715080704/https://boa.unimib.it/retrieve/handle/10281/280011/410736/main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/79/a27989b5dff7f11ccdf8d3c578f3dd056bc140d9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1719"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

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 (+8 others)
<span title="2008-11-13">2008</span>
, which ask for bounds on the number of times certain parts of the benchmark can be executed, again under some constraints.  ...  The WCET Tool Challenge 2008 (WCC'08) provides benchmark programs and poses a number of "analysis problems" about the dynamic, runtime properties of these programs.  ...  OTAWA, TuBound, and wcc are new tools and were not ready for use in 2006.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008.1663">doi:10.4230/oasics.wcet.2008.1663</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4w2yb7g7yrbdjjhgdlctiacipe">fatcat:4w2yb7g7yrbdjjhgdlctiacipe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808202253/http://drops.dagstuhl.de/opus/volltexte/2008/1663/pdf/SWM.Paper.1663.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/58/75587f6227946eb5e9fedb9e5b8ef9f5f87c714b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008.1663"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

3th International Workshop on Worst-Case Execution Time Analysis Claire Maiza OASIcs-OpenAccess Series in Informatics

Claire Maiza, Daniel Cremers, Barbara Hammer, Marc Langheinrich, Dorothea Wagner
<span class="release-stage">unpublished</span>
This work was partially supported by EU COST Action IC1202: Timing Analysis On Code-Level (TACLe).  ...  This work was partially supported by EU COST Action IC1202 "Timing Analysis On Code-Level (TACLe)", and by the Spanish Ministry of Science and Innovation under grant TIN2012-34557.  ...  This step, also called low-level analysis, estimates the worst-case execution times of basic blocks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdwjo7bm7jdudaz6kgldzbfjve">fatcat:kdwjo7bm7jdudaz6kgldzbfjve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520164148/http://drops.dagstuhl.de/opus/volltexte/2013/4133/pdf/oasics-vol30-wcet13-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/82/bf82117f31f1e998fcf1f2678b6b65fe5281dd7a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

OASIcs, Volume 8, WCET'08, Complete Volume [article]

Raimund Kirner
<span title="2012-07-16">2012</span>
We would like to thank Raimund Kirner for his support in integrating his tool CALCWCET 167 and Albrecht Kadlec for many related discussions.  ...  Acknowledgments We would like to thank Niklas Holsti from Tidorum Ltd for his valuable comments on this paper. Acknowledgements.  ...  TUBOUND -A CONCEPTUALLY NEW TOOL FOR WORST-CASE EXECUTION TIME ANALYSIS 1 Adrian Prantl, 2 Markus Schordan 2 and Jens Knoop 2 • Feedback and Tuning: Source code annotations can be used to present the results  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008">doi:10.4230/oasics.wcet.2008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gohrtwqyzbfwdckw3fryeikrge">fatcat:gohrtwqyzbfwdckw3fryeikrge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520043140/http://drops.dagstuhl.de/opus/volltexte/2012/3570/pdf/oasics-vol8-wcet2008-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c2/be/c2be6ed59f2e7ca847c276f381ade97541a23b3b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

OASIcs, Volume 63, WCET'18, Complete Volume [article]

Florian Brandner
<span title="2018-09-26">2018</span>
Acknowledgements The authors would like to thank Simon Wegener from AbsInt GmbH for providing valuable feedback on this work.  ...  Conceptually, the safety properties shown to hold could be used to reduce the worst-case execution-time bound for an instruction, which a naive, sound WCET analysis would have to assume, by the cost for  ...  Obtaining Task Characteristics We use our low-level timing analysis tool LLVMTA [9] to compute not only the worst-case execution time bound for a given task, but also its preemption-related characteristics  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2018">doi:10.4230/oasics.wcet.2018</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i5xqd4wxijaqzhniiulyp64nju">fatcat:i5xqd4wxijaqzhniiulyp64nju</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200812172959/https://drops.dagstuhl.de/opus/volltexte/2018/9757/pdf/oasics-vol63-wcet2018-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/7d/e27dc824a963483ef8dc073260b8c1d3266063a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2018"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Heiko Falk OASIcs-OpenAccess Series in Informatics

Heiko Falk, Daniel Cremers, Barbara Hammer, Marc Langheinrich, Dorothea Wagner
<span title="">2014</span> <i > 14th International Workshop on Worst-Case Execution Time Analysis WCET 2014 </i> &nbsp; <span class="release-stage">unpublished</span>
This work was partially supported by COST Action IC1202: Timing Analysis On Code-Level (TACLe), and by the Swedish Research Council project Contesse (2010-4276). Acknowledgement.  ...  This work was partially funded under the EU's 7th Framework Programme, grant agreement no. 288008: Time-predictable Multi-Core Architecture for Embedded Systems (T-CREST).  ...  An important measure in real-time systems is the worst-case execution time of a program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ncfh6om6q5hjpdtnmqingr4v4u">fatcat:ncfh6om6q5hjpdtnmqingr4v4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520233713/http://drops.dagstuhl.de/opus/volltexte/2014/4611/pdf/oasics-vol39-wcet2014-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/80/a8806a79ba2d195695e4694b6411104451ef7b8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

WCET analysis and optimization for multi-core real-time systems

Timon Kelter, Technische Universität Dortmund, Technische Universität Dortmund
<span title="2015-04-08">2015</span>
In a timing-anomaly-free system this is sufficient for finding the WCET, since then we know that the global worst-case execution does only consist of local worst-case transitions.  ...  To achieve this, the Worst-Case Execution Time (WCET) of each task in such a system must be determined.  ...  B avg min ) and upper (B avg max ) loop bound and the number of context blocks V C τ for a context graph with unlimited call string length but without virtual unrolling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17877/de290r-7209">doi:10.17877/de290r-7209</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yhl2jvlcvzh3rhc26azn4dnbre">fatcat:yhl2jvlcvzh3rhc26azn4dnbre</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709191813/https://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kelter-phd.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/00/7c005c903b48cc32f3172c69c386dd61ec66913b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17877/de290r-7209"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

LIPIcs, Volume 7, ICLP'10, Complete Volume [article]

Manuel Hermenegildo, Torsten Schaub
<span title="2013-09-27">2013</span>
This research was funded in part by the National Science Foundation under grants 0541183 (Deep and Scalable Analysis of Software), and 0707612 (CRI: CRD -Development of Alloy Tools, Technology and Materials  ...  Although there is no advantage of the interpreter approach from a theoretical point of view (as long as the reductions are polynomial-time computable), there are several practical ones.  ...  The Alloy Analyzer is a tool for automatic analysis of Alloy models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.iclp.2010">doi:10.4230/lipics.iclp.2010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j7jd7dpsffbs7plm5qa6qi2wem">fatcat:j7jd7dpsffbs7plm5qa6qi2wem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520162144/http://drops.dagstuhl.de/opus/volltexte/2013/4101/pdf/lipics-vol7-iclp2010-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.iclp.2010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>