期刊文献+

存储器类型的CDT构造Ⅰ

CDT Construction I of the Memory
下载PDF
导出
摘要 目的存储器类型是计算机中十分重要的数据类型,因而对其进行CDT构造具有十分重要的意义。方法采用了构造方法Ⅰ给出存储器类型的构造因子。结果得到了存储器类型的CDT(范畴数据类型),同时讨论了基于构造方式Ⅰ下存储器类型CDT的映射与归约以及存储器CDT变换的因子分解定理,并用例子详细说明了构造的实质。 Aim The data type of memory is a very important data type in computer,and it is of very importance in the CDT construction. Methods Give the constructing factor of memory by the constructing methods Ⅰ.Conclusion Get the CDT of memory, in the same times we research the mapping? reduction and factorization of memory CDT, The essential of these operations is explained through several examples.
出处 《微电子学与计算机》 CSCD 北大核心 2005年第1期122-127,共6页 Microelectronics & Computer
关键词 CDT 存储器类型 基础范畴 因子分解 并行处理 CDT Memory Base category Factorization Parallel processing
  • 相关文献

参考文献11

  • 1冯钢,侯义斌.堆栈、队列的CDT[J].计算机工程与应用,2001,37(1):55-57. 被引量:4
  • 2冯钢,侯义斌.表的不同构造器下CDT之间的关系[J].计算机工程与应用,2000,36(7):64-65. 被引量:4
  • 3Hou Y, Axford T H. Machine Objects and Functions Toward a Categorical Data Type.Research Reports: CSR-94-12,The University of Biringham, 1994.
  • 4Hagino T A. Categorical Programmer Language:[Dissertation].Edinburgh: University of Edinburgh,1987.
  • 5Skillicorn D B and W Cai. A Cost Calculus for Parallel Functional Programming. Journal of Parallel and Distributed Computing 28,p65-83,1995.
  • 6Skillicom D B. Parallel Implementation of Tree Skeletons.Journal of Parallel and Distributed Computing 39,115-125,1996.
  • 7J Gibbons. Algebras as for Tree Algoriths. D Phil.thesis,programming Research Group,University of Oxford,1991.
  • 8C R Banger. Construction of Multidimensional Arrays as Categorical Data Types. Phd Thesis,Queen's University,Kingston. Canada, 1994.
  • 9David B Skillicom. Foundation of Parallel Programming.Cambridge International Series on Parallel Computation:6,1994.
  • 10L Angelis, I Stamelis and M Morisio. Building a software cost estimation model based on categorical data. 7th International Software Metrics Symposium (METRICS 2001),Apr4-6 2001, London, p4-15.

二级参考文献3

  • 1侯义斌,T.H.Axford.范畴数据类型与并行处理[J].西安交通大学学报,1996,30(10):22-29. 被引量:6
  • 2Hou Y,Machine Objects and Functions Toward a Categorical Data Type,1994年
  • 3Hou Y,Understanding categorical data types through examples.Research Reports,1994年

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部