FOPARA 2015:英国伦敦
马可·C·J·D·范·埃克伦 , 乌戈·达尔·拉戈 :
《资源分析的基础和实践方面——第四届国际研讨会》,2015年4月11日,英国伦敦,FOPARA,修订论文集。 计算机科学课堂讲稿 9964, 2016 ,国际标准图书编号 978-3-319-46558-6 埃尔维拉·阿尔伯特 , 安东尼奥·弗洛雷斯-蒙托亚 , 萨米尔·吉纳伊姆 :
带条件同步的五月-海彭并行分析。 1-19 伯纳德·范·加斯特尔 , 罗迪·克尔斯滕 , 马可·C·J·D·范·埃克伦 :
使用依赖类型定义程序的能量增强语义。 20-39 埃里卡·德贝内德蒂 , 西蒙娜·朗奇·德拉·罗卡 :
调用值、基本时间和交集类型。 40-59 Maja H.Kirkeby女士 , Mads Rosendahl公司 :
通过程序转换进行概率资源分析。 60-80 乌默·利卡特 , 基里亚科斯·乔治奥 , 史蒂夫·克里森 , 佩德罗·洛佩斯·加西亚 , 约翰·加拉赫 , 曼纽尔·埃尔梅内吉尔多 , 科尔斯汀·埃德尔 :
推断不同软件级别的参数能耗函数:ISA与LLVM IR。 81-100 凯文·哈蒙德 , 克里斯托弗·布朗 , 苏斯米特·萨卡尔 :
x86-64多核上结构化并行程序的时序特性和正确性。 101-125
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)