用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第371-380项 搜索用时 55 毫秒
[首页] « 上一页 [33] [34] [35] [36] [37] 38 [39] [40] [41] [42] [43] 下一页 » 末  页»
371.
本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是有穷的，部分演绎必定终止，耐用Ｐ’带有抽象解释估算出的关行其运行性质的信息，便于对Ｐ’作进一步优化… …   相似文献
刘椿年 《软件学报》1994,5(11):31-37
372.
本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。  相似文献
373.
本介绍了我们独立研制的软件产品ＶＡＸＥＬＮＳＭＧＫ，它深入Ｉ／Ｏ底层，精心地设计数据结构与加工算法，在实时系统里填补了虚显示，虚键盘，虚终端等空白。  相似文献
374.
IBM新推出的两款中档图形工作站RS／6000型号4iT及型号4lw，采用崭新的PowerPC芯片，其高超的ZD性能为业内同级机种之冠，并能支持多种先进的3U功能。今天宣布推出的RS／6000型号3AT及型号3BT高档工作站，采用新的POWERZ微处理器，具有卓越的技术运算性能。… …   相似文献
375.
本文介绍了如何通过BorlandC＋十开发WINDOWS3.0的应用程序，同时说明了新一代面向对象的程序设计方法OOP（Object－OrientedProgramming）的基本特性和实现方法。  相似文献
376.
1.硬件平台 (1)66MHZ 80486DX2CPU,带256KB二级缓存 (2)16至128MB错误校正内存 (3)10个微通道插槽,8个可用于网络连接(32位数据流,速率80MBPS) (4)450W冗余电源 (5)可升级为PENTIUM 2.包装  相似文献
377.
中国计算机用户协会MM机分会第十届年会于1994年9月26日至28日在北京国际会议中心举行。IBM用户协会历届年会都是用户茶集、相互交流、共同切磋的重要场所。今年时逢协会成立十周年，同时也是IBM公司重建在华业务的十周年。十年来IBM在华业务有了很大的发展。IBM的计算机系统计人… …   相似文献
378.
1.系统组成与功能 本系统由三大功能模块组成: (1)经营管理模块。可提供标准的机电产品订货合同、商务洽谈信息表、风机用户档案表、用户来函处理表的格式,管理人员只需通过人——机对话,在中文提示下录入信息,即可完成合同、商务洽谈、用户档案及来函回复数据库的建立;可方便地对数据库进行… …   相似文献
379.
郑锡忠 《软件学报》1994,5(4):53-59
380.
“６．１７美国顶尖电脑科技发表会”由新龙国际集团（ＳＩＳ）策划并组织的美国顶尖电脑科技发表会日前在北京奥林匹克饭店隆重举行。为期两天的介绍会吸引了北京及附近地区的近１０００余名技术专家、分销商和用户，参加发表会的有Ｎ（）ＶＥＬＩ－，ＥＡＧＩ。Ｅ，ＣＥ...  相似文献
[首页] « 上一页 [33] [34] [35] [36] [37] 38 [39] [40] [41] [42] [43] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持