计算机，第94卷
第94卷第1期，2012年1月
沈海峰 , 刘刚（Gang Liu） , 郭军（音） :
鲁棒语音识别中基于两阶段模型的特征补偿。 1-20 尼尔斯·费希尔 , 郑和 
, 米齐·麦卡锡 :
硬盘驱动器和闪存的混合文件系统。 21-68 邓玉辉 , 李凯（Kai Li） , 张凌伟（Lingwei Zhang） , 明芳 , 黄新余 :
利用磁盘调度程序评估磁盘空闲行为。 69-93
第94卷，编号2-42012年3月
Nathalie Revol公司 , 戈茨·阿勒菲尔德 :
编辑。 95 尤尔根·加洛夫 :
求解线性区间方程对称正定组的直接方法的枢轴拧紧。 97-107 迈克尔·齐默 , 沃尔特·克雷默 , 叶甫盖尼娅·波波娃 :
参数线性系统验证解的求解器。 109-123 安德烈亚斯·格里万克 , Kshitij Kulshreshtha公司 , 安德烈亚·沃尔特 :
算法微分的数值稳定性。 125-149 中尾光弘（Mitsuhiro T.Nakao） , 木下武彦 , 木村拓木 :
线性抛物型初边值问题逆算子的后验估计。 151-162 叶卡捷琳娜·奥尔 , 安德烈亚斯·劳赫 :
VERICOMP：一个比较和评估已验证IVP解决方案的系统。 163-172 伊格纳西奥·阿里亚 , 伯特兰·内维尔 , 吉尔斯·特隆贝托尼 :
基于发生分组的间隔扩展。 173-188 奥利维尔·布伊索 , 埃里克·古堡 , 让·古堡-拉雷克 , 西尔维·普托 :
将p-盒推广到仿射算法。 189-201 史蒂凡·西格尔 , 尤尔根·沃尔夫·冯·古登堡 :
类似于进位加法器的长累加器。 203-213 马尔科·尼赫迈尔 :
使用表达式模板、模板元编程和即将推出的C++标准的区间算法。 215-228 沃尔特·克雷默 :
C-XSC中的多个/任意精度区间计算。 229-241 马可·内梅耶 , 史蒂凡·西格尔 , 尤尔根·沃尔夫·冯·古登堡 :
区间运算的硬件规范。 243-255 杰米·纳瓦 , 弗拉基克·克雷诺维奇 :
模型验证的间隔技术。 257-269 巴特洛米耶·雅切克·库比卡 :
一类可以使用区间算法解决的问题。 271-280 伊娃·戴龙 , 斯特凡·基尔 :
使用不同距离封闭算法在隐式对象之间验证距离计算的比较。 281-296 卢克·杰林 :
求解集值约束满足问题。 297-311 加博尔·雷布纳 , 叶卡捷琳娜·奥尔 , 沃尔夫拉姆·路德 :
基于Dempster-Shafer的故障树分析的验证实现。 313-324 巴盖什·V·帕蒂尔 , P.S.V.纳塔拉吉 , 沙拉德·巴蒂亚 :
混合整数非线性（多项式）规划问题的全局优化：Bernstein多项式方法。 325-343 安德烈亚斯·劳赫 , 叶卡捷琳娜·奥尔 , 托马斯·多切尔 , 哈拉尔德·阿斯切曼 :
验证了具有有界参数不确定性和随机扰动的连续时间控制系统的稳定性分析。 345-356 安德烈亚斯·劳赫 , 朱莉娅·克尔斯滕 , 叶卡捷琳娜·奥尔 , 哈拉尔德·阿斯切曼 :
不确定系统的基于灵敏度的前馈和反馈控制。 357-367 瓦莱里·伯瑟 :
计数和离散动力系统。 369-387
第94卷第5期，2012年5月
Asef Al-Khateeb公司 , 努尔·阿尼·阿卜杜勒·拉希德 , 罗斯尼·阿卜杜拉 :
一种用于网格计算的增强型元调度系统，它考虑了作业类型和优先级。 389-410 巴塞尔A.Mahafzah , 阿扎姆·斯莱特 , 内斯林·A.哈马德 , 埃勒姆·F·艾哈迈德 , 塔斯尼姆·M·阿布·卡比尔 :
奥的斯超六芯光电架构。 411-432 格列布·贝利亚科夫 , 迈克尔·约翰斯通 , 赛义德·纳哈瓦迪 :
计算高分解回归估计量，无需对图形处理单元进行排序。 433-447 加布里埃尔·德布拉西奥 , 阿明达·莫雷诺-迪亚斯 , 罗伯托·莫雷诺-迪亚斯 :
仿生计算网络用于视觉方向性。 449-462
第94卷第6期，2012年6月
亚历山大·诺瓦克 , 托比亚斯·宾兹 , 克里斯托夫·费林 , 奥利弗·科普 , 弗兰克·莱曼 , 塞巴斯蒂安·瓦格纳 :
基于流程的应用程序及其运行时基础设施的模式驱动的绿色适应。 463-487 费蒂·A·拉希 , 劳伦斯·姚 , Adnene Guabtni公司 :
ADAGE：支持用户驱动的即席数据分析过程的框架。 489-519 维克托·毛霍 , 马丁·弗里茨 , 费尔南多·马丁·桑切斯 , 戴安娜·德·拉·伊格莱西娅 , 劳尔·卡肖 , 米盖尔·加西亚补救 , 何塞·克雷斯波 , 乔伊斯·米切尔 , 阿尔贝托·安圭塔 , 内森·贝克 , 何塞·玛丽亚·巴雷罗 , 索尼娅·贝尼特斯 , Guillermo de la Calle公司 , 朱利奥·法塞利 , 彼得·加扎尔 , 安托万·盖斯布勒 , 费尔南多·冈萨雷斯-尼洛 , 诺伯特·M·格拉夫 , 皮埃尔·格兰杰 , 伊莎贝尔·赫莫西拉 , 拉达·侯赛因 , 约西帕·科恩 , 萨宾·科赫 , 扬尼克·莱热 , 维多利亚·洛佩斯·阿隆索 , 吉列尔莫·洛佩斯·坎波斯 , 卢西亚诺·米拉内西 , 瓦西里斯·穆斯塔基斯 , 克里斯蒂安·穆特阿努 , 保拉·奥特罗 , 亚历杭德罗·帕佐斯 , 大卫·佩雷兹·雷伊 , 乔治·布塔米亚斯 , 费兰·桑兹 , 卡西米尔·库利科夫斯基 :
纳米信息学：为纳米医学开发新的计算应用。 521-539
第94卷第7期，2012年7月
莫尼雷·萨达特·米塔莱 , 莫特扎·萨贝里 , 奥马尔·哈迪尔·侯赛因 , Behzad Ashjari公司 , 法鲁克·哈迪尔·侯赛因 :
基于信任的生物激励信贷决策方法。 541-577 Gianpaolo Cugola公司 , 卡洛·盖齐 , Leandro销售人员Pinto :
DSOL：自适应服务编排的声明性方法。 579-617
第94卷，数字8-10，2012年9月
阿尔贝托·蒙雷索 , 古斯提·埃本 , 马滕·范·斯蒂恩 :
极端分布式系统：从大规模到复杂性。 619-620 埃米尔·侯赛因·佩贝拉 , 吉姆·道林 , 法特梅·拉希米安 , 塞夫·哈里迪 :
P2P实时流覆盖的分布式优化。 621-647 莹巧 , 格雷戈·冯·博克曼 :
使用扩散方法在对等系统中进行负载平衡。 649-678 马哈蒂尔·阿尔马绍尔 , 易卜拉欣·哈里尔 :
具有3D Voronoi图的完全对等虚拟环境。 679-700 尼科尔·玛丽亚·卡尔卡维基亚 , 博格丹·亚历山德鲁·卡普拉斯库 , 伊丽莎白·迪尼托 , 丹尼尔·杜布瓦 , 达娜·佩特库 :
DEPAS：用于自动缩放的分散概率算法。 701-730 乔治·萨尼福斯 , 瓦西里斯·萨莫拉达斯 :
一种用于结构化对等系统中负载平衡的新型鲁棒在线协议。 731-762 J.A.M.纳兰霍 , 莱奥卡迪奥·G·卡萨多 , 马尔克Jelasity :
对等网络上的异步隐私保护迭代计算。 763-782 安维塔曼-达塔 :
合并环形结构覆盖索引：实现网络数据透明。 783-809 安德烈·普鲁特阿努 , 斯特凡·杜尔曼 :
ASH：解决大规模网络中的节点移动性问题。 811-832
第94卷第11期，2012年11月
赛义德·塞迪吉安·卡什 , 莫森·谢里菲 :
无线传感器网络中的覆盖率计算。 833-856 迈克尔·韦尔什 , 贾科莫·盖齐 , 马蒂亚斯·赫特 , 杰拉尔德·雷夫 , 哈拉尔德·加尔 :
SEON：软件进化及其应用的本体金字塔。 857-885 罗曼·安塞尔莫·莫拉·古铁雷斯 , 哈维尔·拉米雷斯-罗德里格斯 , 埃里克·阿尔弗雷多·林科恩·加西亚 , 安东尼·波西奇 , 奥斯卡·埃雷拉·阿尔坎塔拉 :
受社会创意系统启发的优化算法。 887-914
第94卷第12期，2012年12月
泽珊·佩尔韦斯 , 阿萨德·马苏德·卡塔克 , Sungyoung Lee（李成阳） , 李永古 , 尤南赫 :
基于云的数据共享系统的不经意访问控制策略。 915-938 Efthymia Tsamoura公司 , Anastasios Gounaris公司 , 亚尼斯·马诺洛波洛斯 :
在流水线过滤服务上优化分散的多路连接查询。 939-972 朱奈德·舒亚 , 萨贾德·艾哈迈德·马达尼 , 卡西夫·比拉尔 , 科扎尔·哈亚特 , 萨米·乌拉·汗 , 沙赫扎德·萨瓦尔 :
高效节能的数据中心。 973-994
