克莱门斯·格雷克;斯文·博多·舒尔茨;亚历克斯·沙法伦科 S-Net的异步流处理。 (英语) Zbl 1185.68216号 国际J并行程序。 38,第1号,38-67(2010).MSC公司:68N25号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Grelck}等人,《国际并行程序》。38,第1号,38--67(2010;Zbl 1185.68216) 全文: 内政部
米洛舍·米洛瓦诺维奇;罗杰·费雷尔;弗拉基米尔·加季诺夫;奥斯曼·S·安萨尔。;阿德里安·克里斯塔尔;爱德华·艾瓜德;马特奥·瓦莱罗 Nebelung:事务性openmp的执行环境。 (英语) Zbl 1147.68438号 国际J并行程序。 36,第3号,326-346(2008).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Milovanović}等人,《国际并行程序》。36,第3号,326--346(2008;Zbl 1147.68438) 全文: 内政部
肯托·埃莫托;胡镇江;Kakehi、Kazuhiko;Masato Takeichi 在二维数组上开发并行程序的组合框架。 (英语) Zbl 1125.68036号 国际J并行程序。 35,第6号,615-658(2007).MSC公司:68甲19 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{K.Emoto}等人,《国际并行程序》。35,编号6,615--658(2007年;Zbl 1125.68036) 全文: 内政部
Paraskevas Evripidou;乔治·萨马拉斯 移动代理的元计算。 (英语) Zbl 1104.68340号 国际J并行程序。 34,第5期,429-458(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{P.Evripidou}和\textit{G.Samaras},国际J.并行程序。34,第5号,429--458(2006;Zbl 1104.68340) 全文: 内政部
萨马尔·阿卜迪;丹尼尔·加伊斯基 验证系统级模型转换。 (英语) Zbl 1100.68061号 国际J并行程序。 34,第1期,29-59(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Abdi}和\textit{D.Gajski},国际J。并行程序。34、第1号、第29-59号(2006;Zbl 1100.68061) 全文: 内政部
米尔科·洛吉;蒂齐亚娜·玛格丽亚;格拉齐亚诺·普拉瓦德利;Steffen,伯恩哈德 嵌入式系统的动态和形式验证:一项比较调查。 (英语) Zbl 1099.68659号 国际J并行程序。 33,第6号,585-611(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Loghi}等人,《国际并行程序》。33,第6号,585--611(2005;Zbl 1099.68659) 全文: 内政部
Jean-Pierre塔宾;保罗·勒格尼;桑迪普·库马尔·舒克拉;拉杰什·古普塔 用于嵌入式系统设计和一致性检查的组合行为建模框架。 (英语) Zbl 1100.68070号 国际J并行程序。 33,第6号,613-643(2005).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,《国际并行程序》。33,第6号,613--643(2005;Zbl 1100.68070) 全文: 内政部 哈尔
曼弗雷德·布罗伊;托马斯·斯特里彻 共享资源仲裁的规范和设计。 (英语) Zbl 0741.68034号 国际J并行程序。 20,第1期,第1-22页(1991年).MSC公司:68N99型 68问题55 第68季度10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{T.Streicher},国际J。并行程序。20,第1号,1--22(1991;Zbl 0741.68034) 全文: 内政部
珍妮特·温格。 验证原子数据类型。 (英语) Zbl 0701.68076号 国际J并行程序。 18,第5号,315-357(1989).MSC公司:60年第68季度 68问题65 68米15 68米10 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing},国际J.并行程序。18,编号5,315--357(1989;Zbl 0701.68076) 全文: 内政部