村田忠道
人员信息
附属: 美国伊利诺伊州芝加哥伊利诺伊大学
优化列表
2000 – 2009
2006 【j30】 村田忠道 , Jaegeol Yim先生 , 华北尹 , 欧瑞·沃尔夫森 :
更新移动对象数据库的Petri网模型和最短周期时间。 计算。 系统。 科学。 工程师。 21 ( 三 ) ( 2006 ) 2005 [公元29年] 田中克雄 , 马乔卡Shogo Makioka , 村田忠道 :
元音重复的效果会受到频率的影响吗? CVCVCV结构名词有无元音重复的语料库研究。 Glottometrics公司 8 : 1-11 ( 2005 ) 2004 [公元22年] 陆马 , 杰弗里·J·P·蔡 , 村田忠道 :
基于扩展基本对象系统的安全移动Agent系统模型。 COMPSAC公司 2004 : 218-223 2001 [公元28年] 一周 , 村田忠道 :
基于扩展模糊定时Petri网的分布式多媒体同步建模与分析。 事务处理。 SDPS系统 5 ( 4 ) : 23-37 ( 2001 ) [公元27年] 埃里克·Y·T·胡安 , 杰弗里·J·P·蔡 , 村田忠道 , 一周 :
基于时延Petri网的实时系统约简方法。 IEEE传输。 软件工程。 27 ( 5 ) : 422-448 ( 2001 ) 2000 [公元26年] 一周 , 村田忠道 , 托马斯·德范蒂 :
使用扩展模糊定时Petri网对网络虚拟环境进行建模和性能分析。 IEEE传输。 系统。 人类网络。 B部分 30 ( 5 ) : 737-756 ( 2000 )
1990 – 1999
1999 [公元25年] 一周 , 村田忠道 :
具有模糊时序和模糊度量时序逻辑的Petri网模型。 《国际情报杂志》。 系统。 14 ( 8 ) : 719-745 ( 1999 ) [公元24年] 弗拉基米尔·斯利瓦 , 村田忠道 , 索尔·沙茨 :
使用基于对象的Petri网形式主义的协议规范设计。 国际期刊软件。 工程知识。 工程师。 9 ( 1 ) : 97-125 ( 1999 ) 1998 [公元23年] Jeng S.Huang先生 , 村田忠道 :
一种在Petri网中寻找合法转移序列的构造方法。 J.电路系统。 计算。 8 ( 1 ) : 189-222 ( 1998 ) [公元22年] 埃里克·Y·T·胡安 , 杰弗里·J·P·蔡 , 村田忠道 :
使用基于Petri网的凝聚规则对并发系统进行组合验证。 ACM事务处理。 程序。 语言系统。 20 ( 5 ) : 917-979 ( 1998 ) [c21] 泰劳靖国 , 村田忠道 :
日语言语产生中两个连续莫拉音的清晰度:来自自发言语中声音交换错误的证据。 ICSLP公司 1998 [公元20年] 一周 , 村田忠道 :
分布式多媒体同步的模糊定时Petri网模型。 SMC公司 1998 : 244-249 1996 [公元21年] 约翰·杰弗里 , 豪尔赫·洛博 , 村田忠道 :
Horn子句逻辑的目标导向语义的高级Petri网。 IEEE传输。 知识。 数据工程师。 8 ( 2 ) : 241-259 ( 1996 ) [公元20年] 索尔·沙茨 , 生如图 , 村田忠道 , 萨斯特里杜里 :
Petri网约简在Ada任务死锁分析中的应用。 IEEE传输。 并行分布式系统。 7 ( 12 ) : 1307-1322 ( 1996 ) [第19条] 村田忠道 :
时间不确定性和模糊定时高级Petri网。 Petri网的理论与应用 1996 : 11-28 [第18条] 埃里克·Y·T·胡安 , 杰弗里·J·P·蔡 , 村田忠道 :
一种用于压缩状态空间验证的新组合方法。 哈斯 1996 : 104-111 [第17条] 弗拉基米尔·斯利瓦 , 村田忠道 , 索尔·沙茨 :
一种将G-Nets应用于通信协议的方法。 瑞典克朗 1996 : 145-152 1995 [公元19年] 下村泰弘 , 豪尔赫·洛博 , 村田忠道 :
常规逻辑程序的扩展Petri网模型。 IEEE传输。 知识。 数据工程师。 7 ( 1 ) : 150-162 ( 1995 ) [第16条] 村田忠道 , Jaegeol Yim先生 :
实时控制系统中推理的Petri网方法。 国际会计准则委员会 1995 : 517-520 1994 [公元18年] 李刚秀 , 村田忠道 :
软件项目时间/成本管理的分布式随机petri网模型。 J.系统。 柔和。 26 ( 2 ) : 149-165 ( 1994 ) [j17] Masato Notomi公司 , 村田忠道 :
并行软件分析中有界Petri网的层次可达图。 IEEE传输。 软件工程。 20 ( 5 ) : 325-336 ( 1994 ) 1993 [公元16年] R.M.木材 , 村田忠道 , 清水浩 :
振荡双目系统和立体深度表面的时间分割。 生物、网络。 68 ( 5 ) : 381-391 ( 1993 ) [第15条] Kohkichi Tsuji公司 , 村田忠道 :
关于无限制Petri网的可达性条件。 国际会计准则委员会 1993 : 2713-2716 1992 [公元15年] 曼努埃尔·席尔瓦 , 村田忠道 :
并发系统Petri网模型中的B-公平和结构B-公平。 J.计算。 系统。 科学。 44 ( 三 ) : 447-477 ( 1992 ) [第14条] Masato Notomi公司 , 村田忠道 :
可及性和死锁分析的层次组织Petri网状态空间。 独立发电厂商 1992 : 616-623 [第13条] 下村泰弘 , 豪尔赫·洛博 , 村田忠道 :
具有否定的逻辑程序的Petri网语义。 瑞典克朗 1992 : 292-299 【r1】 村田忠道 :
Petri网。 建模与仿真简明百科全书 1992 : 328-333 1991 [公元14年] 村田忠道 , 彼得·纳尔逊 , Jaegeol Yim先生 :
多智能体规划的谓词转换网络模型。 信息科学。 57-58 : 361-384 ( 1991 ) [j13] 村田忠道 , V.S.Subrahmanian公司 , 和山俊郎 :
不一致情况下推理的Petri网模型。 IEEE传输。 知识。 数据工程师。 三 ( 三 ) : 281-292 ( 1991 ) [公元12年] 熊谷佐人(Sadatoshi Kumagai) , 村田忠道 , 西西孝次郎 :
特邀编辑介绍Petri网性能模型专区。 IEEE传输。 软件工程。 17 ( 2 ) : 97-98 ( 1991 ) 1990 [公元11年] 梅柳路 , 杜章 , 村田忠道 :
用随机Petri网分析自稳定时钟同步。 IEEE传输。 计算机 39 ( 5 ) : 597-604 ( 1990 ) [公元10年] 铃木俊一 , 索尔·沙茨 , 村田忠道 :
基于规范语言和Petri网的协议建模和验证方法。 IEEE传输。 软件工程。 16 ( 5 ) : 523-536 ( 1990 ) [c12] 生如图 , 索尔·沙茨 , 村田忠道 :
应用Petri网约简支持Ada任务死锁检测。 ICDCS系统 1990 : 96-103 [第11条] 约翰·杰弗里 , 村田忠道 :
FGHC子集的高级Petri网。 瑞典克朗 1990 : 260-266
1980 – 1989
1989 [公元9年] 村田忠道 :
Petri网:性质、分析和应用。 程序。 电气与电子工程师协会 77 ( 4 ) : 541-580 ( 1989 ) [j8] 乔治·彼得卡 , 村田忠道 :
逻辑程序Petri网模型中的证明过程和答案提取。 IEEE传输。 软件工程。 15 ( 2 ) : 209-217 ( 1989 ) [j7] 村田忠道 , 鲍里斯·申克 , 索尔·沙茨 :
使用Petri网不变量检测Ada静态死锁。 IEEE传输。 软件工程。 15 ( 三 ) : 314-326 ( 1989 ) [第10条] 索尔·沙茨 , 铃木俊一 , 村田忠道 :
结合基于实体的规范语言和Petri网的自动化协议建模和验证。 COMPSAC公司 1989 : 580-587 【c9】 村田忠道 , Jaegeol Yim先生 :
基于规则系统实时控制的Petri网方法。 瑞典克朗 1989 : 122-127 1988 [j6] 村田忠道 , 杜章 :
用于逻辑程序并行解释的谓词转换网络模型。 IEEE传输。 软件工程。 14 ( 4 ) : 481-497 ( 1988 ) 1987 【c8】 梅柳路 , 杜章 , 村田忠道 :
容错时钟同步自稳定性度量的随机网络模型。 PNPM公司 1987 : 104-110 1986 【c7】 鲍里斯·申克 , 村田忠道 , 索尔·沙茨 :
使用Petri-Net不变量检测Ada程序中的静态死锁。 FJCC公司 1986 : 1072-1081 1985 [j5] 哈里特·B·里加斯 , 泰勒·L·布斯 , 费耶·布里格斯 , 村田忠道 , 哈罗德·斯通 :
研讨会:日本人工智能研究。 电脑类 18 ( 9 ) : 83-90 ( 1985 ) 【c6】 T.史密格尔斯基 , 村田忠道 , Masahiro Sowa公司 :
数据流计算机的时间Petri网模型和仿真。 PNPM公司 1985 : 56-63 1983 【j4】 铃木一郎 , 村田忠道 :
Petri网的逐步精化和抽象方法。 J.计算。 系统。 科学。 27 ( 1 ) : 51-76 ( 1983 ) 【c5】 Ming Yang Chern(陈明阳) , 村田忠道 :
并行LU分解和矩阵求逆的快速算法。 ICPP公司 1983 : 79-86 【c4】 Ming Yang Chern(陈明阳) , 村田忠道 :
并行数据加载阵列处理器上的高效矩阵乘法。 ICPP公司 1983 : 90-94 1982 [j3] 村田忠道 , 小林久志 :
第一届第五代计算机系统国际会议。 执行。 评价 2 ( 三 ) : 207-212 ( 1982 ) [注2] Masahiro Sowa公司 , 村田忠道 :
带有程序和令牌存储器的数据流计算机体系结构。 IEEE传输。 计算机 31 ( 9 ) : 820-824 ( 1982 ) 1981 【c3】 铃木一郎 , 村田忠道 :
过渡和位置的逐步细化。 第一届和第二届欧洲Petri网应用和理论研讨会论文集 1981 : 136-141 1980 [j1] 村田忠道 :
用于指定资源和性能的无决策并发系统的综合。 IEEE传输。 软件工程。 6 ( 6 ) : 525-530 ( 1980 )
1970 – 1979
1979 【c2】 村田忠道 :
指定资源和性能的标记图计算模型的合成。 COMPSAC公司 1979 : 807-812 【c1】 石头H.Yu , 村田忠道 :
在机器语言级别建模和模拟数据流计算。 SIGMETRICS公司 1979 : 207-213
1960 – 1969
1966 【b1】 村田忠道 :
时变非线性网络稳定性的拓扑方法。 美国伊利诺伊大学香槟分校, 1966