米盖尔·阿雷亚斯;里卡多·罗查 关于散列trie设计中基于无锁压缩的弹性机制的正确性。 (英语) Zbl 1506.68016号 计算 104,第10号,2279-2305(2022).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},计算104,第10期,2279--2305(2022;Zbl 1506.68016) 全文: 内政部
苏哈·奥尔洪;塞尔达尔·塔西兰 使用证明系统对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) 全文: 内政部
van Zelst,S.J。;范东根,B.F。;范德阿尔斯特。;H.M.W.韦贝克。 使用整数线性规划发现工作流网络。 (英语) Zbl 1395.90166号 计算 100,编号5,529-556(2018).MSC公司:90B50型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.J.van Zelst}等人,Computing 100,No.5,529--556(2018;Zbl 1395.90166) 全文: 内政部 arXiv公司
塔伦·K·阿格拉瓦尔。;阿亚巴塔·萨胡;马诺吉特·古泽;R·夏尔马。 将链式多处理器任务调度到大型多处理器系统上。 (英语) Zbl 1381.68020号 计算 99,第10号,1007-1028(2017).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{T.K.Agrawal}等人,Computing 99,No.10,1007--1028(2017;Zbl 1381.68020) 全文: 内政部 arXiv公司
贾布里,里亚德 预测性自下而上解析器。 (英语) Zbl 1234.68152号 计算 92,编号2123-167(2011).MSC公司:65年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Jabri},《计算》92,第2期,第123--167页(2011年;Zbl 1234.68152) 全文: 内政部
阿姆鲁埃尔马斯里;克劳斯·延森;Jyrki Katajainen 从优先级队列构造双端优先级队列的两种新方法。 (英语) Zbl 1183.68213号 计算 83,第4期,193-204(2008).MSC公司:68第05页 第68页第10页 68瓦40 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Elmasry}等人,Computing 83,No.4,193--204(2008;Zbl 1183.68213) 全文: 内政部
谭振英。;曹S.J。 覆盖在两台总尺寸已知的均匀机器上的半联机机器。 (英语) Zbl 1117.90039号 计算 78,第4号,369-378(2006).MSC公司:90B35型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Y.Tan}和\textit{S.J.Cao},《计算》78,第4期,369--378(2006;Zbl 1117.90039) 全文: 内政部
美国特里尔。 平衡概率模型下的加性权重。 (英语) Zbl 0817.68093号 计算 54,第3期,241-250(1995).MSC公司:65年第68季度 68第05页 30磅10英寸 PDF格式BibTeX公司 XML格式引用 \textit{U.Trier},Computing 54,No.3,241--250(1995;Zbl 0817.68093) 全文: 内政部
H·凯勒。;G·沃金格。 对具有类似元素的3分区的贪婪启发式。 (英语) Zbl 0789.90061号 计算 50,第3期,271-278(1993). 审核人:J.Mitev(索非亚) MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kellerer}和\textit{G.Woeginger},《计算》50,第3期,271--278(1993;Zbl 0789.90061) 全文: 内政部
沃尔夫冈·哈朗(Wolfgang A.Halang)。 具有硬截止日期的任务的负载自适应动态调度对工业应用很有用。 (英语) Zbl 0739.68002号 计算 47,第3-4号,199-213(1992).MSC公司:68平方米 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Halang},Computing 47,No.3--4,199--213(1992;Zbl 0739.68002) 全文: 内政部
D.塞缪尔。;G.T.杜桑。 计算简单多边形的外部测地线直径。 (英语) Zbl 0692.68040号 计算 44,第1期,1-19页(1990年).MSC公司:65年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{D.Samuel}和\textit{G.T.Toussant},《计算》44,第1期,第1-19页(1990;Zbl 0692.68040) 全文: 内政部
阿基尔迪兹,I.F。;霍斯特·冯·布兰德 具有拒绝阻塞的队列的对偶和自对偶网络。 (英语) Zbl 0682.94016号 计算 43,第1期,第1-11页(1989年).MSC公司:94C99号 PDF格式BibTeX公司 XML格式引用 \textit{I.F.Akyildiz}和\textit{H.von Brand},Computing 43,No.1,1--11(1989;Zbl 0682.94016) 全文: 内政部
Katajainen,J。 在(L_p)度量中计算相对邻域图的区域方法。 (英语) Zbl 0628.68055号 计算 40,第2期,147-161页(1988年).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Katajainen},Computing 40,No.2,147--161(1988;Zbl 0628.68055) 全文: 内政部
D.阿姆布鲁斯特。;R.奥赫斯勒。 伪递归程序。 (英语) Zbl 0563.68006号 计算 35, 247-256 (1985).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Armbruster}和\textit{R.Oechsle},计算35,247--256(1985;Zbl 0563.68006) 全文: 内政部
捷克,Z。 活变量问题的区域分析算法。 (英语) 兹伯利0547.68064 计算 33, 193-210 (1984).MSC公司:68兰特 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.捷克},计算33,193--210(1984;Zbl 0547.68064) 全文: 内政部
劳森,G。 共享B树中的集成并发控制。 (英语) Zbl 0532.68033号 计算 33, 13-26 (1984).MSC公司:第68页第25页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Lausen},计算33,13--26(1984;Zbl 0532.68033) 全文: 内政部
罗森博格,A.L。;I.H.苏德堡。 带宽和卵石。 (英语) 兹比尔0509.90100 计算 31, 115-139 (1983).MSC公司:91A24型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Rosenberg}和\textit{I.H.Sudborough},计算31,115--139(1983;Zbl 0509.90100) 全文: 内政部
E.J.奥图。;梅勒特,T.H。 可扩展阵列的存储方案。 (英语) Zbl 0504.68036号 计算 31, 1-9 (1983).MSC公司:第68页第10页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Otoo}和\textit{T.H.Merrett},计算31,1-9(1983;Zbl 0504.68036) 全文: 内政部
H.邦克。 关于序列和并行程序图语法的生成能力。 (英语) Zbl 0483.68065号 计算 29, 89-112 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bunke},计算29,89--112(1982;Zbl 0483.68065) 全文: 内政部
A.巴基。;E.M.莱因戈尔德。 随机树中插入的方面。 (英语) Zbl 0477.68062号 计算 29, 11-29 (1982).MSC公司:第68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagchi}和\textit{E.M.Reingold},计算机29,11--29(1982;Zbl 0477.68062) 全文: 内政部
R.坎普。 种植的三根梧桐树的平均高度。 (英语) Zbl 0433.05024号 计算 25, 209-232 (1980).MSC公司:05二氧化碳 60二氧化碳 05-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Kemp},计算25,209--232(1980;Zbl 0433.05024) 全文: 内政部
博伦德,G。 在高级编程语言中嵌入通用计算机算法。 (英语) Zbl 0413.68008号 计算 24, 149-160 (1980).MSC公司:68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Bohlender},计算24,149--160(1980;Zbl 0413.68008) 全文: 内政部
利普,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) 全文: 内政部
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) 全文: 内政部
瓦伊什纳维。;Kriegel,H.P。;伍德,D。 高度平衡的2-3棵树。 (英语) Zbl 0392.68055号 计算 21, 195-211 (1979).MSC公司:68兰特 05二氧化碳 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Vaishnavi}等人,《计算》21,195--211(1979;Zbl 0392.68055) 全文: 内政部
利维,L.S。;Yueh,Kang(康岳) 关于标记图文法。 (英语) 兹伯利0376.68045 计算 20, 109-125 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Levy}和\textit{K.Yueh},计算20,109--125(1978;Zbl 0376.68045) 全文: 内政部
Henn,R。 Antwortzeitgesteuerte Prozessorzuteilung unter strenggen Zeitbedingen公司。 (德语) Zbl 0365.68065号 计算 19, 209-220 (1978).MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Henn},《计算》19,209--220(1978;Zbl 0365.68065) 全文: 内政部
E.J.纽霍德。;R·施图德。 使用霍尔的程序验证方法对快速排序算法进行验证。 (英语) Zbl 0361.68012号 计算 18, 281-293 (1977).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Neuhold}和\textit{R.Studer},《计算》18,281--293(1977;Zbl 0361.68012) 全文: 内政部
西胡森,J。 Virtuelle Z-Baum-Technik公司。 (德语) Zbl 0336.68016号 计算 17, 97-104 (1976).MSC公司:68号01 68第20页 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.Seehusen},计算17,97--104(1976;Zbl 0336.68016) 全文: 内政部
V·斯特拉森。 部分Algebren endlichen型中的Berechnungen。 (德语) Zbl 0265.68030号 计算 181-196年11月(1973年).MSC公司:65年第68季度 08轴 08-04 20-04 13-04 12-04 06-04 PDF格式BibTeX公司 XML格式引用 \textit{V.Strassen},计算11,181--196(1973;Zbl 0265.68030) 全文: 内政部
J·珀尔。 Anwendung von Graphenalgorithmen auf allgemeinere Problemklassen的问题。 (德语) Zbl 0262.05128号 计算 11, 235-247 (1973).MSC公司:05C99年 05C20号 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Perl},计算11,235--247(1973;Zbl 0262.05128) 全文: 内政部