|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marko C. J. D. van Eekelen, Ugo Dal Lago (eds.) |
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers  |
FOPARA  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Christopher Brown 0002, Susmit Sarkar |
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder |
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika De Benedetti, Simona Ronchi Della Rocca |
Call-by-Value, Elementary Time and Intersection Types. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen |
Using Dependent Types to Define Energy Augmented Semantics of Programs. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maja H. Kirkeby, Mads Rosendahl |
Probabilistic Resource Analysis by Program Transformation. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |
May-Happen-in-Parallel Analysis with Condition Synchronization. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Ricardo Peña (eds.) |
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers |
FOPARA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet |
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihail Asavoae, Irina Mariuca Asavoae |
On the Modular Integration of Abstract Semantics for WCET Analysis. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Naohi Eguchi |
Predicative Lexicographic Path Orders - An Application of Term Rewriting to the Region of Primitive Recursive Functions. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Herbert Wiklicky |
Probabilistic Analysis of Programs: A Weak Limit Approach. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi |
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Perrinel |
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Wolfgang Loidl, Gudmund Grov |
Reasoning About Resources in the Embedded Systems Language Hume. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen |
A Hoare Logic for Energy Consumption Analysis. |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell 0001, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli |
Certified Complexity (CerCo). |
FOPARA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska (eds.) |
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers |
FOPARA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo |
Interval-Based Resource Usage Verification: Formalization and Prototype. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu |
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña |
Interpolation-Based Height Analysis for Improving a Recurrence Solver. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa |
Certifying Execution Time. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Paolo Parisen Toldin |
A Higher-Order Characterization of Probabilistic Polynomial Time. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Kevin Hammond |
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Yann Régis-Gianas |
Certifying and Reasoning on Cost Annotations of Functional Programs. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Cesena, Marco Pedicini, Luca Roversi |
Typing a Core Binary-Field Arithmetic in a Light Logic. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Olha Shkaravska (eds.) |
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers |
FOPARA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Roversi, Luca Vercelli |
A Local Criterion for Polynomial-Time Stratified Computations. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgile Mogbil |
Non-deterministic Boolean Proof Nets. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Montenegro, Ricardo Peña, Clara Segura |
A Space Consumption Analysis by Abstract Interpretation. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Romain Péchoux |
Global and Local Space Properties of Stream Programs. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Gomaa 0001 |
Polynomial Time Computation in the Context of Recursive Analysis. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Avery, Lars Kristiansen, Jean-Yves Moyen |
Static Complexity Analysis of Higher Order Programs. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson |
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini 0001 |
Derivational Complexity Is an Invariant Cost Model. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Wolfgang Loidl, Steffen Jost |
Improvements to a Resource Analysis for Hume. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license