安德烈·里姆萨;马塞洛·达莫里姆;费尔南多·马格诺·昆托·佩雷拉;罗伯托·比戈尼亚。 有效的静态检查器,用于受污染变量攻击。 (英语) Zbl 1410.68077号 科学。计算。程序。 80,A部分,91-105(2014).MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rimsa}等人,《科学》。计算。程序。80,A部分,91--105(2014;Zbl 1410.68077) 全文: 内政部
爱德华多·古格尔(Eduardo Gurgel Pinho);de Carvalho,Francisco Heron jun。 一种面向对象的分布式内存并行计算平台并行编程语言。 (英语) Zbl 1410.68076号 科学。计算。程序。 80,A部分,65-90(2014).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Pinho}和\textit{F.H.de Carvalho jun.},科学。计算。程序。80,A部分,65-90(2014;Zbl 1410.68076) 全文: 内政部
克里斯托夫·斯科利尔斯;埃里克·坦特;沃尔夫冈·德梅特 并行参与者监控器:从参与者模型中的数据分区中分离任务级并行。 (英语) Zbl 1410.68071号 科学。计算。程序。 80,A部分,52-64(2014).MSC公司:68平方米 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholliers}等人,科学。计算。程序。80,A部分,52--64(2014;Zbl 1410.68071) 全文: 内政部
月亮,Young-Joo;亚历山大·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴 一个组合模型,用于推理随机Reo连接器中的端到端QoS。 (英语) Zbl 1412.68065号 科学。计算。程序。 80,A部分,3-24(2014).MSC公司:2010年第68季度 68甲15 65年第68季度 第68季度55 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Moon}等人,科学。计算。程序。80,A部分,3--24(2014;Zbl 1412.68065) 全文: 内政部 arXiv公司