![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FOPARA 2015: London, UK
- Marko C. J. D. van Eekelen, Ugo Dal Lago:
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9964, 2016, ISBN 978-3-319-46558-6 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim
:
May-Happen-in-Parallel Analysis with Condition Synchronization. 1-19 - Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen:
Using Dependent Types to Define Energy Augmented Semantics of Programs. 20-39 - Erika De Benedetti, Simona Ronchi Della Rocca:
Call-by-Value, Elementary Time and Intersection Types. 40-59 - Maja H. Kirkeby
, Mads Rosendahl:
Probabilistic Resource Analysis by Program Transformation. 60-80 - Umer Liqat, Kyriakos Georgiou
, Steve Kerrison
, Pedro López-García
, John P. Gallagher
, Manuel V. Hermenegildo, Kerstin Eder
:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. 81-100 - Kevin Hammond
, Christopher Brown
, Susmit Sarkar
:
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. 101-125
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.