爱德华多·古格尔(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) 全文: 内政部
范·埃姆登,M.H。 矩阵代码。 (英文) Zbl 1283.68219号 科学。计算。程序。 84, 3-21 (2014).MSC公司:60年第68季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden},科学。计算。程序。84、3--21(2014;Zbl 1283.68219) 全文: 内政部 arXiv公司
安迪·金(编辑) SCP关于声明式编程的原理和实践的特刊前言。 (英文) Zbl 1283.00018号 科学。计算。程序。 84, 1-2 (2014).MSC公司:00B25型 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.King}(编辑),科学。计算。程序。84,1--2(2014;Zbl 1283.00018) 全文: 内政部
大卫·列文斯;威廉·哈里森 对称封装多方法的实现结构抽象。 (英文) Zbl 1284.68190号 科学。计算。程序。 78,第7期,953-968(2013).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lievens}和\textit{W.Harrison},科学。计算。程序。78,编号7953-968(2013;Zbl 1284.68190) 全文: 内政部
基耶里·齐托;Atsushi Igarashi 将MyType与子类型匹配。 (英文) Zbl 1284.68107号 科学。计算。程序。 78,第7期,933-952(2013).MSC公司:68甲15 第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Saito}和\textit{A.Igarashi},科学。计算。程序。78,第7号,933--952(2013;Zbl 1284.68107) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 (英文) Zbl 1284.68101号 科学。计算。程序。 78,第7期,907-932(2013).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第7号,907--932(2013;Zbl 1284.68101) 全文: 内政部
爱德华多·罗德里格斯。;菲利普·奥·纳沃。;查罗·帕内塔;塞尔索·门德斯。 在虚拟处理器环境中保留原始MPI语义。 (英文) Zbl 1264.68048号 科学。计算。程序。 78,第4期,412-421(2013).MSC公司:第68页第19页 68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Rodrigues}等人,科学。计算。程序。78,第4号,412--421(2013;Zbl 1264.68048) 全文: 内政部
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 在类似Java的设置中,将特征与框和所有权类型相结合。 (英文) Zbl 1264.68046号 科学。计算。程序。 78,第2期,218-247(2013).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第2号,218--247(2013;Zbl 1264.68046) 全文: 内政部 链接
Sivaramakrishnan,K.C。;穆罕默德·库迪萨特;卢卡斯·齐亚雷克;卡提克·纳加拉杰;帕特里克·尤格斯特 高效会话。 (英文) Zbl 1264.68049号 科学。计算。程序。 78,第2期,147-167(2013).MSC公司:第68页第19页 64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \文本{K.C.Sivaramakrishnan}等人,科学。计算。程序。78,No.2,147--167(2013;Zbl 1264.68049) 全文: 内政部
爱德华多·凯斯勒·皮维塔;安娜·莫雷拉;皮门塔(Pimenta)、马塞洛·索尔斯(Marcelo Soares);乔昂·阿劳乔;佩德罗·格雷罗;普莱斯,R.汤姆 面向方面度量的实证研究。 (英文) 兹比尔1264.68064 科学。计算。程序。 78,第1期,117-144(2012).MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Piveta}等人,科学。计算。程序。78,第1号,117--144(2012;Zbl 1264.68064) 全文: 内政部
卡洛斯·卡纳尔;哈维尔·卡马拉;格温·萨拉恩 行为适应下的系统结构重构。 (英文) Zbl 1264.68047号 科学。计算。程序。 78,第1号,46-64(2012).MSC公司:第68页第19页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Canal}等人,科学。计算。程序。78,第1号,46--64(2012;Zbl 1264.68047) 全文: 内政部
沃尔夫冈·阿伦特;马克西米利安·迪拉 异步对象的组合验证系统。 (英文) Zbl 1264.68050号 科学。计算。程序。 77,第12期,1289-1309(2012).MSC公司:68号30 第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}和\textit{M.Dylla},科学。计算。程序。77,第12号,1289--1309(2012;Zbl 1264.68050) 全文: 内政部
阿尔芒·纳瓦比;张湘玉;苏雷什·贾甘纳森 安全期货的相关性分析。 (英文) Zbl 1243.68144号 科学。计算。程序。 77,第6期,707-726(2012).MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Navabi}等人,科学。计算。程序。77,第6号,707--726(2012;Zbl 1243.68144) 全文: 内政部
简朴的乔科;雷米·杜伦斯;帕斯卡·弗雷德特 保留属性的方面。 (英文) Zbl 1243.68143号 科学。计算。程序。 77,第3期,393-422(2012).MSC公司:第68页第19页 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Djoko Djoko}等人,科学。计算。程序。77,第3号,393--422(2012;Zbl 1243.68143) 全文: 内政部
安德烈·奥尔扎克;乔根森、博·诺雷加德 重新模块化Java程序以改进源代码中功能实现的局部性。 (英文) Zbl 1243.68145号 科学。计算。程序。 77,第3期,131-151(2012).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Olszak}和\textit{B.N.约根森},科学。计算。程序。77,第3号,131--151(2012;Zbl 1243.68145) 全文: 内政部
斯文·阿佩尔(编辑);克里斯蒂安·伦戈尔(编辑);朱莉娅·劳尔(编辑) 部分特刊:面向特性的软件开发(FOSD 2009)。2009年10月6日,美国科罗拉多州丹佛市,根据研讨会上的陈述选择论文。 (英文) Zbl 1246.68019号 科学。计算。程序。77,第3期,129-187(2012)。 MSC公司:68-06 00B25型 第68页第19页 68号30 PDF格式BibTeX公司 XML格式
洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文奈里 按对象组成进行委派。 (英文) Zbl 1217.68047号 科学。计算。程序。 76,第11期,992-1014(2011).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。76,第11号,992--1014(2011;Zbl 1217.68047) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;奥维,奥拉夫;马丁·斯特芬 针对多重继承的带有惰性行为子类型的增量推理。 (英文) Zbl 1221.68058号 科学。计算。程序。 76,第10期,915-941(2011).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,科学。计算。程序。76,第10号,915--941(2011;Zbl 1221.68058) 全文: 内政部
埃尔克·博伊滕(编辑);约翰·德里克(编辑);格哈德·谢尔霍恩(编辑) 特刊:2008年精炼研讨会。根据2008年5月27日在芬兰图尔库举行的第13次研讨会上的发言,选出了一些论文。 (英文) Zbl 1218.68007号 科学。计算。程序。76,编号9,737-833(2011年)。 MSC公司:68-06 00B25型 第68页第19页 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式
罗兰·杜库诺;让·普里瓦特 多重继承的元建模语义。 (英文) Zbl 1215.68060号 科学。计算。程序。 76,第7号,555-586(2011年).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Ducournau}和\textit{J.Privat},科学。计算。程序。76,第7号,555--586(2011;Zbl 1215.68060) 全文: 内政部 链接
阿尔西诺·库尼亚;Joost Visser公司 将结构化程序转换为XPath查询和战略功能。 (英文) Zbl 1215.68066号 科学。计算。程序。 76,第6号,516-539(2011).MSC公司:68号30 68甲18 第68页第19页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Cunha}和\textit{J.Visser},科学。计算。程序。76,编号6156-539(2011年;兹bl 1215.68066) 全文: 内政部 链接
克里斯托夫·卢特罗思;德雷克·德拉海姆;杰拉尔德·韦伯 一种用于反射程序生成器的类型系统。 (英文) Zbl 1215.68062号 科学。计算。程序。 76,第5期,392-422(2011).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutteroth}等人,科学。计算。程序。76,No.5,392--422(2011;Zbl 1215.68062) 全文: 内政部
黄珊珊;大卫·佐克;亚尼斯·斯马拉格达基斯 使用SafeGen生成静态安全的程序。 (英文) Zbl 1215.68054号 科学。计算。程序。 76,第5期,376-391(2011).MSC公司:68甲15 68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Huang}等人,科学。计算。程序。76,第5号,376--391(2011;Zbl 1215.68054) 全文: 内政部
雅克·卡雷特;奥列格·基塞利约夫 使用functor和monad的多级编程:消除泛型代码的抽象开销。 (英文) Zbl 1215.68059号 科学。计算。程序。 76,第5期,349-375(2011).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{O.Kiselyov},科学。计算。程序。76,No.5,349--375(2011;Zbl 1215.68059) 全文: 内政部
拉马林加姆,G。(编辑);埃尔科·维瑟(编辑) 特刊:部分评估和项目操作(PEPM 2007)。根据2007年1月在法国尼斯举行的ACM SIGPLAN 2007年研讨会上的演示文稿选出的论文。 (英文) 兹比尔1215.68022 科学。计算。程序。76,第6期,467-537(2011)。 MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式
罗伯特·格莱克(编辑);埃尔科·维瑟(编辑) 特刊:生成性编程和组件工程(GPCE 2004/2005)。根据2004年10月24日至28日在加拿大温哥华和2005年9月29日至10月1日在爱沙尼亚塔林举行的会议上所作的陈述,选定了经修订的论文。 (英文) 兹比尔1215.68015 科学。计算。程序。76,第5期,347-465(2011)。 MSC公司:68-06 68号30 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式
伯纳德·范加斯特尔;伦纳德·伦辛克;斯梅特泽斯,沙克;马克·范·埃克伦 无死锁和饥饿的可重入读写器:结合模型检查和定理证明的案例研究。 (英文) Zbl 1213.68193号 科学。计算。程序。 76,第2期,82-99(2011).MSC公司:第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.van Gastel}等人,科学。计算。程序。76,第2号,82-99(2011年;兹bl 1213.68193) 全文: 内政部
李国栋;罗伯特·帕尔默;迈克尔·德利西;加内什·戈帕拉克里什南;罗伯特·M·柯比。 MPI 2.0的形式化规范:指定实用并发编程API的案例研究。 (英文) Zbl 1209.68111号 科学。计算。程序。 76,第2期,65-81(2011).MSC公司:第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人,科学。计算。程序。76,No.2,65--81(2011;Zbl 1209.68111) 全文: 内政部
亚历山德罗·里奇;米尔科·维罗利;朱利奥·皮安卡斯特利 simpA:一种基于Java的面向代理的并发应用程序编程方法。 (英文) Zbl 1211.68055号 科学。计算。程序。 76,第1号,37-62(2011).MSC公司:68甲15 第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ricci}等人,科学。计算。程序。76,第1号,37--62(2011;Zbl 1211.68055) 全文: 内政部
埃尔克·博伊滕;约翰·德里克 阻塞范式中关系模拟的不完整性。 (英文) Zbl 1209.68306号 科学。计算。程序。 75,第12期,1262-1269(2010).MSC公司:68问题55 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},科学。计算。程序。75,第12号,1262--1269(2010;Zbl 1209.68306) 全文: 内政部
埃里克·坦特;Fabry,Johan约翰;雷米·杜伦斯;雅克·诺伊;马里奥·苏霍尔特 分布式方面的范围界定策略。 (英文) Zbl 1209.68113号 科学。计算。程序。 75,第12期,1235-1261(2010).MSC公司:第68页第19页 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃·坦特}等人,科学。计算。程序。75,第12号,1235--1261(2010;Zbl 1209.68113) 全文: 内政部
彼得·皮尔克鲍尔;尤里·索洛德基;Bjarne斯特劳斯特鲁普 C++开放式多方法的设计与评估。 (英文) Zbl 1211.68054号 科学。计算。程序。 75,第7期,638-667(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Pirkelbauer}等人,科学。计算。程序。75,第7号,638--667(2010;Zbl 1211.68054) 全文: 内政部
乔治·荣格;约翰·哈特克利夫 一种以类型为中心的框架,用于指定异构、大规模、面向组件的体系结构。 (英文) 兹比尔1211.68072 科学。计算。程序。 75,第7期,615-637(2010).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.Jung}和\textit{J.Hatcliff},科学。计算。程序。75,第7号,615--637(2010;Zbl 1211.68072) 全文: 内政部
帕斯卡·弗雷德特;哈,Stéphane Hong Tuan 可用性方面。强制执行定时属性以防止拒绝服务。 (英文) Zbl 1211.68070号 科学。计算。程序。 75,第7期,516-542(2010).MSC公司:第68页第19页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Fradet}和\textit{S.H.T.Ha},科学。计算。程序。75,编号7,516--542(2010;Zbl 1211.68070) 全文: 内政部
J·J·哈利特。;维克托·卢昌科;柳,苏京;盖·利·朱·斯蒂尔(Guy L.jun Steele)。 将强制与子类型和多重分派集成。 (英文) Zbl 1197.68033号 科学。计算。程序。 75,第9期,787-795(2010).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Hallett}等人,科学。计算。程序。75,第9号,787--795(2010;Zbl 1197.68033) 全文: 内政部
彼得·皮尔克鲍尔;家长,肖恩;马库斯,马特;Bjarne斯特劳斯特鲁普 运行时概念的动态算法选择。 (英文) Zbl 1197.68036号 科学。计算。程序。 75,第9期,773-786(2010).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Pirkelbauer}等人,科学。计算。程序。75,第9号,773--786(2010;Zbl 1197.68036) 全文: 内政部
贾科·加尔维;约翰·弗里曼 C++lambda表达式和闭包。 (英文) Zbl 1197.68034号 科学。计算。程序。 75,第9期,762-772(2010).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{Järvi}和\textit{J.Freeman},科学。计算。程序。75,第9号,762--772(2010;Zbl 1197.68034) 全文: 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 (英文) Zbl 1191.68168号 科学。计算。程序。 75,第3期,106-133(2010).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人,科学。计算。程序。75,编号3,106--133(2010;Zbl 1191.68168) 全文: 内政部
奥塔维奥古斯托·拉扎里尼·莱莫斯;伊万·古斯塔沃·弗朗辛;保罗·塞萨尔·马西埃罗 面向对象和面向方面程序的集成测试:Java的结构成对方法。 (英文) Zbl 1192.68122号 科学。计算。程序。 74,第10号,861-878(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{O.A.L.Lemos}等人,科学。计算。程序。74,第10号,861--878(2009;Zbl 1192.68122) 全文: 内政部
弗朗西斯科·奥尔丁;何塞·曼努埃尔·雷东多;加西亚·佩雷斯·斯科菲尔德,J.巴尔塔萨尔 高效的虚拟机支持运行时结构反射。 (英文) Zbl 1192.68146号 科学。计算。程序。 74,第10号,836-860(2009).MSC公司:第68页第25页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Ortin}等人,《科学》。计算。程序。74,第10号,836--860(2009;Zbl 1192.68146) 全文: 内政部 链接
科科特,J.R.B。;克雷格·帕斯特罗 消息传递的逻辑。 (英文) Zbl 1175.68105号 科学。计算。程序。 74,第8期,498-533(2009).MSC公司:第68页第19页 03楼52 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{C.Pastro},科学。计算。程序。74,第8号,498--533(2009;Zbl 1175.68105) 全文: 内政部 arXiv公司
洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文奈里 具有动态和静态重载的轻量级Java。 (英文) Zbl 1183.68137号 科学。计算。程序。 74,编号5-6,261-278(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。74,编号5--6261--278(2009;Zbl 1183.68137) 全文: 内政部
罗伯特·科尔文;布里杰什·多戈尔 一种证明锁自由的通用技术。 (英文) Zbl 1157.68024号 科学。计算。程序。 74,第3期,143-165(2009).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}和\textit{B.Dongol},科学。计算。程序。74,第3号,143--165(2009;Zbl 1157.68024) 全文: 内政部
Vu,Thuy Duong先生 转到程序代数中的消去。 (英文) Zbl 1178.68129号 科学。计算。程序。 73,编号2-3,95-128(2008).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{T.D.Vu},科学。计算。程序。73,编号2--3,95-128(2008;Zbl 1178.68129) 全文: 内政部
明洪钟 科学代码。Net:面向对象的科学编程。 (英文) Zbl 1151.68359号 科学。计算。程序。 71,第3期,242-247(2008).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.-H.Chung},科学。计算。程序。71,第3242-247号(2008年;兹bl 1151.68359) 全文: 内政部
科马克·弗拉纳根;斯蒂芬·弗伦德(Stephen N.Freund)。 雾化器:多线程程序的动态原子性检查器。 (英文) Zbl 1146.68350号 科学。计算。程序。 71,第2期,89-109(2008).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}和\textit{S.N.Freund},科学。计算。程序。71,No.2,89--109(2008;Zbl 1146.68350) 全文: 内政部
拉尔夫·拉梅尔 谷歌的MapReduce编程模型——重温。 (英文) 兹比尔1129.68414 科学。计算。程序。 70,第1期,1-30页(2008年).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel},科学。计算。程序。70,第1号,1--30(2008;Zbl 1129.68414) 全文: 内政部
J.卡伯特。;特尼恩特,E。 OCL约束的转换技术。 (英文) Zbl 1131.68356号 科学。计算。程序。 68,第3期,179-195(2007).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.Cabot}和\textit{E.Teniente},科学。计算。程序。68,第3号,179--195(2007;Zbl 1131.68356) 全文: 内政部 链接
斯迪恩·弗斯蒂切尔;索菲·范·霍克;Matthias Strobbe公司;史蒂文·范·登·伯格;菲利普·德·图尔克;巴特·德霍特;彼得·德梅斯特;弗雷德里克·弗默伦 用于下一代列车主干的Ontology-driven中间件。 (英文) Zbl 1115.68373号 科学。计算。程序。 66,第1期,4-24(2007).MSC公司:第68页第19页 68T27型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Verstichel}等人,科学。计算。程序。66,第1、4--24号(2007;Zbl 1115.68373) 全文: 内政部
迈克尔·科隆。 命令式程序关系语义的多项式近似。 (英文) Zbl 1171.68541号 科学。计算。程序。 64,第1期,76-96(2007).MSC公司:68问题55 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Colón},科学。计算。程序。64,编号1,76-96(2007年;兹bl 1171.68541) 全文: 内政部
柯蒂斯·克利夫顿;加里·莱文斯。 \(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 (英文) Zbl 1170.68421号 科学。计算。程序。 63,第3期,321-374(2006).MSC公司:第68页第19页 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Clifton}和\textit{G.T.Leavens},科学。计算。程序。63,第3号,321--374(2006;Zbl 1170.68421) 全文: 内政部
阿尔蒂森,K。;马兰尼奇,F。;Stauch博士。 反应系统的面向方面编程:Larissa,同步框架中的一项提案。 (英文) Zbl 1119.68045号 科学。计算。程序。 63,第3期,297-320(2006).MSC公司:第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人,科学。计算。程序。63,第3号,297--320(2006;Zbl 1119.68045) 全文: 内政部
拉德哈·贾加迪桑;阿兰·杰弗里;詹姆斯·里利 方面的类型化参数多态性。 (英文) Zbl 1119.68048号 科学。计算。程序。 63,第3期,267-296(2006).MSC公司:第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Jagadeesan}等人,科学。计算。程序。63,第3号,267--296(2006;Zbl 1119.68048) 全文: 内政部
乔安·卡乔波;安东尼奥·里托·席尔瓦 版本控制框是内存事务的基础。 (英文) 兹比尔1119.68046 科学。计算。程序。 63,第2期,172-185(2006).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.Cachopo}和\textit{A.Rito-Silva},科学。计算。程序。63,第2号,172--185(2006;Zbl 1119.68046) 全文: 内政部 链接
约翰·丹纳赫(John S.Danaher)。;李·安吉丽娜;查尔斯·雷瑟森(Charles E.Leiserson)。 在JCilk中使用异常进行编程。 (英文) Zbl 1114.68023号 科学。计算。程序。 63,第2期,147-171(2006).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Danaher}等人,科学。计算。程序。63,第2号,147--171(2006;Zbl 1114.68023) 全文: 内政部 链接
帕特里克·尤格斯特;塞巴斯蒂安·沃库勒尔 组成原子特征。 (英文) Zbl 1119.68047号 科学。计算。程序。 63,第2期,130-146(2006).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Eugster}和\textit{S.Vaucouleur},科学。计算。程序。63,第2号,130--146(2006;Zbl 1119.68047) 全文: 内政部
彼得·米勒;阿恩·施·赫夫特;加里·莱文斯。 分层对象结构的模块不变量。 (英文) Zbl 1100.68539号 科学。计算。程序。 62,第3期,253-286(2006).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Müller}等人,科学。计算。程序。62,第3号,253--286(2006;Zbl 1100.68539) 全文: 内政部 链接
格雷戈里·内弗罗夫;保罗·罗 具有面向对象、多阶段语言的经验。 (英文) Zbl 1100.68532号 科学。计算。程序。 62,第1期,85-94(2006).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Neverov}和\textit{P.Roe},科学。计算。程序。62,第1号,85--94(2006;Zbl 1100.68532) 全文: 内政部
阿尔伯特·科恩;塞巴斯蒂安·多纳迪奥;玛丽亚·加扎兰-耶稣;克里斯托夫·赫尔曼;奥列格·基塞利约夫;大卫·帕多瓦 寻找一个程序生成器来实现高性能计算的通用转换。 (英文) Zbl 1100.68535号 科学。计算。程序。 62,第1期,25-46(2006).MSC公司:第68页第19页 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}等人,《科学》。计算。程序。62、第1号、第25-46号(2006;Zbl 1100.68535) 全文: 内政部
康斯坦蒂诺斯·萨戈纳斯;杰斯珀·威廉姆森 使用消息传递的并发程序的高效内存管理。 (英文) Zbl 1103.68451号 科学。计算。程序。 62,第2号,98-121(2006).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}和\textit{J.Wilhelmsson},科学。计算。程序。62,No.2,98--121(2006;Zbl 1103.68451) 全文: 内政部
阿卜杜勒萨拉姆·沙内布;约翰·波特;詹姆斯·诺布尔 复合对象的排除要求和潜在并发性。 (英文) Zbl 1080.68546号 科学。计算。程序。 58,第334-365号(2005年).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.Shanneb}等人,科学。计算。程序。58,第3号,344--365(2005;Zbl 1080.68546) 全文: 内政部
苏雷什·贾甘纳森;维泰克,简;亚当·韦尔奇;安东尼·霍斯金 事务对象演算。 (英文) Zbl 1076.68021号 科学。计算。程序。 57,第2期,164-186(2005).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.Jagannathan}等人,科学。计算。程序。57,第2号,164--186(2005;Zbl 1076.68021) 全文: 内政部
乌苏拉·舍本 工业组件的层次结构。 (英文) Zbl 1080.68560号 科学。计算。程序。 56,编号1-2117-139(2005).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{U.Scheben},科学。计算。程序。56,编号1--2,117-139(2005;Zbl 1080.68560) 全文: 内政部
Hironori Washizaki公司;Fukazawa、Yoshiaki 通过重构从面向对象程序中自动提取组件的技术。 (英文) Zbl 1080.68561号 科学。计算。程序。 56,编号1-2,99-116(2005).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{H.Washizaki}和\textit{Y.Fukazawa},科学。计算。程序。56,编号1--2,99-116(2005;Zbl 1080.68561) 全文: 内政部
M.隆佩。;施耐德,J.-G。 用于软件组合的基于表单的元模型。 (英文) 兹比尔1101.68461 科学。计算。程序。 56,第1-2号,59-78(2005).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.Lumpe}和\textit{J.G.Schneider},科学。计算。程序。56,编号1--2,59-78(2005;Zbl 1101.68461) 全文: 内政部 链接
达姆,沃纳;伯恩哈德·约斯科;阿米尔·普努利;Angelika Votinseva 安全关键型应用程序中并发和通信的离散时间UML语义。 (英文) Zbl 1075.68048号 科学。计算。程序。 55,编号1-3,81-115(2005).MSC公司:68问题55 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。55,编号1--3,81-115(2005;Zbl 1075.68048) 全文: 内政部
法哈德·阿尔巴 抽象行为类型:组件及其组合的基础模型。 (英文) Zbl 1075.68014号 科学。计算。程序。 55,第1-3、3-52号(2005年).MSC公司:第68页第19页 68号30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab},科学。计算。程序。55,编号1--3,3--52(2005;Zbl 1075.68014) 全文: 内政部 链接
乌韦兹敦 通过运行时方法转换支持增量和实验性软件进化。 (英文) Zbl 1072.68522号 科学。计算。程序。 52,编号1-3,131-163(2004).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{U.Zdun},科学。计算。程序。52,编号1--3,131-163(2004;Zbl 1072.68522) 全文: 内政部
保罗·博尔巴;奥古斯托·桑帕约;安娜·卡瓦尔坎蒂;墨西哥科内里奥 面向对象编程的代数推理。 (英文) Zbl 1091.68027号 科学。计算。程序。 52,编号1-3,53-100(2004).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人,科学。计算。程序。52,编号1--3,53-100(2004;Zbl 1091.68027) 全文: 内政部
D.L.里斯。L。;斯蒂芬森,K。;J.V.塔克。 接口的代数结构。 (英文) Zbl 1078.68099号 科学。计算。程序。 49,编号1-3,47-88(2003).MSC公司:第68季度第65季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.Ll.L.Rees}等人,科学。计算。程序。49,编号1--3,47-88(2003;Zbl 1078.68099) 全文: 内政部
曹建农;阿尔文·陈;孙玉东;张康 面向图形的分布式编程环境中的动态配置管理。 (英文) Zbl 1056.68059号 科学。计算。程序。 48,第1期,43-65(2003).MSC公司:第68页第19页 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Cao}等人,科学。计算。程序。48,第1号,43-65(2003;Zbl 1056.68059) 全文: 内政部
Siobhán Clarke 使用模型组合语义扩展标准UML。 (英文) Zbl 1016.68022号 科学。计算。程序。 44,第1号,71-100(2002).MSC公司:68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Clarke},科学。计算。程序。44,第1号,71--100(2002;Zbl 1016.68022) 全文: 内政部
刘燕红A。;斯科特·斯托勒。;蒂姆·泰特尔鲍姆 加强不变量以实现高效计算。 (英文) Zbl 0988.68052号 科学。计算。程序。 41,第2期,139-172(2002).MSC公司:68N20型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Liu}等人,科学。计算。程序。41,第2号,139--172(2002年;兹bl 0988.68052) 全文: 内政部
安德烈亚·奥米西尼;恩里科·丹蒂 从元组空间到元组中心。 (英文) Zbl 0989.68120号 科学。计算。程序。 41,第3期,277-294(2001).MSC公司:68T05型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.Omicini}和\textit{E.Denti},科学。计算。程序。41,第3号,277--294(2001;Zbl 0989.68120) 全文: 内政部
汉娜·克劳代尔 带有过程的并行编程语言的组合高级Petri网语义。 (英文) 兹比尔0998.68035 科学。计算。程序。 41,第3期,195-240(2001).MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel},科学。计算。程序。41,第3号,195--240(2001;Zbl 0998.68035) 全文: 内政部
贝尼亚米·迪·马蒂诺;安东尼诺·马佐奥;尼古拉·马佐卡;翁贝托·维拉诺 通过检测点对点交互模式及其转换为集体通信结构来进行并行程序分析和重组。 (英文) Zbl 0990.68042号 科学。计算。程序。 40,编号2-3,235-263(2001).MSC公司:第68页第19页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Martino}等人,科学。计算。程序。40,编号2--3235-263(2001;Zbl 0990.68042) 全文: 内政部
安东尼奥,G。;卡普里尔,B。;A.波特里奇。;托内拉,P。 设计代码跟踪恢复:选择基本链接属性。 (英文) Zbl 0990.68041号 科学。计算。程序。 40,第2-3号,213-234(2001).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.Antoniol}等人,科学。计算。程序。40,编号2--3,213--234(2001;Zbl 0990.68041) 全文: 内政部
鲁道夫·伯哈默;托尔斯滕·霍夫曼 通过重建Richardson定理的证明,导出用于计算内核的关系程序。 (英文) 兹比尔0957.68029 科学。计算。程序。 38,编号1-3,1-25(2000).MSC公司:第68页第19页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{T.Hoffmann},科学。计算。程序。38,编号1--3,1--25(2000;Zbl 0957.68029) 全文: 内政部
杰·巴里 根据形状计算并行程序的成本。 (英文) Zbl 0954.68043号 科学。计算。程序。 37,编号1-3,207-224(2000).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jay},科学。计算。程序。37,编号1--3,207--224(2000;Zbl 0954.68043) 全文: 内政部
罗格斯·M·迪杰斯特拉。 计算微积分弥合了形式化的鸿沟。 (英文) Zbl 0954.68042号 科学。计算。程序。 37,编号1-3,3-36(2000).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Dijkstra},科学。计算。程序。37,编号1--3,3--36(2000;Zbl 0954.68042) 全文: 内政部
谢尔盖·戈拉奇 并行程序开发中列表同态的提取与实现。 (英文) Zbl 0942.68027号 科学。计算。程序。 33,第1期,1-27页(1999年).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.Gorlatch},科学。计算。程序。33,编号1,1--27(1999;Zbl 0942.68027) 全文: 内政部
Ciancarini,P。;M·马扎。;巴扎利亚,L。 具有多个空间的协调模型的逻辑。 (英文) Zbl 0941.68025号 科学。计算。程序。 31,编号2-3,231-261(1998).MSC公司:第68页第19页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Ciancarini}等人,科学。计算。程序。31,No.2--3,231--261(1998;Zbl 0941.68025) 全文: 内政部
Jean-Marc安德烈奥利;弗朗索瓦·帕库尔;丹尼尔·帕加尼;雷莫·帕雷斯基 动态分布式对象服务的多方协商。 (英文) Zbl 0941.68024号 科学。计算。程序。 31,第2-3号,179-203(1998).MSC公司:第68页第19页 68M10个 PDF格式BibTeX公司 XML格式引用 \文本{J.-M.Andreoli}等人,科学。计算。程序。31,No.2--3,179--203(1998;Zbl 0941.68024) 全文: 内政部