- - oalib

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

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

分享:

一种形式化的基于TTCN的测试执行方法

史美林,吴建平,郝瑞兵

对Condor系统的分析与改进

张怡颖,郭雷,鞠九滨

大型数据库中多层关联规则的元模式制导发现

欧阳为民,蔡庆生

支持软件开发的可执行定义方法

何志均,吴朝晖,应晶

用于含过程调用DO循环的循环嵌入方法

丁永华,原庆能,朱传琪,臧斌宇

一种面向对象的可重用库管理系统的模型

张为民,王青,蔡建平

π-演算中无卫递归的消除

林惠民

开放分布式对象系统中的通信智能体

康卓,康立山,戴大为,李健东,李巧云

一种自适应词性标注方法

史晓东,杨谊,王挺,陈火旺

TUR: 一种在UNIX内核中实现的高性能路由器

吴建平,毕军

一个支持并行流的多媒体服务系统

吴飞,王朴,陈福接

实时主存数据库事务的预处理

刘云生,胡国玲,舒良才

概率逻辑公式集分解的合并聚类算法

刘凤岐,张晨东,陈火旺

肺泡显微切片的三维重建

彭群生,李捷,郭红晖

主题数据库规划合理性估计的数学公式

王玉书,董丕明

基于弱一致性模型软件数据预取策略

周兴铭,窦勇

基于限定的溯因问题求解

孙吉贵,陈保平

对FTART算法的研究及改进

周戎,李红兵,陈世福,陈兆乾

关系图文法及其应用

方林,谢立

迭代算子及其在可重用软件研究中的应用

万剑怡,吴云峰,薛锦云

一个带量词的context逻辑及其限制推理

刘海燕,王兵山,陈火旺

基于总线桥协议的异构机群并行虚拟机的构造

张建军,李未,金利杰

一个任意图的输出和编辑系统

庞云阶,李文辉

一类约化梯阵的RaRb表示

王浩

几何因果定性推理的基本原理和算法

杨莉,葛建新

基于归纳逻辑程序设计的学习方法及其实现的研究

刘贵全,蔡庆生,陈恩红

类相似性的比较及其在类库检索中的应用

吕枫华,王和珍,费翔林

面向对象数据库的查询优化

吴胜利,王能斌

基于粗糙集的多变量决策树构造方法

王珏,苗夺谦

一种简单阈值方案的优化

戴一奇,林行良,苏中民

一种避免数据偏斜的动态Hash连接方法

洪晓光,王新军,董继润

传统程序设计语言的面向对象扩充的若干技术

李宣东,郑国梁

CCPP: 一个并发C++语言的设计与实现

张宁,温冬婵,王鼎兴

自然语言中时间信息的模型化

姚天顺,郭宏蕾

基于微核心的国产操作系统安全性研究

孙玉方,李军

基于家族优生学的进化算法

吴少岩,张青富,陈火旺

一个统一的程序验证框架

贾国平,郑国梁

LogP模型上的最优播送与求和算法的实现

寿标,陈国良

基于ACTOR模型的并发面向对象语言AC++

刘琳,田籁声,董哲

基于配对方法的自动定理证明

余皓,陆汝占,陈玉泉

关于开放型物理系统的QP理论

韦梓楚

三维分层分支树状模式的复原:等式与推导

杨敬安

基于VHDL的系统规范语言的研究

董社勤,陈爽,高国安

分布式计算的快照算法

孙永强,贺乐天

NURBS双向蒙皮造型方法的研究与实现

周儒荣,周来水,张乐年

一种在矢量基础上进行图形识别的通用方法

Dov Dori,刘文印,唐泽圣,唐龙

非线性最小二乘全局解的混合计算智能算法

赵明旺

优化记录法在PVM中的改进和应用

金茂忠,黄宁

一个动态自适应的迁移和协同调度模型

谢立,陆桑璐

CHIQL的多语句查询特征及其优化处理

刘文琸,孟小峰,林耀燊,王珊,黄锦辉

©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