首页
OALib 期刊
快速投稿通道
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Group)
LinkedIn (OALib Company Page)
Facebook
Twitter
全部
标题
作者
关键词
摘要
OALib Journal期刊
ISSN: 2333-9721
费用:99美元
投递稿件
为什么选择我们?
>>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎
-
ISSN Print: 1000—9825
ISSN Online:
主页:
http://www.jos.org.cn/jos/ch/index.aspx
分享:
Go
利用超级编译技术优化串行程序*
乔如良
,
张兆庆
分解式软件流水DESP——一种开发循环程序指令级并行性的新方法*
张赤红
,
汤志忠
,
王剑
一个在弗协调逻辑中的限制
林作铨
随机高级Petri网的层次模型和分层性能评价*
吴建平
,
林闯
,
王鼎兴
一种有效的结点标号上下文无关图文法分析算法
冯纯伯
,
花全香
,
邢汉承
集成环境下的预测应用网络系统的设计与实现
寿志勤
,
朱少民
,
潘皖印
面向对象数据库系统的体系结构
周立柱
,
王令赤
,
车敦仁
开放的分布式人工智能
王克宏
,
石纯一
,
胡蓬
一种琥珀体汉字字形的自动生成方法
蔡士杰
,
陆波
,
顾进
并行文件系统PFS的设计与分析
武北虹
,
邢汉承
,
黄大海
PARLOG跟踪调试器的设计实现技术
温冬婵
,
王鼎兴
,
马玉羚
远程数据库访问系统客户/服务器体系结构模型的设计与实现
尹朝万
,
李贵
,
祝中华
基于任务图的一种并行程序设计方法(Ⅰ)──任务图的设计
吴巧泉
,
张德富
一类开放DAI系统的动态行为研究
王学军
,
石纯一
,
胡蓬
归纳学习算法CAP2的研究与应用
潘金贵
,
陈世福
,
陈兆乾
,
陈彬
一个自生成的神经树网络模式分类器
李冠英
,
李吉桂
,
林国扶
Z规格说明中初始状态存在性的证明
John McDermid
,
Lan Toyn
,
缪淮扣
基于TRANSPUTER网络的函数式语言的并行抽象机模型
孙咏强
,
袁伟
一种基于八叉树结构表达的三维实体布局启发式算法
戴佐
,
查建中
,
袁俊良
,
郭伟
基于知识的数据自动分布模型*
何志均
,
杨莉
,
葛建新
面向对象的MIs开发方法DDD*
诸葛海
增量式解释学习算法EBG—plus*
石纯一
,
郝继刚
稀疏三角矩阵线性系统的基于树结构并行求解
李程
,
王鼎兴
,
田新民
,
郑纬民
STREAMS机制及IP协议实现*
胡彦莉
,
鞠九滨
软件构造过程中的对象规范和实现*
冯玉琳
,
李京
,
黄涛
含无序产生式的故事分析文法的研究
张松懋
一种基于ADT的函数语言及其操作语义模型
孙永强
,
梅宏
一个基于抽象解释的部分演绎过程
刘椿年
中文页面描述语言文本管理器的设计与实现
张炜
,
徐福培
利用算符分析的问题求解
何钦铭
,
俞瑞钊
,
王申康
一个从中间语言生成目标语言的原理和方法
卞世力
,
姚天顺
,
金鸿
一个新的证明网定义及合理性
孙永强
,
黄林鹏
基于类型一阶理论的逻辑自动编程
姜涛
,
孙怀民
通用型CAPP专家系统中知识表示和推理机制的研究
何志均
,
杨莉
基于解释的算法构架的学习
张家重
,
徐家福
,
费宗铭
PLN网络吸引区域的定量分析
张钹
,
张铃
广义查询的计数算法
李连友
,
范明
并行数据库的查询处理并行化技术和物理设计方法
李建中
允许错误的(汉字)字符串快速检索技术
王素琴
,
邹旭楷
喷雾的模拟
王裕国
,
陈林
基于MIS—GSM的管理信息系统分析
孙永中
面向对象数据库的C宿主语言接口实现技术
周立柱
,
王健斐
区域特征的乐谱识别系统
王林泉
,
章文怡
,
郑刚
并行任务动态派生的积极惰性化控制方法
沈美明
,
王鼎兴
,
田新民
,
郑纬民
对MINIX操作系统的若干改造和扩充
黄祥喜
一类排污问题在树图上的线性算法
朱大铭
,
马绍汉
数据模型的智能化扩充研究──面向对象的知识数据库模型
姚卿达
,
董祖明
受限外部信息源计算的P─NP性质
刘建斌
,
吕义忠
MKR──一种有效的增量式概念获取系统
阮俊杰
关于p-m度的分裂
郑锡忠
Go