全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

主页: http://www.jos.org.cn/jos/ch/index.aspx

分享:




Go

用面向对象方法实现VLSI布图规划

吴良芝,杨芙清,洪建顺

集成CASE的集成模型

张莉,麦中凡

用Boltzmann网络解任务安排问题

张德富,顾卫刚

面向对象系统中的特性表机制与复合对象

刘凤歧,姚莉,汪浩

Grzegorczyk分层的一种延伸

郑锡忠,钱磊

词类划分的数学理论

白硕

一个新的强化别名分析算法

金国华,陈福接

自适应多层次矢量量化方法

石青云,程民德,钟声

基于类型理论的递旧元程序设计

谭庆平,陈火旺

基于时区与时区估计的层次调度模型

张钹,黄必清

并行数据操作算法和查询优化技术

李建中

专家系统的软件工程建造方法

于之硕,刘群,黄厚宽

模糊集间的语义关联度及其应用

何新贵

工程图尺寸标注的网状文法

唐泽圣,唐龙,闵卫东

一个面向JSD方法的规格说明语言转换系统

丁茂顺,周晓彤,宗丽苹

一种Trie结构

戴大为,黄竟伟

XYZ／CFC与XYZ／PAD：图形一文本程序设计环境

唐稚松,唐若鹰,王霄,龚洁

分布数据库系统内核TX的设计与实现

李北星,王小京

命题时态逻辑定理证明新方法

贲可荣,陈火旺

关于传递闭包和函数依赖完备公理系统存在问题研究

聂培尧

堆整序的最优算法

诸宇章,顾训穰

基于反射的规划方法

张钹,李永成

ADA—DDBMS中的并发控制

陈东辉,韦梓楚

关于交替的ω─有穷自动机的接受条件

周文俊,周清雷,庄雷,苏锦祥

SDL支撑系统

曹东启,李志斌

FP──VLSI自动综合系统

孙永强,胡振江,袁昕

具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

周行仁,徐庆生

关于空间三角网格上G1插值的阶数

姜寿山

一个模糊时态关系代数

张师超,罗旭东

增量静态语义分析的一个对象模型

徐智晨,钱家骅

Sidle的远程执行设备

徐高潮,鞠九滨

软件过程的JMOSP模型

叶云文,张然,张育超

一种基于格局的程序分析方法

李宣东,邢光荣,郑国梁

改进的基于小波变换的立体视觉匹配方法

石青云,程民德,钟声

数据流图的形式规范

秦晓

传统数据流模型的分析及改进

王永革

使用工作站网络并行执行prolog程序

陶杰,鞠九滨

FFP语言及其环境的实现

王鑫

ELNF演算的解释技术

张运桢,李智勇,金海,银海,阳富民

关于在演绎数据库系统研究中引入一种新的关系的一些探讨

徐洁磐

状态逻辑型程序设计语言

阎志欣

逻辑程序的并行性粒度的分析

胡守仁,黄志毅

深表层推理模型HELI

曹存根

数据并行的性能分析

刘德才,沈美明,王鼎兴,郑纬民

一种面向软件工程的时序逻辑语言

唐稚松,赵琛

主存数据库系统与技术

吴泉源,张火炬,王升,阳国贵

一个面向对象的二级并发模型

王戟,陈火旺

在实时应用运行环境下虚显示、虚键盘、虚终端的设计与实现

李朝中,范植华,许博义,邢国光

基于知识的可重用构件查询系统KCQ

余江,全炳哲,金淳兆

推理维护系统的Petri网模型

林闯,陆维明

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705