希切姆·黛比 概率模型检查中基于约束的调试。 (英语) Zbl 1519.68132号 计算 105,编号2,321-351(2023).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi},Computing 105,No.2,321--351(2023年;Zbl 1519.68132) 全文: 内政部
彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 广播网络的活力。 (英语) Zbl 1506.68008号 计算 104,第10号,2203-2223(2022).MSC公司:68M10个 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chini}等人,Computing 104,No.10,2203--2223(2022;Zbl 1506.68008) 全文: 内政部 arXiv公司
拉希德·泽诺;拉纳德普·比斯沃斯;艾哈迈德·博阿贾尼;康斯坦丁埃纳;穆罕默德·埃拉迪 检查分布式数据库的因果一致性。 (英语) 兹比尔1506.68022 计算 104,第10号,2181-2201(2022).MSC公司:第68页,共15页 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zennou}等人,Computing 104,No.10,2181--2201(2022;Zbl 1506.68022) 全文: 内政部 arXiv公司
罗伯特·米特迈尔;约翰·布利伯格 障碍同步并发程序的死锁和WCET分析。 (英语) 兹比尔1473.68050 计算 103,第5号,749-770(2021).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mittermayr}和\textit{J.Blieberger},《计算》103,第5期,749--770(2021;Zbl 1473.68050) 全文: 内政部
维斯特巴卡,伊纳;埃琳娜·特鲁比西纳 建模弹性协作多智能体系统。 (英语) Zbl 1473.68193号 计算 103,第4期,535-557(2021).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Vistbakka}和\textit{E.Troubitsyna},计算机103,No.4,535--557(2021;Zbl 1473.68193) 全文: 内政部
雷兹瓦纳·雷兹;阿查里亚,H.B。;Elmallah,Ehab S。;Jorge A.科布。;穆罕默德·古达。 策略表达式和计算策略的自下而上设计。 (英语) Zbl 1459.68123号 计算 101,第9期,1307-1326(2019).MSC公司:60年第68季度 03B70号 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{R.Reaz}等人,《计算101》,第9期,第1307--1326页(2019年;Zbl 1459.68123) 全文: 内政部
贾德·哈姆扎 关于线性化的复杂性。 (英语) Zbl 1459.68083号 计算 101,第9期,1227-1240(2019).MSC公司:65年第68季度 2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hamza},Computing 101,No.9,1227--1240(2019;Zbl 1459.68083) 全文: 内政部 arXiv公司
苏哈·奥伦·穆特鲁吉尔;塞尔达尔·塔西兰 Chase Lev deque的机械化精细化证明,使用证明系统。 (英语) Zbl 1458.68276号 计算 101,第1号,59-74(2019).MSC公司:68宽10 68第05页 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Mutluergil}和\textit{S.Tasiran},《计算101》,第1期,第59-74页(2019年;Zbl 1458.68276) 全文: 内政部
陈金云 勘误表:“应用三重自适应策略计算定积分的区间封闭”。 (英语) Zbl 1408.65010号 计算 99,No.4,427(2017).MSC公司:65天32分 65G20个 65G30型 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Chen},Computing 99,No.4,427(2017;Zbl 1408.65010) 全文: 内政部
纳赫拉·哈达尔;穆罕默德·特马尔;法埃兹·加古里 以数据为中心的业务流程管理方法。 (英语) Zbl 1352.68184号 计算 98,第4期,375-406(2016).MSC公司:68问题85 68第05页 60年第68季度 90B50型 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Haddar}等人,Computing 98,No.4,375--406(2016;Zbl 1352.68184) 全文: 内政部
阿里·卡索;玛丽亚·托罗;费哈特·肯德克 比较高可用性中间件的冗余模型。 (英语) Zbl 1305.68039号 计算 96,第10号,975-993(2014).MSC公司:68米15 60华氏30 68号30 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanso}等人,Computing 96,No.10,975--993(2014;Zbl 1305.68039) 全文: 内政部
赵永旺;李竹青;沈华雷;马殿福 开发动态自适应软件的全球规范。 (英语) Zbl 1314.68103号 计算 95,第9期,785-816(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}等人,Computing 95,No.9,785--816(2013;Zbl 1314.68103) 全文: 内政部
哈维尔·卡马拉;罗杰里奥·德莱莫斯;马可·维埃拉;拉奎尔·阿尔梅达;拉斐尔·文图拉 自适应系统基于体系结构的弹性评估。 (英语) Zbl 1314.68104号 计算 95,第8号,689-722(2013).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cámara}等人,《计算》95,第8期,689--722(2013;Zbl 1314.68104) 全文: 内政部 链接
陈德久;冯磊;塔希尔·纳西尔·库雷希;亨利克·洛恩;弗兰克·哈格尔 用于分析、验证和验证软件密集型嵌入式系统的体系结构方法。 (英语) Zbl 1314.68181号 计算 95,编号8,649-688(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Chen}等人,Computing 95,No.8,649--688(2013;Zbl 1314.68181) 全文: 内政部
曹靖;阿尔伯特·奈梅耶 一种用于验证web服务中介的设计方法。 (英语) Zbl 1314.68036号 计算 95,第7号,567-610(2013).MSC公司:68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cao}和\textit{A.Nymeyer},《计算》95,第7期,567--610(2013;Zbl 1314.68036) 全文: 内政部
德拉甘·伊万诺维奇;曼纽尔·卡罗;曼努埃尔五世(Manuel V.Hermenegildo)。 一种基于共享的方法,用于支持服务组合中的自适应。 (英语) Zbl 1314.68065号 计算 95,第6期,453-492(2013).MSC公司:64岁以下 68单位35 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ivanović}等人,Computing 95,No.6,453--492(2013;Zbl 1314.68065) 全文: 内政部 链接
盖博·雷布纳;叶卡捷琳娜·奥尔;沃尔夫拉姆·路德 基于Dempster-Shafer的故障树分析的验证实现。 (英语) Zbl 1238.65038号 计算 94,编号2-4,313-324(2012).MSC公司:65G20个 60A99型 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rebner}等人,《计算》94,第2--4313--324号(2012;Zbl 1238.65038) 全文: 内政部
伊娃·迪隆;斯特凡·基尔 使用不同距离封闭算法在隐式对象之间验证距离计算的比较。 (英语) Zbl 1238.65037号 计算 94,编号2-4,281-296(2012).MSC公司:65G20个 PDF格式BibTeX公司 XML格式引用 \textit{E.Dylong}和\textit{S.Kiel},《计算》94,第2--4281--296期(2012;Zbl 1238.65037) 全文: 内政部
叶卡捷琳娜·奥尔;安德烈亚斯·劳赫 VERICOMP:一个比较和评估已验证IVP解决方案的系统。 (英语) 兹比尔1238.65064 计算 94,编号2-4,163-172(2012).MSC公司:65升05 34A34飞机 65G20个 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Auer}和\textit{A.Rauh},《计算》94,第2--4163-172期(2012;Zbl 1238.65064) 全文: 内政部
于尔根·加洛夫 求解线性区间方程对称正定组的直接方法的枢轴拧紧。 (英语) Zbl 1238.65019号 计算 94,编号2-4,97-107(2012).MSC公司:65平方英尺 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Garloff},Computing 94,No.2--4,97-107(2012;Zbl 1238.65019) 全文: 内政部
迈克尔·齐默;沃尔特·克雷默;Evgenija D.波波娃。 参数线性系统验证解的求解器。 (英语) Zbl 1238.65021号 计算 94,编号2-4,109-123(2012).MSC公司:65平方英尺 65层50 65G20个 65G99型 2005年5月 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmer}等人,《计算》94,第2--4、109-123号(2012年;Zbl 1238.65021) 全文: 内政部
沃尔特·克雷默 C-XSC中的多个/任意精度区间计算。 (英语) Zbl 1238.65042号 计算 94,编号2-4,229-241(2012).MSC公司:65G40型 6504年 65小时05 65G20个 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{W.Krämer},《计算》94,第2--4、229--241号(2012;Zbl 1238.65042) 全文: 内政部
詹姆·纳瓦;弗拉基克·克里诺维奇 模型验证的间隔技术。 (英语) 兹比尔1238.65043 计算 94,编号2-4,257-269(2012).MSC公司:65G40型 65G20个 90C05(二氧化碳) 65千5 PDF格式BibTeX公司 XML格式引用 \textit{J.Nava}和\textit{V.Kreinovich},《计算》94,第2--4257--269号(2012;Zbl 1238.65043) 全文: 内政部 链接
查特吉,S。;南安格姆。;辛格,J.B。;L.N.乌帕迪亚亚。 软件可靠性中的传递函数建模。 (英语) Zbl 1228.68021号 计算 92,第1期,33-48(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatterjee}等人,《计算》92,第1期,33-48(2011;Zbl 1228.68021) 全文: 内政部
郑宇军;薛、缙云 一种基于问题简化的离散优化算法设计方法。 (英语) Zbl 1192.68437号 计算 88,编号1-2,31-54(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zheng}和\textit{J.Xue},《计算》88,第1--2、31-54期(2010;Zbl 1192.68437) 全文: 内政部
陈金云 应用三重自适应策略计算定积分的区间封闭。 (英语) Zbl 1100.65017号 计算 78,第1期,81-99(2006); 勘误表同上,第99号,第427页(2017年)。MSC公司:65天32分 65G20个 65G30型 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Chen},Computing 78,No.1,81--99(2006;Zbl 1100.65017) 全文: 内政部
Murashige,S。;Oishi,S。 Nekrasov积分方程解的数值验证。 (英语) Zbl 1076.65123号 计算 75,第1期,15-25(2005). 审核人:I.V.Boikov(彭扎) MSC公司:65兰特 65G20个 45克05 76B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Murashige}和\textit{S.Oishi},《计算》75,第1期,15-25(2005;Zbl 1076.65123) 全文: 内政部
麻省理工Nakao。;K.桥本。;Y.渡边。 验证线性椭圆算子可逆性的数值方法及其在非线性问题中的应用。 (英语) Zbl 1151.35337号 计算 75,第1期,第1-14页(2005年).MSC公司:35J25型 35J60型 65N25型 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao}等人,《计算》75,第1期,第1-14页(2005;Zbl 1151.35337) 全文: 内政部 链接
胡新云;李子才 验证降低的收敛速度。 (英语) Zbl 1068.65121号 计算 74,第1期,67-73(2005).MSC公司:65N12号 65号06 35J05型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{H.-Y.Hu}和\textit{Z.-C.Li},《计算》74,第1期,第67-73页(2005;Zbl 1068.65121) 全文: 内政部
彼得拉斯,K。 算术平均亚式期权积分表示的数值计算。 (英语) Zbl 1121.91368号 计算 73,第1期,25-39(2004).MSC公司:91B28型 65天30分 65D25个 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{K.Petras},《计算》73,第1期,25-39(2004;Zbl 1121.91368) 全文: 内政部
A.Frommer。;B.朗。;施努尔,M。 Moore和Miranda存在性测试的比较。 (英语) Zbl 1069.47060号 计算 72,第3-4号,349-354(2004). 审核人:科斯蒂克·莫罗沙努(Iaši) MSC公司:47甲10 65G20个 65G40型 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frommer}等人,《计算》72,第3-4期,349--354(2004;Zbl 1069.47060) 全文: 内政部
M.奈尔。 复解析函数的平均值形式。 (英语) Zbl 1045.65040号 计算 67,第3期,255-268(2001). 审核人:吉·罗恩(普拉哈) MSC公司:65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Neher},《计算》67,第3期,255--268(2001;Zbl 1045.65040) 全文: 内政部
美国斯托克。 一种具有定积分自动结果验证的自适应数值积分算法。 (英语) 兹伯利0967.65036 计算 65,第3期,271-280(2000). 审核人:吉·罗恩(普拉哈) MSC公司:65天32分 41A55型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{U.Storck},《计算》65,第3期,271--280(2000;Zbl 0967.65036) 全文: 内政部
Nagatou,K。 一种验证椭圆特征值问题具有唯一性的数值方法。 (英语) Zbl 0941.65108号 计算 63,第2期,109-130(1999). 审核人:W.Velte(瓦茨堡) MSC公司:65N25型 第35页 65G20个 65N30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nagatou},《计算》63,第2期,109--130(1999;Zbl 0941.65108) 全文: 内政部
von Issendorff,H。 二进制事件演算的一些推广。 (英语) Zbl 0945.03044号 计算 58,第1期,91-94(1997).MSC公司:03B70号 60年第68季度 03B50号 06年06月06日 08A55号 68问题85 05年6月 08A70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.von Issendorff},《计算》58,第1期,91-94(1997;Zbl 0945.03044) 全文: 内政部
陈晓军 非光滑方程解的一种验证方法。 (英语) Zbl 0882.65038号 计算 58,第3期,281-294(1997). 审核人:S.Markov(索菲亚) MSC公司:65H10型 65G30型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen},Computing 58,No.3,281--294(1997;Zbl 0882.65038) 全文: 内政部
von Issendorff,H。 时间和逻辑:二进制事件的演算。 (英语) 兹比尔0827.03010 计算 54,第3期,227-240(1995). 审核人:C.Masalagiu(伊阿什) MSC公司:03B45 2010年第68季度 60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{H.von Issendorff},《计算》54,第3期,227--240(1995;Zbl 0827.03010) 全文: 内政部
Berlejung,H.M.E。 使用符号程序跟踪的测试环境。 (英语) Zbl 0817.65033号 计算 53,No.3-4,289-299(1994). 审核人:S.Markov(索菲亚) MSC公司:65克50 65G30型 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{H.M.E.Berlejung},《计算》53,第3--4、289--299号(1994;Zbl 0817.65033) 全文: 内政部
路德·W·J·。;W·奥顿。 验证了一阶锁相环方程特征值与一般鉴相器特性的包含。 (英语) Zbl 0817.65068号 计算 52,第3213-232号(1994年). 审核人:S.Markov(索菲亚) MSC公司:65升15 65G30型 34升15 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Luther}和\textit{W.Otten},《计算》52,第3期,213--232(1994;Zbl 0817.65068) 全文: 内政部
Jahn,K.-U.(英国)。 浮点算法中的循环不变量。 (英语) Zbl 0779.65028号 计算 50,第3期,255-264(1993). 审核人:U.Göhner(莱昂伯格) MSC公司:65克50 65G30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.U.Jahn},《计算》50,第3期,255--264(1993;Zbl 0779.65028) 全文: 内政部
捷克,Z。 活变量问题的区域分析算法。 (英语) Zbl 0547.68064号 计算 33, 193-210 (1984).MSC公司:68兰特 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.捷克},计算33,193--210(1984;Zbl 0547.68064) 全文: 内政部
臀部,S.M。;博姆·H·。 单精度算术表达式的最低有效位计算。 (英语) Zbl 0494.65020号 计算 30, 189-199 (1983).MSC公司:65克50 65D20个 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump}和\textit{H.Boehm},计算30,189--199(1983;Zbl 0494.65020) 全文: 内政部
臀部,S.M。 以最低有效位精度求解非线性系统。 (英语) Zbl 0485.65036号 计算 29, 183-200 (1982).MSC公司:65H10型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},计算29,183--200(1982;Zbl 0485.65036) 全文: 内政部
马泰蒂(P.Mateti)。;德奥,N。 单源最短路径问题的并行算法。 (英语) Zbl 0479.68068号 计算 29, 31-49 (1982).MSC公司:68兰特 第68页第25页 68瓦99 60年第68季度 05立方38 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateti}和\textit{N.Deo},计算29,31-49(1982;Zbl 0479.68068) 全文: 内政部
考彻,E。;臀部,S.M。 不动点方程f(x)=x的E方法。 (英语) 兹伯利0474.65039 计算 28, 31-42 (1982).MSC公司:65J15年 65G30型 65H10型 65层10 PDF格式BibTeX公司 XML格式引用 \textit{E.Kaucher}和\textit{S.M.Rump},计算28,31-42(1982;Zbl 0474.65039) 全文: 内政部
谢尔尼亚夫斯基,J.C。 [W.戈德法布。] 勘误表:功能迭代逻辑和流程图。 (英语) Zbl 0425.68024号 计算 23, 393-394 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Cherniavsky},计算23,393--394(1979;Zbl 0425.68024) 全文: 内政部
利普,W.M。;西蒙,F。 Zur Elimination von Prozedurschachtelungen公司。 (德语) Zbl 0416.68010号 计算 23, 119-138 (1979).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Lippe}和\textit{F.Simon},《计算》23,119--138(1979;Zbl 0416.68010) 全文: 内政部
普里查德。 对Neuhold和Studer论文的评论。 (英语) 兹伯利0413.68012 计算 22, 279-282 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pritchard},计算22,279--282(1979;Zbl 0413.68012) 全文: 内政部
哈马彻,H。 卡扎诺夫最大流算法的数值研究。 (英语) Zbl 0402.90041号 计算 22, 17-29 (1979).MSC公司:90B10型 90-04 60年第68季度 65千5 PDF格式BibTeX公司 XML格式引用 \textit{H.Hamacher},《计算》22,17--29(1979;Zbl 0402.90041) 全文: 内政部
E.M.克拉克。 将不变量编程为固定点。 (英语) Zbl 0399.68022号 计算 21, 273-294 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke},《计算》21,273--294(1979;Zbl 0399.68022) 全文: 内政部