尼克·弗维洛
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 【c7】 马克斯·格罗斯曼 , 维维克·库马尔 , 尼克·弗维洛 , 佐兰·布迪姆利奇 , 维韦克·萨卡 :
可组合HPC调度库的可插入框架。 IPDPS研讨会 2017 : 723-732 【c6】 尼克·弗维洛 , 余乐晨 , 维韦克·萨卡 :
可重定位数据块中指针的编组数据格式。 ISMM公司 2017 : 25-35 2016 【c5】 蒂莫西·马特森 , 罗曼·克莱达特 , 文森特·卡夫 , 维韦克·萨卡 , 佐兰·布迪姆利奇 , 桑杰·查特吉 , 约书亚·B·弗莱曼 , 伊万·加涅夫 , 罗宾·科纳赫斯 , Min Lee(李敏) , 贝诺·梅斯特 , 布莱恩·尼克森 , 尼克·佩珀林 , 巴拉·塞沙萨耶 , 萨格纳克·塔西拉尔 , 贾斯汀·特勒 , 尼克·弗维洛 :
开放社区运行时:用于极端规模计算的运行时系统。 高性能电子控制器 2016 : 1-7 【c4】 桑杰·查特吉 , 尼克·弗维洛 , 佐兰·布迪姆利奇 , 凯瑟琳·克诺贝 , 维韦克·萨卡 :
并行程序中局部性的声明性调整。 ICPP公司 2016 : 452-457 2015 [j1] 彼得·安德森 , 尼克·弗维洛 , 埃里克·默瑟 , 维韦克·萨卡 :
使用渐变类型权限区域对Habanero Java程序进行JPF验证。 ACM SIGSOFT软件。 工程注释 40 ( 1 ) : 1-5 ( 2015 ) 【c3】 埃里克·默瑟 , 彼得·安德森 , 尼克·弗维洛 , 维韦克·萨卡 :
使用渐进权限的模型检查任务并行程序(N)。 ASE公司 2015 : 535-540 2012 【c2】 Jun Shirako先生 , 尼克·弗维洛 , 埃里克·默瑟 , 维韦克·萨卡 :
一种新的读写锁算法的设计、验证和应用。 SPAA公司 2012 : 48-57 【c1】 埃弗雷特·莫尔斯 , 尼克·弗维洛 , 埃里克·默瑟 , 杰-麦卡锡 :
C程序异步消息传递建模。 VMCAI公司 2012 : 332-347
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)