全文获取类型
收费全文 | 37篇 |
免费 | 4篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 12篇 |
金属工艺 | 3篇 |
机械仪表 | 1篇 |
建筑科学 | 1篇 |
能源动力 | 5篇 |
轻工业 | 6篇 |
无线电 | 1篇 |
一般工业技术 | 3篇 |
自动化技术 | 8篇 |
出版年
2023年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 1篇 |
2013年 | 13篇 |
2011年 | 1篇 |
2009年 | 1篇 |
2008年 | 2篇 |
2007年 | 1篇 |
2006年 | 1篇 |
2005年 | 1篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1994年 | 1篇 |
1990年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1983年 | 2篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1974年 | 1篇 |
1971年 | 2篇 |
排序方式: 共有41条查询结果,搜索用时 15 毫秒
41.
We report on the design, implementation, and performance,of the parallel term-rewriting system PaReDuX.We discuss the parallelization of three term completion procedures: Knuth-Bendix completion, completion modulo AC, and unfailing completion. Our parallelization is strategy-compliant, i.e., the parallel code performs exactly the same work as the sequential code, but the work load is shared by many processors. PaReDuX is designed for shared memory parallel architectures, such as multi-processor workstations, where it shows good performance on a variety of examples. 相似文献