E-Books durchsuchen
Foundational and Practical Aspects of Resource Analysis [2012]
- 1
-
A Higher-Order Characterization of Probabilistic Polynomial Time
- 19
-
Typing a Core Binary-Field Arithmetic in a Light Logic
- 36
-
Interpolation-Based Height Analysis for Improving a Recurrence Solver
- 54
-
Interval-Based Resource Usage Verification: Formalization and Prototype
- 72
-
Certifying and Reasoning on Cost Annotations of Functional Programs
- 90
-
On Abstractions for Timing Analysis in the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-642-32495-6_6_Chapter_TeX2GIF_IEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathbb{K}$</EquationSource> </InlineEquation> Framework
- 108
-
Certifying Execution Time
- 126
-
Counter Automata for Parameterised Timing Analysis of Box-Based Systems
