×

找到141个文档(结果1–100)

混沌计算:用混沌元素实现基本逻辑门。 (英语) Zbl 1368.68030号

MSC公司:2007年7月68日 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序代数的框架。 (英语) Zbl 1275.08002号

Kirchner,Hélène(编辑)等人,《代数方法论和软件技术》。第九届国际会议,2002年AMAST,2002年9月9日至13日,法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林:施普林格出版社(ISBN 3-540-44144-1/pbk)。计算机科学课堂讲稿2422396-410(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从时间相关系统的规范到调度。 (英语) Zbl 1278.68182号

Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469129-145(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

常微分方程组的函数离散解法。 (俄语) Zbl 1097.65536号

Lukovskij,I.A.(编辑),Voprosy mekhaniki I ee prilozhenij。基辅:Instytut Matematyky NAN Ukraíny(ISBN 966-02-2751-5)。Pratsi Instytutu Matematyky Natsional’noí阿卡德米伊恶心乌克兰。马特马蒂卡·塔伊伊Zastosuvannya 44,184-199(2002)。
PDF格式BibTeX公司 XML格式引用

Gröbner基在非交换多项式代数中的理论和应用。 (乌克兰语。英文摘要) Zbl 1099.16522号

2001年乌克兰数学大会。代数结构及其应用。2001年7月2日至8日在乌克兰基辅举行的乌克兰数学大会框架内举行的第三届国际代数会议记录。基辅:Instytut Matematyky NAN Ukraíny(ISBN 966-02-2777-9)。25-42 (2002).
PDF格式BibTeX公司 XML格式引用

研究Steenrod-代数上同调的一种新算法。(Ein neuer Algorithmus zur Untersuchung der Kohomologie der Steenrod-Algebra) (德语) 兹比尔1072.55501

柏林:Logos Verlag;法兰克福:Fachbereich Mathematik(2001年论文)(ISBN 3-89722-881-5/pbk)。88页。(2002).
PDF格式BibTeX公司 XML格式引用

代数几何计算的进展。 (英语) Zbl 1075.14524号

2002年3月18日至20日,泰国曼谷朱拉隆功大学,代数及其应用国际会议论文集(ICAA 2002)。曼谷:朱拉隆功大学数学系(ISBN 970-13-2182-1)。107-120 (2002).
PDF格式BibTeX公司 XML格式引用

凯莱图中哈密顿回路的构造,用于模拟多处理计算机系统。 (英语。俄文原件) Zbl 1067.68106号

自动。远程控制 63,第10号,1652-1667(2002); Avtom翻译。Telemekh公司。2002年,第10期,137-153(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

竞争性在线交换政策。 (英语) Zbl 1058.94533号

2002年1月6日至8日,美国加利福尼亚州旧金山,第十三届ACM-SIAM离散算法年度研讨会论文集。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-513-X/pbk)。525-534 (2002).
MSC公司:94立方厘米 90磅18英寸 68M10个
PDF格式BibTeX公司 XML格式引用

集成电路设计。功率和时序建模、优化和仿真。2002年9月11日至13日在西班牙塞维利亚举行的2002年PATMOS第12次国际研讨会。诉讼程序。 (英语) Zbl 1046.68767号

计算机科学课堂讲稿2451.柏林:施普林格出版社(ISBN 3-540-44143-3/pbk)。十六、496页。(2002).
MSC公司:68单位99 68-06 94-06 94立方厘米
PDF格式BibTeX公司 XML格式引用

上下文半群的多上下文逻辑。 (英语) Zbl 1072.68584号

Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 90-101 (2002).
MSC公司:68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于一个推广的逻辑性定理。 (英语) Zbl 1072.68536号

Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculationus 2002,第十届符号计算和机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 51-63 (2002).
MSC公司:2012年第68季度 68吨15 07年3月
PDF格式BibTeX公司 XML格式引用
全文: 链接

可分离哈密顿系统的辛方法。 (英语) 兹比尔1056.65139

Peter M.A.Sloot(编辑)等人,《计算科学-ICCS 2002》。第二届国际会议,荷兰阿姆斯特丹,2002年4月21日至24日。诉讼程序。第3部分。柏林:施普林格出版社(ISBN 3-540-43594-8)。莱克特。注释计算。科学。2331, 506-515 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解正交矩阵微分系统数学软件. (英语) Zbl 1056.65068号

Peter M.A.Sloot(编辑)等人,《计算科学-ICCS 2002》。第二届国际会议,荷兰阿姆斯特丹,2002年4月21日至24日。诉讼程序。第3部分。柏林:施普林格出版社(ISBN 3-540-43594-8)。莱克特。注释计算。科学。2331, 496-505 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多处理器系统上测试向量生成的粗粒度并行化。 (英语) Zbl 1048.68785号

Grigoras,Dan(ed.)等人,集群计算的高级环境、工具和应用程序。2001年9月1日至6日在罗马尼亚曼加里亚举行的国际捕鲸委员会2001年北约高级研究研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-43672-3)。莱克特。注释计算。科学。2326, 231-240 (2002).
MSC公司:68单位99 68米15 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

计算金融的自动微分。 (英语) 兹比尔1045.65020

Kontoghiorghes,Erricos John(编辑)等人,《决策、经济和金融中的计算方法》。多德雷赫特:Kluwer学术出版社(ISBN 1-4020-0839-2/hbk)。申请。最佳方案。74, 297-310 (2002).
MSC公司:65D25个 68瓦30
PDF格式BibTeX公司 XML格式引用

关于特征值幂律。 (英语) Zbl 1028.68569号

Rolim,JoséD.P.(编辑)等人,《计算机科学中的随机化和近似技术》。2002年9月13日至15日,美国马萨诸塞州坎布里奇,第六届国际研讨会,RANDOM 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2483254-262(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用转子进行彩色边缘检测。 (英语) Zbl 1034.68108号

Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。333-339 (2002).
MSC公司:68单位10 68单位05
PDF格式BibTeX公司 XML格式引用

C++中Clifford数的符号处理。 (英语) Zbl 1036.65037号

Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。157-167 (2002).
MSC公司:65楼30 15A66型 68甲19 68瓦30
PDF格式BibTeX公司 XML格式引用

几何代数中的点群和空间群。 (英语) Zbl 1033.20043号

Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。3-34(2002年)。
MSC公司:20年上半年
PDF格式BibTeX公司 XML格式引用

关于霍尔逻辑、克莱恩代数和类型。 (英语) Zbl 1023.03025号

Gärdenfors,Peter(编辑)等人,《科学的逻辑、方法论和哲学范围》。第十一届国际逻辑、方法论和科学哲学大会第一卷,波兰克拉科夫,1999年8月。多德雷赫特:Kluwer学术出版社。合成。伦敦银行同业拆借利率。315, 119-133 (2002).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

使用SMV对无限制、卡滞容错、异步时序电路的设计进行模型检查。 (英语) Zbl 1019.68630号

Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 310-323 (2002).
MSC公司:68单位07 94立方厘米 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用参数表示简化电路以进行形式验证。 (英语) Zbl 1019.68626号

Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 52-69 (2002).
MSC公司:68单位07 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

月球的运动。 (英语) Zbl 1068.70015号

希尔德贝托(编辑)卡布拉尔等人,《经典和天体力学:累西腓讲座》。新泽西州普林斯顿:普林斯顿大学出版社(ISBN 0-691-05022-8/hbk)。205-237 (2002).
PDF格式BibTeX公司 XML格式引用

使用马尔可夫链的异步电路性能分析。 (英语) 兹比尔1029.68504

Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 313-343 (2002).
MSC公司:2007年7月68日 68问题85 94立方厘米 68平方米
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步电路的定时验证。 (英语) Zbl 1029.68005号

Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 274-312 (2002).
MSC公司:2007年7月68日 68问题85 94立方厘米 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步电路设计中的分解。 (英语) Zbl 1029.68006号

Cortadella,Jordi(编辑)等人,《并发与硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 152-190 (2002).
MSC公司:2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

反应系统的合成:在异步电路设计中的应用。 (英语) Zbl 1029.68505号

Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549108-151(2002)中描述。
MSC公司:2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

GALA(全局异步-局部任意)设计。 (英语) Zbl 1029.68508号

Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 61-107 (2002).
MSC公司:2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步逻辑块设计的编程方法。 (英语) Zbl 1029.68506号

Cortadella,Jordi(编辑)等人,《并发与硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 34-60 (2002).
MSC公司:2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

有限代数的公理化。 (英语) Zbl 1015.68094号

Jarke,Matthias(编辑)等人,KI 2002:人工智能进展。2002年9月16日至20日,德国亚琛,第25届德国人工智能年会,KI 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2479, 222-234 (2002).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

自主品种中的自动机。 (英语) Zbl 1061.20060号

Gomes、Gracinda M.S.(编辑)等人,《半群、算法、自动机和语言》。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学(ISBN 981-238-099-X/hbk)。423-435 (2002).
PDF格式BibTeX公司 XML格式引用

有限半群:伪簇统一理论简介。 (英语) 兹比尔1033.20067

Gomes、Gracinda M.S.(编辑)等人,《半群、算法、自动机和语言》。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学(ISBN 981-238-099-X/hbk)。3-64 (2002).
PDF格式BibTeX公司 XML格式引用

通过对Maioran-McFarland构造的研究,得到了一类更大的密码布尔函数。 (英语) Zbl 1026.94518号

Yung,Moti(编辑),《密码学进展-密码2002》。第22届国际密码学年会,美国加利福尼亚州圣巴巴拉,2002年8月18-22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2442, 549-564 (2002).
MSC公司:94A55型 第68页第25页 94A60 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

无记忆同步流密码的滤波-合并模型。 (英语) Zbl 1026.94519号

Yung,Moti(编辑),《密码学进展-密码2002》。第22届国际密码学年会,美国加利福尼亚州圣巴巴拉,2002年8月18-22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2442, 533-548 (2002).
MSC公司:94A55型 第68页第25页 94A60 68问题80 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

MORPHOSYS下的二维和三维计算机图形算法。 (英语) Zbl 1020.68600号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 1076-1079 (2002).
MSC公司:68单位99 94立方厘米 68单位05
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

子图同构问题的数据相关电路。 (英语) Zbl 1020.68683号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 1068-1071 (2002).
MSC公司:68单位99 94立方厘米 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 链接

HAGAR:高效的多上下文图形处理器。 (英语) Zbl 1020.68808号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 915-924 (2002).
MSC公司:68单位99 94立方厘米 05C85号 68宽10
PDF格式BibTeX公司 XML格式引用
全文: 链接

细粒度可重新配置架构案例:对设想性能的分析。 (英语) Zbl 1020.68926号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 816-825 (2002).
MSC公司:68单位99 94立方厘米 68平方米
PDF格式BibTeX公司 XML格式引用
全文: 链接

SLAAC1-V可重构计算系统上的多任务硬件。 (英语) Zbl 1020.68754号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 806-815 (2002).
MSC公司:68单位99 94立方厘米 68个月1日
PDF格式BibTeX公司 XML格式引用
全文: 链接

TDR:一种用于FPGA的分布式内存并行路由算法。 (英语) Zbl 1020.68564号

Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 263-270 (2002).
MSC公司:68单位99 94立方厘米 68宽10
PDF格式BibTeX公司 XML格式引用
全文: 链接

建立直接产品和关系的血液学系统。 (英语) Zbl 1013.03076号

Alpingii,James J.(编辑)等人,《粗糙集与当前计算趋势》。2002年10月14日至16日在美国宾夕法尼亚州马尔文举行的2002年RSCTC第三届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2475, 113-122 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

离散系统分析。(Analiz diskretnykh姐妹) (俄语) 兹比尔1017.93003

顿涅茨克:乌克兰国家科学院(Natsional'naya Akademiya Nauk Ukrainy),梅哈尼基研究所(Institute Prikladnoj Matematiki i Mekhaniki)。172页(2002年)。
PDF格式BibTeX公司 XML格式引用

并发和硬件设计。Petri网的进展。 (英语) 兹比尔1011.00018

计算机科学课堂讲稿. 2549. 柏林:斯普林格。xi,第343页(2002年)。
MSC公司:00B15号机组 68-06 2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于元素代数的可计算势标度的长度。 (俄语、英语) Zbl 1015.08003号

同胞。材料Zh。 43,第4期,858-863(2002); Sib中的翻译。数学。J.43,第4期,689-693(2002年)。
MSC公司:08A40号 08A70号
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML

现场可编程逻辑和应用。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2-4日。诉讼程序。 (英语) Zbl 1010.68847号

计算机科学课堂讲稿2438.柏林:施普林格。xxii,1187页(2002年)。
MSC公司:68-06 94立方厘米 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

流代数的无限初始代数规范。 (英语) Zbl 1017.08003号

Sieg,Wilfried(编辑)等人,《数学基础的反思》。索罗门·费弗曼的散文。马萨诸塞州纳蒂克:A·K·彼得斯。莱克特。注释日志。15, 228-247 (2002).
PDF格式BibTeX公司 XML格式引用

基本输入和最小树自动机。 (英语) Zbl 1024.68069号

Shtrakov,Sl.(编辑)等人,《离散数学与应用》。第六届国际会议记录,2001年8月31日至9月2日,保加利亚班斯科。布拉戈夫格勒:西南大学。Res.数学。计算。科学。77-85 (2002).
PDF格式BibTeX公司 XML格式引用

ALLTYPES:代数语言和类型系统。 (英语) Zbl 1057.68151号

Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学(ISBN 981-238-048-5)。486-500 (2002).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用

\(Sigma^{it})–线性微分和差分方程的ALDOR库。(摘要)。 (英语) 兹比尔1012.68237

Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:《世界科学》,第485页(2002年)。
MSC公司:68瓦30 34-04 35-04 39-04 05年12月12日 2005年12月
PDF格式BibTeX公司 XML格式引用

使用syzygy算法计算GCLF。 (英语) Zbl 1014.65032号

Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93-103 (2002).
MSC公司:65楼30 15A54号 2013年02月 13页第10页
PDF格式BibTeX公司 XML格式引用

宽带通信系统中的随机建模。 (英语) Zbl 1020.94001号

SIAM数学建模与计算专著. 8. 宾夕法尼亚州费城:工业和应用数学学会(SIAM)。十六、177页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号