您的位置： 专家智库 > >

程虎

作品数：62 被引量：322H指数：10
供职机构：中国科学院软件研究所更多>>
发文基金：“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术机械工程哲学宗教理学更多>>

合作作者

文献类型

  • 34篇期刊文章
  • 18篇会议论文
  • 1篇科技成果

领域

  • 40篇自动化与计算...
  • 1篇哲学宗教
  • 1篇语言文字
  • 1篇理学

主题

  • 15篇JAVA语言
  • 14篇JAVA
  • 10篇虚拟机
  • 7篇神经网
  • 6篇神经网络
  • 6篇网络
  • 6篇JAVA虚拟...
  • 6篇程序设计
  • 4篇设计语言
  • 4篇人工智能
  • 4篇程序设计语言
  • 4篇程序语言
  • 3篇软件工程
  • 3篇软件开发
  • 3篇计算机
  • 3篇HOPFIE...
  • 2篇学习算法
  • 2篇异常处理
  • 2篇软件体系结构
  • 2篇体系结构

机构

  • 53篇中国科学院软...
  • 4篇北京邮电大学
  • 2篇湖南大学
  • 1篇北京大学
  • 1篇同济大学
  • 1篇大庆油田有限...

作者

  • 53篇程虎
  • 12篇冀振燕
  • 10篇丁宇新
  • 7篇孟祥武
  • 6篇梅嘉
  • 6篇王健
  • 4篇詹剑锋
  • 3篇徐赤斌
  • 2篇徐越
  • 1篇张素琴
  • 1篇蒋维杜
  • 1篇刘俊琦
  • 1篇王志洁
  • 1篇邱颖
  • 1篇高汉钦
  • 1篇廖乐健
  • 1篇周祖翼
  • 1篇郑纪平
  • 1篇李爱武
  • 1篇刘述忠

传媒

  • 10篇软件学报
  • 7篇计算机研究与...
  • 4篇计算机学报
  • 3篇全国第二届J...
  • 3篇全国第一届J...
  • 2篇计算机工程
  • 2篇计算机工程与...
  • 2篇计算机科学
  • 2篇大连--香港...
  • 2篇全国第四届J...
  • 1篇心理学报
  • 1篇中国计算机用...
  • 1篇微型机与应用
  • 1篇中文信息学报
  • 1篇中国科学院研...
  • 1篇计算机技术
  • 1篇中国经济和信...
  • 1篇1998中文...
  • 1篇第六届中国人...
  • 1篇全国第三届J...

年份

  • 1篇2006
  • 2篇2005
  • 2篇2002
  • 3篇2001
  • 6篇2000
  • 8篇1999
  • 12篇1998
  • 4篇1997
  • 4篇1996
  • 2篇1995
  • 4篇1994
  • 1篇1993
  • 1篇1991
  • 3篇1990
共 62 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
约束知识环境
廖乐健程虎
关键词：一致性人工智能专家系统
人工智能语言及其应用被引量：1
1990年
本文介绍作为人工智能系统研究的基础环境的人工智能语言,及其在各种人工智能问题中的应用,并展示我国在这方面的科研成果,对未来方向提出一些展望。
程虎
关键词：人工智能智能语言计算机
Java虚拟机用户级多线程的设计与实现被引量：17
2000年
详细介绍了国产开放系统平台 Java虚拟机多线程的设计与实现 .在线程调度上 ,采用带有独立队列的静态级别轮巡调度 ,较好地解决了独立循环线程的调度问题 .对于线程的同步 ,采用了哈希混合锁的设计方案 .实验结果证明 ,该锁具有空间小。
丁宇新程虎126.com
关键词：虚拟机多线性JAVA语言
JAVA语言的汉化
随着Internet在中国的普及，JAVA语言作为Internet网上有力的编程语言，它的汉化就尤其显得重要和迫切，JAVA语言的汉化有利于JAVA语言在中国的推广和应用。经过大量的实例测试和分析、研究，该文指出了所需要...
冀振燕程虎
关键词：JAVA语言汉化
文献传递
程序设计语言的现状、发展与标准化
程虎
关键词：程序设计程序语言逻辑设计
Ｊａｖａ构件技术
ｖａ ＢＧｅａｎｓ与Ｅｎｔｅｒｐｒｉｓｅ Ｊａｖａ Ｂｅａｎ作为Ｊａｖａ的构件模型为Ｊａｖａ应用的开共了便利，该文对这两种构件模型进行了详细介绍。
丁宇新程虎冀振燕梅嘉
关键词：软件开发
国产开放系统平台Java及时编译器的设计与实现被引量：7
1999年
详细阐述了国产操作系统平台（ＣＯＳＡ／ＣＯＳＩＸ）Ｊａｖａ 及时编译器的设计与实现技术．在设计时作者采用了指令静态模拟与宏替换相结合的编译方法，抽象出平台独立的指令属性四元组，提高了程序的可移植性；就及时编译的特点及其优化进行了讨论，并就如何评价及时编译的热点提出了作者的观点．
丁宇新梅嘉程虎
关键词：操作系统平台JAVA语言
Hopfield网的图灵等价性被引量：4
1998年
本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明．由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价．
孟祥武程虎
关键词：HOPFIELD网图灵机神经网络图灵等价性
JAVA的安全结构被引量：8
1999年
Ｊａｖａ的安全结构———“沙盒”模型的４个组成部分：内建于Ｊａｖａ虚拟机和语言的安全特性、类的载入结构、类文件校验器、安全管理器和ＪＡＶＡＡＰＩ。
冀振燕程虎
关键词：JAVA语言安全性程序设计语言
系统软件开发过程中的软件工程技术被引量：7
1996年
因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。
王健程虎
关键词：系统软件软件工程软件开发
全选 清除 导出
共6页<123456>
聚类工具0