A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://drops.dagstuhl.de/opus/volltexte/2007/1186/pdf/herrmann.1186.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Automatic Amortised Worst-Case Execution Time Analysis
<span title="2007-11-13">2007</span>
Preserved Fulltext
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]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www2.tcs.ifi.lmu.de/~jost/research/FOPARA09__Improving_Resource_Analysis__Loidl_Jost.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit <a rel="external noopener" href="http://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann/publikationen-pdfs/c50-carboncredits.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www2.tcs.ifi.lmu.de/~jost/research/AAALazy_ICFP12_Simoes_etAl.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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 '10</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit <a rel="external noopener" href="http://www2.tcs.ifi.lmu.de/~jost/research/POPL_2010__Higher-Order_AA__Jost_etAl.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="http://pdfs.semanticscholar.org/390d/18faace4b7dd75e70624b6f292934d262e21.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="http://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_5.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="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">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://drops.dagstuhl.de/opus/volltexte/2010/2824/pdf/6.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www2.tcs.ifi.lmu.de/~jost/research/LADC09_proof_carrying_code.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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 '06</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit <a rel="external noopener" href="http://www.osl.iu.edu/~kyross/pub/wgp2006-paper.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<span title="2009-08-24">2009</span>
<i title="Zenodo">
Zenodo
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://zenodo.org/record/41820/files/1569193843.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.research.ed.ac.uk/portal/files/17663164/tgc.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://johnwickerson.github.io/papers/solving_HiPC.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="http://diglib.uibk.ac.at/ulbtirolfodok/download/pdf/2581042?originalFilename=true">the original URL</a>. The file type is <code>application/pdf</code>.
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>
« Previous
Showing results 1 — 15 out of 537 results