|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![, 978-3-319-46558-6 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 101-125, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 81-100, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erika De Benedetti, Simona Ronchi Della Rocca |
Call-by-Value, Elementary Time and Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 40-59, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 20-39, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maja H. Kirkeby, Mads Rosendahl |
Probabilistic Resource Analysis by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 60-80, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |
May-Happen-in-Parallel Analysis with Condition Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 1-19, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![Springer, 978-3-319-12465-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 143-159, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae, Irina Mariuca Asavoae |
On the Modular Integration of Abstract Semantics for WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 19-37, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naohi Eguchi |
Predicative Lexicographic Path Orders - An Application of Term Rewriting to the Region of Primitive Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 77-92, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Herbert Wiklicky |
Probabilistic Analysis of Programs: A Weak Limit Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 58-76, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 38-57, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Perrinel |
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 127-142, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Wolfgang Loidl, Gudmund Grov |
Reasoning About Resources in the Embedded Systems Language Hume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 110-126, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 93-109, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, pp. 1-18, 2013, Springer, 978-3-319-12465-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![Springer, 978-3-642-32494-9 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 54-71, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu |
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 90-107, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 36-53, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa |
Certifying Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 108-125, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Paolo Parisen Toldin |
A Higher-Order Characterization of Probabilistic Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 1-18, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph A. Herrmann, Kevin Hammond |
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 126-141, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Yann Régis-Gianas |
Certifying and Reasoning on Cost Annotations of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 72-89, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Cesena, Marco Pedicini, Luca Roversi |
Typing a Core Binary-Field Arithmetic in a Light Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 19-35, 2011, Springer, 978-3-642-32494-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![Springer, 978-3-642-15330-3 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Roversi, Luca Vercelli |
A Local Criterion for Polynomial-Time Stratified Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 114-130, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Virgile Mogbil |
Non-deterministic Boolean Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 131-145, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña, Clara Segura |
A Space Consumption Analysis by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 34-50, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Romain Péchoux |
Global and Local Space Properties of Stream Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 51-66, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Walid Gomaa 0001 |
Polynomial Time Computation in the Context of Recursive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 146-162, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James Avery, Lars Kristiansen, Jean-Yves Moyen |
Static Complexity Analysis of Higher Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 84-99, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 67-83, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 1-17, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Simone Martini 0001 |
Derivational Complexity Is an Invariant Cost Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 100-113, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Wolfgang Loidl, Steffen Jost |
Improvements to a Resource Analysis for Hume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 18-33, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|