Filters








537 Hits in 4.3 sec

Automatic Amortised Worst-Case Execution Time Analysis

Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert Pointon, Marc Herbstritt
<span title="2007-11-13">2007</span>
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds.  ...  In this paper, we describe how amortisation can be used to improve the quality of the results that are obtained from a fully-automatic and formally guaranteed WCET analysis, by delivering analysis results  ...  Workshop on Worst-Case Execution Time (WCET) Analysis http://drops.dagstuhl.de/opus/volltexte/2007/1186  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2007.1186">doi:10.4230/oasics.wcet.2007.1186</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4rx3dqonkzfdhjesjyizx5asla">fatcat:4rx3dqonkzfdhjesjyizx5asla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812194321/http://drops.dagstuhl.de/opus/volltexte/2007/1186/pdf/herrmann.1186.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/24/44/244449ffb253f653a58a4dcc55599b3b4bbfbb6e.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.2007.1186"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Improvements to a Resource Analysis for Hume [chapter]

Hans-Wolfgang Loidl, Steffen Jost
<span title="">2010</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;
The core of our resource analysis for the embedded systems language Hume is a resource-generic, type-based inference engine that employs the concept of amortised costs to statically infer resource bounds  ...  Finally, we demonstrate improvements in the performance of our analysis.  ...  automatic amortised resource analysis herein for the first time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15331-0_2">doi:10.1007/978-3-642-15331-0_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c6c2wqfzbnem5otr74sjfpkp4a">fatcat:c6c2wqfzbnem5otr74sjfpkp4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809002309/http://www2.tcs.ifi.lmu.de/~jost/research/FOPARA09__Improving_Resource_Analysis__Loidl_Jost.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/ea/df/eadf29e8ce520445e44595bd5c6dc3ce7fec9020.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-15331-0_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis [chapter]

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
<span title="">2009</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;
We apply the analysis to the important metrics of worst-case execution time, stack-and heap-space usage.  ...  analysis, there need be no modifications whatever to the original program, and we therefore do not change actual execution costs; and iii) we provide an automatic static analysis that, when successful  ...  For a worst-case execution time analysis of compute filter, we produce the following explanation: Worst-case Time-units required to compute box compute_filter once: 359 + 9374*X1 + 16659*X2 + 16123*X3  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-05089-3_23">doi:10.1007/978-3-642-05089-3_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fpd3mgkd3fh4po6ucg37kbxw5y">fatcat:fpd3mgkd3fh4po6ucg37kbxw5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151202095659/http://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann/publikationen-pdfs/c50-carboncredits.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/83/d4/83d4305cea6d996a805ace5c3d2d94cea67d7866.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-05089-3_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Hugo Simões, Pedro Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
<span title="2012-10-15">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Our analysis uses the automatic amortisation approach developed by Hofmann and Jost, which was previously restricted to eager evaluation.  ...  This paper describes the first successful attempt, of which we are aware, to define an automatic, type-based static analysis of resource bounds for lazy functional programs.  ...  This paper extends type-based amortisation to lazy evaluation, describing a static analysis for determining a-priori worst-case bounds on execution costs (specifically, dynamic memory allocations).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398856.2364575">doi:10.1145/2398856.2364575</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sgf6dnevjjgq3ojqcy4dyjmem4">fatcat:sgf6dnevjjgq3ojqcy4dyjmem4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808031300/http://www2.tcs.ifi.lmu.de/~jost/research/AAALazy_ICFP12_Simoes_etAl.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/a3/c4/a3c40f50c30eba0949eb55a4cbf2602e6280abcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398856.2364575"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static determination of quantitative resource usage for higher-order programs

Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;10</a> </i> &nbsp;
We illustrate our approach with reference to dynamic memory allocations/deallocations, stack usage, and worst-case execution time, using metrics taken from a real implementation on a simple micro-controller  ...  Our analysis is a variant of Tarjan's manual amortised cost analysis technique.  ...  For worst-case execution time, the bounds we achieve are within 30% of the measured costs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1706299.1706327">doi:10.1145/1706299.1706327</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/JostHLH10.html">dblp:conf/popl/JostHLH10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2rri6kg65eaxhik2lv4o3j4su">fatcat:e2rri6kg65eaxhik2lv4o3j4su</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120121062147/http://www2.tcs.ifi.lmu.de/~jost/research/POPL_2010__Higher-Order_AA__Jost_etAl.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/ac/bd/acbd4b5db527b3c3cf234e705f9b8a73659ac7d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1706299.1706327"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automated Amortised Resource Analysis for Term Rewrite Systems [chapter]

Georg Moser, Manuel Schneckenreither
<span title="">2018</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;
In this paper we establish an automated amortised resource analysis for term rewrite systems.  ...  This extends the provided analysis to a fully automated resource analysis of higher-order functional programs.  ...  The latter is able to verify the worst-case bounds of higher-order functional programs fully automatically.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-90686-7_14">doi:10.1007/978-3-319-90686-7_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bxr3h7kkovg67bcl4llybqmjju">fatcat:bxr3h7kkovg67bcl4llybqmjju</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222042447/http://pdfs.semanticscholar.org/390d/18faace4b7dd75e70624b6f292934d262e21.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/39/0d/390d18faace4b7dd75e70624b6f292934d262e21.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-90686-7_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures [chapter]

Lorenz Leutgeb, Georg Moser, Florian Zuleger
<span title="">2021</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;
We completely automatically infer complexity estimates that match previous results (obtained by sophisticated pen-and-paper proofs), and in some cases even infer better complexity estimates than previously  ...  In this paper, we report on the first fully-automated amortised complexity analysis of self-adjusting data structures.  ...  In this way amortised cost analysis provides a methodology for worst-case cost analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-81688-9_5">doi:10.1007/978-3-030-81688-9_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/edp7b45jyvaxve5kmaz3lci2h4">fatcat:edp7b45jyvaxve5kmaz3lci2h4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220222044957/http://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_5.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/f0/8a/f08a1e8cd73c10ae97c6c2f7bd5597bc13d88970.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-030-81688-9_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Type-based analysis of logarithmic amortised complexity

Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger
<span title="2021-10-19">2021</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist's method of amortised analysis and is potentialbased.  ...  In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of splaying, once the type annotations are fixed.  ...  In this way, amortised analysis provides a methodology for worst-case cost analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129521000232">doi:10.1017/s0960129521000232</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/huihwcvu7vdvdgi2ue74qplpka">fatcat:huihwcvu7vdvdgi2ue74qplpka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211028061556/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CFD1E6A0263CB1CFC00CE090D640776/S0960129521000232a.pdf/div-class-title-type-based-analysis-of-logarithmic-amortised-complexity-div.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/ad/2c/ad2c83ffe8b1b4d5bc86668130a5454b514add01.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129521000232"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> cambridge.org </button> </a>

Realism in Statistical Analysis of Worst Case Execution Times

David Griffin, Alan Burns, Marc Herbstritt
<span title="2010-11-26">2010</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iyhiacl4brh3jgadm5lnvpnj3e" style="color: black;">Worst-Case Execution Time Analysis</a> </i> &nbsp;
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times.  ...  The biggest issue with the above remedy is that it requires knowledge of the worst case path through the program, but the worst case path through the program is not knownor WCET analysis wouldn't be necessary  ...  Unfortunately, the execution times of programs need not be independent or identically distributed. An obvious example of runtimes being dependent is that of amortised data structures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.wcet.2010.44">doi:10.4230/oasics.wcet.2010.44</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wcet/GriffinB10.html">dblp:conf/wcet/GriffinB10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ivi6xgd3ubhvlglni7g24osv2e">fatcat:ivi6xgd3ubhvlglni7g24osv2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810050242/http://drops.dagstuhl.de/opus/volltexte/2010/2824/pdf/6.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/8a/a7/8aa75e4499e507b074410d676e4349800aef9e64.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.2010.44"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Proof-Carrying-Code Infrastructure for Resources

Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cuxyw5lz7bfjlhk4czk3m4wciq" style="color: black;">2009 Fourth Latin-American Symposium on Dependable Computing</a> </i> &nbsp;
To this end we present a complete Proof-carrying-code (PCC) infrastructure for independent and automatic certification of resource bounds of mobile JVM programs.  ...  Thus, we are now in a position to automatically infer linear upper bounds on the heap consumption of a strict, first-order functional language, generate a certificate encoding a formal proof of such bounded  ...  For concrete embedded systems control and computer vision applications, this analysis infers good bounds on heap, stack and worst-case execution time [44] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ladc.2009.13">doi:10.1109/ladc.2009.13</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ladc/LoidlMJB09.html">dblp:conf/ladc/LoidlMJB09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bt3m5rvwmbcdhm5tw6zxuzwh7q">fatcat:bt3m5rvwmbcdhm5tw6zxuzwh7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809144701/http://www2.tcs.ifi.lmu.de/~jost/research/LADC09_proof_carrying_code.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/a6/ea/a6eac7afc2a03fafbe5f9151c79b3d8f59627cb4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ladc.2009.13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards an automatic complexity analysis for generic programs

Kyle D. Ross
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP &#39;06</a> </i> &nbsp;
In the present paper, we describe an automatic analysis to aid library users in selecting types for use in generic programs.  ...  Our analysis serves to detect and rectify "performance bugs" by recommending type selections that will improve performance.  ...  Special thanks to Sibylle Schupp for suggesting this research direction and for guidance in developing the approach to the analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159861.1159874">doi:10.1145/1159861.1159874</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/Ross06.html">dblp:conf/icfp/Ross06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wizg36k3x5fl7dcnlxb7z5vena">fatcat:wizg36k3x5fl7dcnlxb7z5vena</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100621074126/http://www.osl.iu.edu/~kyross/pub/wgp2006-paper.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/55/72/55728be1c0c0581a3d6504a247507c1669af82ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159861.1159874"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Towards Hume Simd Vectorisation

Abdallah Al Zain
<span title="2009-08-24">2009</span> <i title="Zenodo"> Zenodo </i> &nbsp;
As an extreme example, a function call might return after an arbitrarily large amount of time, which makes it useless to assume the worst case (never).  ...  For example, the actual worst-case execution costs for the Renesas M32C/85U processor have been determined by the aiT tool [8] for machine-code level instructions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.41820">doi:10.5281/zenodo.41820</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a7zkbrpqkzcqtbei3joqrgbaxe">fatcat:a7zkbrpqkzcqtbei3joqrgbaxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201223110049/https://zenodo.org/record/41820/files/1569193843.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/e5/64/e564b92e9bb53d01b4d1d080c64662375c04c724.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.41820"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode [chapter]

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
<span title="">2010</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;
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap shapes, in the tradition  ...  Generating-function methods have recently been applied to the problem of Worst Case Execution Time in [27] . See also [9] for an exposition of the mathematics of the Barvinok theory.  ...  The information provided by the analysis -in the case of resource analysis, concerning upper bounds on usage of space, time, etc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15640-3_1">doi:10.1007/978-3-642-15640-3_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x446yutazjfyrk2xhkijr5yvee">fatcat:x446yutazjfyrk2xhkijr5yvee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706223432/http://www.research.ed.ac.uk/portal/files/17663164/tgc.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/eb/07/eb07b187ed7b789467f4423500286d6cb0cd2efe.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-15640-3_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs

Andrea Picciau, Gordon E. Inggs, John Wickerson, Eric C. Kerrigan, George A. Constantinides
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zwrt4lmoffgrpejt4mmp2p34kq" style="color: black;">2016 IEEE 23rd International Conference on High Performance Computing (HiPC)</a> </i> &nbsp;
This preliminary analysis phase is expensive, but because it depends only on the input matrix, its cost can be amortised when solving for many different right-hand sides. 5 1 2 3 4  ...  of the analysis phase is amortised, and the total execution time is less than CUSPARSE's.  ...  Because of this, we see that the solve phase has to be repeated a number of times before the execution time of the analysis phase is amortised.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hipc.2016.030">doi:10.1109/hipc.2016.030</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hipc/PicciauIWKC16.html">dblp:conf/hipc/PicciauIWKC16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y4k3y2vdefgzrgg7v7kf3ahvzy">fatcat:y4k3y2vdefgzrgg7v7kf3ahvzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171017021519/https://johnwickerson.github.io/papers/solving_HiPC.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/9e/bc/9ebc5eb766d21961663741f734c1622f818de128.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hipc.2016.030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automated amortised resource analysis for term rewrite systems

Georg Moser, Manuel Schneckenreither
<span title="">2019</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems.  ...  Our analysis does not restrict the input rewrite system in any way. This facilitates integration in a general framework for resource analysis of programs.  ...  Therefore, the constraint problem automatically becomes linear whenever these heuristics are used which tremendously reduces the execution times.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2019.102306">doi:10.1016/j.scico.2019.102306</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/emortgdhmzfejoxuztc545hywq">fatcat:emortgdhmzfejoxuztc545hywq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306022213/http://diglib.uibk.ac.at/ulbtirolfodok/download/pdf/2581042?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/05/e0/05e07ae9561f420e8f914c1c9115947132f38acc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2019.102306"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 537 results