搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2014 彼得罗·阿巴特 , 罗贝多·迪·科斯莫 , 拉尔夫·特雷恩 , 斯特凡诺·扎奇罗利 :
学习组件存储库的未来。 科学。 计算。 程序。 90 : 93-115 ( 2014 ) 弗兰基·巴克尔贾乌 , 斯特凡·贝库韦 , 安妮·A·M·库伊特 , 乔里斯·范德恩 , 丹尼尔·洛泽尔 :
验证了对特殊数学函数的评估。 科学。 计算。 程序。 90 : 2-20 ( 2014 ) 费比安·布罗西格 , 尼古拉斯·胡贝尔 , 塞缪尔·库内夫 :
用于在线性能预测的体系结构级软件性能抽象。 科学。 计算。 程序。 90 : 71-92 ( 2014 ) 哈维尔·D·布鲁格拉 :
优化间隔的表示。 科学。 计算。 程序。 90 : 21-33 ( 2014 ) 巴博拉·布诺娃 , 安东尼奥·瓦莱西略 , 内纳德·梅德维多维奇 , 马格努斯·拉尔森 , 哈维尔·洛佩斯 , 豪尔赫·库拉尔 :
基于组件的软件工程和软件体系结构专题客座编辑。 科学。 计算。 程序。 90 : 67-70 ( 2014 ) 安帕罗·吉尔 , 珍妮·米歇尔·穆勒 , 哈维尔·塞古拉 :
数值软件专刊前言:设计、分析和验证。 科学。 计算。 程序。 90 : 1 ( 2014 ) 安帕罗·吉尔 , 哈维尔·塞古拉 , 尼科·M·特姆 :
桑坦德-阿姆斯特丹项目中特殊功能的最新软件开发。 科学。 计算。 程序。 90 : 42-54 ( 2014 ) 托马斯·海策 , 乌韦·兹顿 :
支持软件进化的半自动化架构抽象规范。 科学。 计算。 程序。 90 : 135-160 ( 2014 ) 安蒂·汉努卡宁 , 谢尔盖·科罗托夫 , 米查尔·克里泽克 :
四面体剖分面对面最长边二分算法的数值规律性。 科学。 计算。 程序。 90 : 34-41 ( 2014 ) 鲁文·克雷布斯 , 克里斯托夫·莫姆 , 塞缪尔·库内夫 :
量化云环境中性能隔离的指标和技术。 科学。 计算。 程序。 90 : 116-134 ( 2014 ) 迈克尔·莫尔达施尔 , 威尔弗里德·甘斯特尔 :
对称带矩阵特征解算器的比较。 科学。 计算。 程序。 90 : 55-66 ( 2014 ) 弗拉基米尔·鲁帕诺夫 , 克里斯蒂安·巴克尔 , 卢杰·费热 , 迈克尔·阿姆布鲁斯特 , 阿洛伊斯·克诺尔 , 格诺·斯皮尔伯格 :
采用早期基于模型的安全评估来迭代推导E/E架构设计。 科学。 计算。 程序。 90 : 161-179 ( 2014 )