作者搜索
新闻
  19.7.23
ScholarSpace计算机中文文献导读已更新到2019年6月!
  19.5.9
计算机学科排名系统ScholarRankings v2.0发布,新增领域选择和排名方式选择功能。
  19.4.27
学术引用系统ScholarCitation v1.0发布,基于计算机领域82826篇期刊论文间的引用关系,评估学术影响力。
  18.1.9
计算机学科排名系统ScholarRankings v1.0发布,其旨在改善原有排名方法,激励国内高校和教师积极参与计算机各个领域的研究,学者与学校的排名不仅取决于论文数量,排名结果更具有参考性(排名算法参考CSRankings)。
  17.11.9
学者关系知识图谱ScholarGraph v1.0发布,涵盖七大领域(计算机、经济、管理、物理、地理、考古、教育)673,044位学者、1,068,928篇论文的数据,共计10,612,497个三元组,每个领域下均有作者、期刊、论文、论文实体,以及论文发表、论文出版关系等。
  17.10.25
学者谱系检索系统ScholarTree(DegreeTree v2.0)系统发布,现已收录53个领域4,003,276条学位论文(涉及53个领域),挖掘出4,643,028条师生关系。

计算技术、计算机技术

    

查看下级分类查看收录最多的机构 查看收录最多的作者查看论文列表

该分类所包含的下级分类

1 计算机理论与方法 5(篇)2 一般性问题 7260(篇)
3 计算机软件 14658(篇)4 一般计算器和计算机 4(篇)
5 电子数字计算机(不连续作用电子计算机) 2489(篇)6 电子模拟计算机(连续作用电子计算机) 8(篇)
7 混合电子计算机 1(篇)8 微型计算机 407(篇)
9 多媒体技术与多媒体计算机 95(篇)10 其他计算机 46(篇)
11 计算机的应用 33709(篇)

分类收文单位排序Top20

1 中国科学院 5395(篇)2 清华大学 2734(篇)
3 国防科技大学 2484(篇)4 华中科技大学 2364(篇)
5 浙江大学 2241(篇)6 上海交通大学 2081(篇)
7 国防科学技术大学 1706(篇)8 中国科学技术大学 1617(篇)
9 北京航空航天大学 1515(篇)10 复旦大学 1462(篇)
11 南京大学 1365(篇)12 西北工业大学 1334(篇)
13 哈尔滨工业大学 1316(篇)14 东北大学 1283(篇)
15 武汉大学 1234(篇)16 北京大学 1184(篇)
17 西安交通大学 1108(篇)18 西安电子科技大学 1095(篇)
19 南京理工大学 1015(篇)20 东南大学 1005(篇)

分类收文作者排序Top20

1 于戈 347(篇)2 杨静宇 278(篇)3 施伯乐 234(篇)4 李建中 218(篇)
5 王斌 206(篇)6 贾焰 204(篇)7 张伟 202(篇)8 谢立 196(篇)
9 方滨兴 193(篇)10 王怀民 192(篇)11 王国仁 187(篇)12 彭群生 186(篇)
13 王珊 182(篇)14 冯登国 175(篇)15 吴泉源 173(篇)16 周傲英 163(篇)
17 李华 161(篇)18 孟小峰 156(篇)19 潘云鹤 152(篇)20 潘志庚 151(篇)

该分类收录论文列表(共86535篇)

No. Paper Inforamtion
2019
86535 詹悦 方贤文 王丽丽 . 基于配置的交互流程变化传播分析. 计算机科学, 2019, (08):
86534 梅宏 金芝 郝丹 . 软件学科发展回顾特刊前言. 软件学报, 2019, (01):
86533 马晓星 刘譞哲 谢冰 余萍 张天 卜磊 李宣东 . 软件开发方法发展回顾与展望. 软件学报, 2019, (01):
86532 王怀民 毛晓光 丁博 沈洁 罗磊 任怡 . 系统软件新洞察. 软件学报, 2019, (01):
86531 王戟 詹乃军 冯新宇 刘志明 . 形式化方法概貌. 软件学报, 2019, (01):
86530 荣国平 张贺 邵栋 王青 . 软件过程与管理方法综述. 软件学报, 2019, (01):
86529 张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 . 程序分析研究进展. 软件学报, 2019, (01):
86528 金芝 刘芳 李戈 . 程序理解:现状与未来. 软件学报, 2019, (01):
86527 杜小勇 卢卫 张峰 . 大数据管理系统的历史、现状与未来. 软件学报, 2019, (01):
86526 信俊昌 王国仁 李国徽 高云君 张志强 . 数据模型及其发展历程. 软件学报, 2019, (01):
86525 崔斌 高军 童咏昕 许建秋 张东祥 邹磊 . 新型数据管理系统研究进展与趋势. 软件学报, 2019, (01):
86524 张文 李自强 杜宇航 杨叶 . 方法级别的细粒度软件缺陷定位方法. 软件学报, 2019, (02):
86523 王蕾 周卿 何冬杰 李炼 冯晓兵 . 面向Android应用隐私泄露检测的多源污点分析技术. 软件学报, 2019, (02):
86522 李斌 贺也平 马恒太 . 程序自动修复:关键问题及技术. 软件学报, 2019, (02):
86521 张卓 谭庆平 毛晓光 雷晏 常曦 薛建新 . 增强上下文的错误定位技术. 软件学报, 2019, (02):
86520 张远鹏 周洁 邓赵红 钟富礼 蒋亦樟 杭文龙 王士同 . 代表点一致性约束的多视角模糊聚类算法. 软件学报, 2019, (02):
86519 江卓 吴茜 李贺武 吴建平 . 互联网端到端多路径传输跨层优化研究综述. 软件学报, 2019, (02):
86518 庞晓琼 王田琪 陈文俊 任孟琦 . 一个支持错误定位的批处理数据拥有性证明方案. 软件学报, 2019, (02):
86517 许志伟 陈波 张玉军 . 针对层次化名字路由的聚合机制. 软件学报, 2019, (02):
86516 赵青松 曾庆凯 刘西蒙 徐焕良 . 基于可重随机化混淆电路的可验证计算. 软件学报, 2019, (02):
86515 王文冠 沈建冰 贾云得 . 视觉注意力检测综述. 软件学报, 2019, (02):
86514 田萱 王亮 丁琪 . 基于深度学习的图像语义分割方法综述. 软件学报, 2019, (02):
86513 马玉琨 毋立芳 简萌 刘方昊 杨洲 . 一种面向人脸活体检测的对抗样本生成算法. 软件学报, 2019, (02):
86512 王娟娟 乔颖 熊金泉 王宏安 . 多核环境下基于图模型的实时规则调度方法. 软件学报, 2019, (02):
86511 樊文飞 王国仁 王朝坤 . 智能数据管理与分析技术专刊前言. 软件学报, 2019, (03):
  查看全部(共2259篇)>>
2018
84276 杨克 贺也平 马恒太 王雪飞 . 精准执行可达性分析:理论与应用. 软件学报, 2018, (01): 1-23
84275 赵天琪 赵海燕 张伟 金芝 . 基于模型的自适应方法综述. 软件学报, 2018, (01): 23-42
84274 刘剑 苏璞睿 杨珉 和亮 张源 朱雪阳 林惠民 . 软件与网络安全研究综述. 软件学报, 2018, (01): 42-69
84273 章晓芳 冯洋 刘頔 陈振宇 徐宝文 . 众包软件测试技术研究进展. 软件学报, 2018, (01): 69-89
84272 朱涛 郭进伟 周欢 周烜 周傲英 . 分布式数据库中一致性与可用性的关系. 软件学报, 2018, (01): 131-150
84271 钱卫宁 邵奇峰 朱燕超 金澈清 周傲英 . 区块链与可信数据管理:问题与方法. 软件学报, 2018, (01): 150-160
84270 张少军 兰巨龙 胡宇翔 江逸茗 . 软件定义网络控制平面可扩展性研究进展. 软件学报, 2018, (01): 160-176
84269 贾溢豪 任罡 刘莹 . 互联网自治域间IP源地址验证技术综述. 软件学报, 2018, (01): 176-196
84268 李继蕊 李小勇 高雅丽 高云全 方滨兴 . 物联网环境下数据转发模型研究. 软件学报, 2018, (01): 196-
84267 高文超 李国良 塔娜 . 路网匹配算法综述. 软件学报, 2018, (02): 225-251
84266 丁志军 周泽霞 . Web服务组合测试综述. 软件学报, 2018, (02): 299-320
84265 栗元邦 彭蓉 季晶晶 王帮超 赖涵 . 经验研究中情景感知需求获取与建模系统文献综述. 软件学报, 2018, (02): 320-340
84264 刘华锋 景丽萍 于剑 . 融合社交信息的矩阵分解推荐方法研究综述. 软件学报, 2018, (02): 340-363
84263 刘慧婷 刘志中 黄厚柱 吴信东 . 一般间隙与One-Off条件的序列模式匹配. 软件学报, 2018, (02): 363-383
84262 王艳艳 陈群 钟评 李战怀 . 一种基于近似因子的在线概率知识库推理方法. 软件学报, 2018, (02): 383-396
84261 徐杨 袁峰 林琪 汤德佑 李东 . 基于混合人工免疫算法的流程挖掘事件日志融合方法. 软件学报, 2018, (02): 396-417
84260 韩忠明 李梦琪 刘雯 张梦玫 段大高 于重重 . 网络评论方面级观点挖掘方法研究综述. 软件学报, 2018, (02): 417-442
84259 陈振华 李顺东 黄琼 丁勇 刘娅茹 . 非加密方法安全计算两种集合关系. 软件学报, 2018, (02): 473-483
84258 李海生 孙莉 武玉娟 吴晓群 蔡强 杜军平 . 非刚性三维模型检索特征提取技术研究. 软件学报, 2018, (02): 483-506
84257 舒清雅 刘日晨 洪帆 张江 袁晓如 . 集合模拟可视化进展. 软件学报, 2018, (02): 506-
84256 林学民 杜小勇 李翠平 . 基于图结构的大数据分析与管理技术专刊前言. 软件学报, 2018, (03): 525-528
84255 李金吉 张岩峰 巩树凤 于戈 高立新 . 流式处理的异步图处理框架. 软件学报, 2018, (03): 528-545
84254 张子兴 吴斌 吴心宇 张有杰 孙思瑞 彭程程 刘昱彤 . 路径-维度GraphOLAP大规模多维网络并行分析框架. 软件学报, 2018, (03): 545-569
84253 王童童 荣垂田 卢卫 杜小勇 . 分布式图处理系统技术综述. 软件学报, 2018, (03): 569-587
84252 李晓旭 于亚新 张文超 王磊 . Coteries轨迹模式挖掘及个性化旅游路线推荐. 软件学报, 2018, (03): 587-599
  查看全部(共2884篇)>>
2017
81392 王熙照 贺毅朝 . 求解背包问题的演化算法. 软件学报, 2017, (01): 1-17
81391 毛嘉莉 金澈清 章志刚 周傲英 . 轨迹大数据异常检测:研究进展及系统框架. 软件学报, 2017, (01): 17-35
81390 童咏昕 袁野 成雨蓉 陈雷 王国仁 . 时空众包数据管理技术研究综述. 软件学报, 2017, (01): 35-59
81389 潘巍 李战怀 杜洪涛 周陈超 苏静 . 新型非易失存储环境下事务型数据管理技术研究. 软件学报, 2017, (01): 59-84
81388 韩忠明 陈炎 刘雯 原碧鸿 李梦琪 段大高 . 社会网络节点影响力分析研究. 软件学报, 2017, (01): 84-105
81387 胡治国 田春岐 杜亮 关晓蔷 曹峰 . IP网络性能测量研究现状和进展. 软件学报, 2017, (01): 105-135
81386 吴泽智 陈性元 杨智 杜学绘 . 信息流控制研究进展. 软件学报, 2017, (01): 135-160
81385 姜枫 顾庆 郝慧珍 李娜 郭延文 陈道蓄 . 基于内容的图像分割方法综述. 软件学报, 2017, (01): 160-
81384 贺毅朝 王熙照 李文斌 赵书良 . 求解随机时变背包问题的精确算法与进化算法. 软件学报, 2017, (02): 185-203
81383 宋丽华 王海涛 季晓君 张兴元 . 文件比较算法fcomp在Isabelle/HOL中的验证. 软件学报, 2017, (02): 203-216
81382 段露 宋永红 张元林 . 一种面向问卷图像的版面分析算法. 软件学报, 2017, (02): 234-246
81381 刘冰玉 王翠荣 王聪 王军伟 王兴伟 黄敏 . 基于动态主题模型融合多维数据的微博社区发现算法. 软件学报, 2017, (02): 246-262
81380 侯博议 陈群 杨婧颖 李战怀 . 无监督的中文商品属性结构化方法. 软件学报, 2017, (02): 262-278
81379 仲兆满 管燕 胡云 李存华 . 基于背景和内容的微博用户兴趣挖掘. 软件学报, 2017, (02): 278-292
81378 张博 郝杰 马刚 史忠植 . 基于弱匹配概率典型相关性分析的图像自动标注. 软件学报, 2017, (02): 292-310
81377 李淼 谷峪 陈默 于戈 . 一种针对反向空间偏好top-k查询的高效处理方法. 软件学报, 2017, (02): 310-326
81376 单菁 申德荣 寇月 聂铁铮 于戈 . 基于重叠社区搜索的传播热点选择方法. 软件学报, 2017, (02): 326-341
81375 姜火文 曾国荪 马海英 . 面向表数据发布隐私保护的贪心聚类匿名方法. 软件学报, 2017, (02): 341-352
81374 赵川 蒋瀚 魏晓超 徐秋亮 . Cut-and-Choose双向不经意传输. 软件学报, 2017, (02): 352-361
81373 熊思纯 杨超 马建峰 张俊伟 . 一种随机剔除点的安卓图形解锁方案. 软件学报, 2017, (02): 361-372
81372 巩林明 李顺东 王道顺 窦家维 . 明文编码随机化加密方案. 软件学报, 2017, (02): 372-384
81371 毛蔚轩 蔡忠闽 童力 . 一种基于主动学习的恶意代码检测方法. 软件学报, 2017, (02): 384-398
81370 刘珂男 童薇 冯丹 刘景宁 张炬 . 一种灵活高效的虚拟CPU调度算法. 软件学报, 2017, (02): 398-411
81369 赵小刚 胡启平 丁玲 沈志东 . 基于模型预测控制的数据中心节能调度算法. 软件学报, 2017, (02): 429-443
81368 曹洁 曾国荪 匡桂娟 张建伟 马海英 胡克坤 钮俊 . 支持随机服务请求的云虚拟机按需物理资源分配方法. 软件学报, 2017, (02): 457-
  查看全部(共2770篇)>>
2016
78622 陈翔 顾庆 刘望舒 刘树龙 倪超 . 静态软件缺陷预测方法研究. 软件学报, 2016, (01): 1-26
78621 于文静 赵海燕 张伟 金芝 . 基于特征模型的软件产品自动导出方法综述. 软件学报, 2016, (01): 26-45
78620 卿斯汉 . Android安全研究进展. 软件学报, 2016, (01): 45-72
78619 梁一鑫 程光 郭晓军 周爱平 . 机载网络体系结构及其协议栈研究进展. 软件学报, 2016, (01): 96-112
78618 郭凤华 张彩明 焦文江 . 网格参数化研究进展. 软件学报, 2016, (01): 112-136
78617 王驰 谢昭 高隽 姚婷婷 . 偏振光线跟踪绘制技术研究进展综述. 软件学报, 2016, (01): 136-155
78616 赵伟 洪日昌 赵瑞珍 刘克 . 计算机学科国家自然科学基金重点项目10年资助情况分析. 软件学报, 2016, (01): 188-
78615 朱梧槚 李未 眭跃飞 罗杰 . 命题中介逻辑的可靠和完备Gentzen推导系统. 软件学报, 2016, (02): 209-219
78614 张锡哲 吕天阳 张斌 . 基于服务交互行为的复杂服务协同网络建模. 软件学报, 2016, (02): 231-247
78613 李洋 陈毅恒 刘挺 . 微博信息传播预测研究综述. 软件学报, 2016, (02): 247-264
78612 李培峰 周国栋 朱巧明 . 基于语义的中文事件触发词抽取联合模型. 软件学报, 2016, (02): 280-295
78611 邹博伟 钱忠 陈站成 朱巧明 周国栋 . 面向自然语言文本的否定性与不确定性信息抽取. 软件学报, 2016, (02): 309-329
78610 刘喜平 万常选 刘德喜 廖国琼 . 空间关键词搜索研究综述. 软件学报, 2016, (02): 329-348
78609 张峻铭 李静林 王尚广 刘志晗 袁泉 杨放春 . 基于时空图的移动对象聚集模式挖掘方法. 软件学报, 2016, (02): 348-363
78608 辛宇 杨静 谢志强 . 一种面向语义重叠社区发现的Link-Block算法. 软件学报, 2016, (02): 363-381
78607 张啸剑 孟小峰 . 基于差分隐私的流式直方图发布方法. 软件学报, 2016, (02): 381-394
78606 周桐庆 蔡志平 夏竟 徐明 . 基于软件定义网络的流量工程. 软件学报, 2016, (02): 394-418
78605 徐继伟 张文博 魏峻 钟华 黄涛 . 一种基于聚类分组的虚拟机镜像去冗余方法. 软件学报, 2016, (02): 466-481
78604 黄啸 邓良 孙浩 曾庆凯 . 基于硬件虚拟化的安全高效内核监控模型. 软件学报, 2016, (02): 481-
78603 詹乃军 王戟 李宣东 . 软件形式化方法与应用专题前言. 软件学报, 2016, (03): 495-497
78602 李轶 冯勇 . 有界闭连通域上的非线性循环终止性分析. 软件学报, 2016, (03): 517-527
78601 陈睿 杨孟飞 郭向英 . 基于变量访问序模式的中断数据竞争检测方法. 软件学报, 2016, (03): 547-562
78600 吕江花 高世伟 马世龙 孙波 李先军 . 安全苛刻系统测试语言中的测试设备协同语句. 软件学报, 2016, (03): 562-580
78599 王婷 陈铁明 刘杨 . 基于模拟关系的精化检测方法. 软件学报, 2016, (03): 580-593
78598 汤恩义 周岩 欧建生 陈鑫 . 面向条件判定覆盖的线性拟合制导测试生成. 软件学报, 2016, (03): 593-611
  查看全部(共2953篇)>>
2015
75669 郭曦 王盼 . 相关路径静态分析中协同式逆向推理方法. 软件学报, 2015, (01): 411-411
75668 包晓安 谢晓鸣 张娜 曹建文 桂宁 . 基于缺陷关联度的Markov模型软件优化测试策略. 软件学报, 2015, (01): 411-411
75667 邸男 朱明 韩广良 . 似然相似度函数在目标跟踪中的鲁棒机理研究. 软件学报, 2015, (01): 411-411
75666 张朝昆 崔勇 唐翯翯 吴建平 . 软件定义网络(SDN)研究进展. 软件学报, 2015, (01): 411-411
75665 陈晨 董超 茅娅菲 陈贵海 王海 . 无线网络编码感知路由综述. 软件学报, 2015, (01): 411-411
75664 李经纬 贾春福 刘哲理 李进 李敏 . 可搜索加密技术研究综述. 软件学报, 2015, (01): 411-411
75663 马友忠 孟小峰 . 云数据管理索引技术研究. 软件学报, 2015, (01): 411-411
75662 潘秋萍 游进国 张志朋 董朋志 胡宝丽 . 图聚集技术的现状与挑战. 软件学报, 2015, (01): 411-411
75661 李宣东 刘超 毛晓光 . 安全攸关软件系统建模与验证专题前言. 软件学报, 2015, (02): 411-411
75660 杨志斌 胡凯 赵永望 马殿富 Jean-Paul BODEVEIX . 基于时间抽象状态机的AADL模型验证. 软件学报, 2015, (02): 411-411
75659 侯刚 周宽久 常军旺 王洁 李明楚 . 基于时间STM的软件形式化建模与验证方法. 软件学报, 2015, (02): 411-411
75658 张一帆 黄超 欧建生 汤恩义 陈鑫 . 设备驱动程序可靠性和正确性保障方法与技术研究进展. 软件学报, 2015, (02): 411-411
75657 杨波 吴际 刘超 . 基于数据链的软件故障定位方法. 软件学报, 2015, (02): 411-411
75656 代声馨 洪玫 郭兵 杨秋辉 黄蔚 徐保平 . 多处理器实时系统可调度性分析的UPPAAL模型. 软件学报, 2015, (02): 411-411
75655 李轶 李传璨 吴文渊 . 多分支单变量循环程序的终止性分析. 软件学报, 2015, (02): 411-411
75654 杜德慧 程贝 刘静 . 面向安全攸关系统中小概率事件的统计模型检测. 软件学报, 2015, (02): 411-411
75653 刘洋 甘元科 王生原 董渊 杨斐 石刚 闫鑫 . 同步数据流语言高阶运算消去的可信翻译. 软件学报, 2015, (02): 411-411
75652 甘水滔 秦晓军 陈左宁 王林章 . 一种基于特征矩阵的软件脆弱性代码克隆检测方法. 软件学报, 2015, (02): 411-411
75651 何炎祥 江南 李清安 张军 沈凡凡 . 一个机器检测的Micro-Dalvik虚拟机模型. 软件学报, 2015, (02): 411-411
75650 单黎君 周兴社 王宇英 赵雷 万丽景 乔磊 陈建新 . 信息物理融合系统控制软件的统计模型检验. 软件学报, 2015, (02): 411-411
75649 陈翔 鞠小林 文万志 顾庆 . 基于程序频谱的动态缺陷定位方法研究. 软件学报, 2015, (02): 411-411
75648 孙浩 曾庆凯 . 整数漏洞研究:安全模型、检测方法和实例. 软件学报, 2015, (02): 411-411
75647 徐丙凤 黄志球 胡军 魏欧 李伟湋 . 一种状态事件故障树的时间特性分析方法. 软件学报, 2015, (02): 411-411
75646 董子禾 闻立杰 黄浩未 王建民 . 基于触发序列集合的过程模型行为相似性算法. 软件学报, 2015, (03): 411-411
75645 凌济民 张莉 . 基于过程结构树的过程模型变体匹配技术. 软件学报, 2015, (03): 411-411
  查看全部(共3035篇)>>
2014
72634 程苏琦 沈华伟 张国清 程学旗 . 符号网络研究综述. 软件学报, 2014, (01): 1-16
72633 高建华 蒋颖 . 基于余归纳的最小Kripke结构的求解. 软件学报, 2014, (01): 16-27
72632 韩召伟 李永明 . 量子Müller自动机与单体二阶量子逻辑. 软件学报, 2014, (01): 27-37
72631 徐恪 朱亮 朱敏 . 互联网地址安全体系与关键技术. 软件学报, 2014, (01): 78-98
72630 张玉洁 何明 孟祥武 . 基于用户需求的内容分发点对点网络系统研究. 软件学报, 2014, (01): 98-118
72629 李福亮 杨家海 吴建平 安常青 姜宁 . 互联网自动配置研究. 软件学报, 2014, (01): 118-135
72628 周爱平 程光 郭晓军 . 高速网络流量测量方法. 软件学报, 2014, (01): 135-154
72627 张国强 李杨 林涛 唐晖 . 信息中心网络中的内置缓存技术研究. 软件学报, 2014, (01): 154-177
72626 李宣东 于戈 . 嵌入式系统软件设计方法与技术专刊前言. 软件学报, 2014, (02): 177-179
72625 吕鸣松 关楠 王义 . 面向WCET估计的Cache分析研究综述. 软件学报, 2014, (02): 179-200
72624 黄志球 徐丙凤 阚双龙 胡军 陈哲 . 嵌入式机载软件安全性分析标准、方法及工具研究综述. 软件学报, 2014, (02): 200-219
72623 卜磊 解定宝 . 混成系统形式化验证. 软件学报, 2014, (02): 219-234
72622 王博 白晓颖 贺飞 Xiaoyu SONG . 可组合嵌入式软件建模与验证技术研究综述. 软件学报, 2014, (02): 234-254
72621 章铁飞 陈天洲 吴剑钟 . 基于程序访存模式的低功耗存储技术. 软件学报, 2014, (02): 254-267
72620 荣国平 刘天宇 谢明娟 陈婕妤 张贺 陈道蓄 . 嵌入式系统开发中敏捷方法的应用研究综述. 软件学报, 2014, (02):
72619 谷传才 关楠 于金铭 王义 邓庆绪 . 多处理器混合关键性系统中的划分调度策略. 软件学报, 2014, (02): 284-298
72618 孙景昊 邓庆绪 孟亚坤 . GPU上两阶段负载调度问题的建模与近似算法. 软件学报, 2014, (02): 298-314
72617 张琦 王林章 张天 邵子立 . 一种优化的闪存地址映射方法. 软件学报, 2014, (02):
72616 朱晓瑞 陶先平 谢宏伟 吕建 . 一种面向无线传感网应用重编程的逻辑式编程语言. 软件学报, 2014, (02):
72615 石刚 王生原 董渊 嵇智源 甘元科 张玲波 张煜承 王蕾 杨斐 . 同步数据流语言可信编译器的构造. 软件学报, 2014, (02):
72614 董玉坤 金大海 宫云战 邢颖 . 基于区域内存模型的C程序静态分析. 软件学报, 2014, (02):
72613 赵会群 孙晶 张爆 王同林 . 嵌入式API测试套生成方法和技术. 软件学报, 2014, (02): 373-386
72612 张大林 金大海 宫云战 王前 董玉坤 张海龙 . 基于缺陷关联的静态分析优化. 软件学报, 2014, (02): 386-400
72611 尹玲 陈小红 刘静 . 信息物理融合系统的时间需求一致性分析. 软件学报, 2014, (02):
72610 范贵生 虞慧群 陈丽琼 刘冬梅 . 分布式嵌入式系统的自适应能耗管理和分析. 软件学报, 2014, (02): 419-
  查看全部(共3004篇)>>
2013
69630 张辉帅 王劲林 朱小勇 孙鹏 . 一种实时自适应HTTP流化码流切换算法. 计算机工程, 2013, (02):
69629 邓少伟 罗泽 李树仁 阎保平 . 基于论文共同作者学术关系的学者推荐系统. 计算机工程, 2013, (02):
69628 王茜 刘泓 杨传栋 . 面向外包关联规则挖掘的隐私保护算法研究. 计算机工程, 2013, (02):
69627 赵方 李兰英 . 基于业务流程的Web应用监控系统研究. 计算机工程, 2013, (02):
69626 朱国龙 李龙澍 . 不相容决策系统中的规则提取方法研究. 计算机工程, 2013, (02):
69625 杨艳艳 赵雷 杨季文 . 基于网格索引的数据流子空间概率轮廓查询. 计算机工程, 2013, (02):
69624 阮彤 金志超 . 面向跨企业多方协同应用的Web服务安全模型. 计算机工程, 2013, (02):
69623 赵永升 . 一种新的(m+1,n)理性秘密分享机制. 计算机工程, 2013, (02):
69622 邓文洋 周洲仪 林思明 刘金刚 . 开放式环境下一种基于信任度的RBAC模型. 计算机工程, 2013, (02):
69621 李鸿彬 林浒 吕昕 杨雪华 . 一种高效抵御SIP洪泛攻击的防御模型. 计算机工程, 2013, (02):
69620 聂秀山 董飞 孙建德 . 基于峭度图像的视频指纹算法. 计算机工程, 2013, (02):
69619 左开中 潘涛 郭良敏 罗永龙 . 一种高可靠的无线射频识别群组标签认证协议. 计算机工程, 2013, (02):
69618 孙慧 石艳娇 王建中 吕玲 孔俊 . 一种基于运动目标的视频水印方法. 计算机工程, 2013, (02):
69617 张健 沈春裕 卢瑾 . 基于分解的三维Otsu运动车辆检测方法. 计算机工程, 2013, (02):
69616 刘耀宗 张宏 孟锦 韩法旺 . 基于小波密度估计的数据流离群点检测. 计算机工程, 2013, (02):
69615 顾迎节 金忠 . 基于可见光与红外数据融合的地形分类. 计算机工程, 2013, (02):
69614 刘芳 邹琪 . 基于视觉注意机制的交通标志检测. 计算机工程, 2013, (02):
69613 丁业兵 赵峰 郝诗海 . 多特征带宽自适应Mean Shift目标跟踪算法. 计算机工程, 2013, (02):
69612 沈学利 程宇伟 . 基于竞争学习网络的中文关键字提取算法. 计算机工程, 2013, (02):
69611 王立斌 林丹 . 求解CARPSD问题的自适应局部搜索算法. 计算机工程, 2013, (02):
69610 郭永彩 邓细凤 高潮 . 基于主成分分析的表面缺陷自动检测算法. 计算机工程, 2013, (02):
69609 冯凯 王小华 谌志群 . 基于动态规划的汉语句子相似度算法. 计算机工程, 2013, (02):
69608 张可为 申群太 . 基于多级协同传播的交互式图像分割. 计算机工程, 2013, (02):
69607 陈洪磊 贺建峰 刘俊卿 . 基于二维检索的投影矩阵算法. 计算机工程, 2013, (02):
69606 杨晓慧 姚雪彦 . 结合LBP和Brushlet的自适应图像检索. 计算机工程, 2013, (02):
  查看全部(共3262篇)>>
2012
66368 於志文 於志勇 周兴社 . 社会感知计算:概念、问题及其研究进展. 计算机学报, 2012, (01):
66367 雷元武 窦勇 郭松 . 基于FPGA的高精度科学计算加速器研究. 计算机学报, 2012, (01):
66366 朱辉生 汪卫 施伯乐 . 基于频繁闭情节及其生成子的无冗余情节规则抽取. 计算机学报, 2012, (01):
66365 熊伟 吴烨 张震 吴秋云 . 基于触发路径的主动规则集终止性分析. 计算机学报, 2012, (01):
66364 张永新 李庆忠 彭朝晖 . 基于Markov逻辑网的两阶段数据冲突解决方法. 计算机学报, 2012, (01):
66363 林一松 杨学军 唐滔 王桂彬 徐新海 . 一种基于关键路径分析的CPU-GPU异构系统综合能耗优化方法. 计算机学报, 2012, (01):
66362 雷秀娟 田建芳 . 蛋白质相互作用网络的蜂群信息流聚类模型与算法. 计算机学报, 2012, (01):
66361 刘利雄 马忠梅 赵恒博 姚宇华 张麒 . 一种基于主动轮廓模型的心脏核磁共振图像分割方法. 计算机学报, 2012, (01):
66360 陈帆 和红杰 王宏霞 . 用于图像认证的变容量恢复水印算法. 计算机学报, 2012, (01):
66359 郭哲 张艳宁 林增刚 . 多信息融合的多姿态三维人脸面部五官标志点定位方法. 计算机学报, 2012, (01):
66358 季君 陆一平 查建中 崔耀东 王金敏 . 生成矩形毛坯最优两段排样方式的确定型算法. 计算机学报, 2012, (01):
66357 林闯 胡杰 孔祥震 . 用户体验质量(QoE)的模型与评价方法综述. 计算机学报, 2012, (01):
66356 甘早斌 曾灿 李开 韩建军 . 电子商务下的信任网络构造与优化. 计算机学报, 2012, (01):
66355 何光宇 闻英友 赵宏 . 固定移动融合网络中基于资源挑战的垃圾语音防范方法. 计算机学报, 2012, (01):
66354 陈文龙 徐明伟 . 面向地址空间分离网络的地址映射模型:AMIA. 计算机学报, 2012, (01):
66353 李杰 吴建平 徐恪 陈文龙 . Hidasav:一种层次化的域间真实源地址验证方法. 计算机学报, 2012, (01):
66352 党小超 阎林 . 基于多元线性自回归模型的流量预测. 计算机工程, 2012, (01):
66351 马文超 张涛 . 一种基于FPGA的以太网高速传输平台. 计算机工程, 2012, (01):
66350 张嗜军 高曙 . 一种改进的增量式JVM垃圾收集算法. 计算机工程, 2012, (01):
66349 陈海民 李峥 谢铁顿 . 基于Radix-4 Booth编码的乘法器优化设计. 计算机工程, 2012, (01):
66348 王冶 张盛兵 王党辉 . 基于预缓冲机制的低功耗指令Cache. 计算机工程, 2012, (01):
66347 王立霞 淮晓永 . 基于语义的中文文本关键词提取算法. 计算机工程, 2012, (01):
66346 杨帆 高振华 柴志雷 . WCET可预测的Java指令集硬件实现. 计算机工程, 2012, (01):
66345 施光源 张建标 付颖芳 . 基于双重完整性的可信证明模型. 计算机工程, 2012, (01):
66344 王鑫 裘佺 孙洪涛 . Halo:基于Eclipse的逆向工程工具. 计算机工程, 2012, (01):
  查看全部(共4347篇)>>
2011
62021 孙湘 . 非线性动态加速系数对粒子群算法的影响. 计算机工程与科学, 2011, (10): 131-135
62020 常万军 苏强林 . OWL本体存储模式研究. 计算机工程与科学, 2011, (10): 135-140
62019 张俐 张维玺 . Facade模式在数据持久层中的应用. 计算机工程与科学, 2011, (10): 105-111
62018 李婧 刘万伟 . SMT求解器理论组合技术研究. 计算机工程与科学, 2011, (10): 111-120
62017 隋平 赵常智 董威 李冰鹏 . 基于三值语义的软件运行时验证方法. 计算机工程与科学, 2011, (10): 99-105
62016 董孟高 毛新军 杨华 齐治昌 . 自适应策略描述语言编译器的设计与实现. 计算机工程与科学, 2011, (10): 93-99
62015 冯锴 林柏钢 . 跨站脚本漏洞的白盒测试框架的设计和实现. 计算机工程与科学, 2011, (10): 45-51
62014 林一松 唐玉华 唐滔 . GPGPU技术研究与发展. 计算机工程与科学, 2011, (10): 85-93
62013 张琦滨 李强 . Pshare:两级自适应分支预测算法及实现. 计算机工程与科学, 2011, (10): 80-85
62012 唐明 沈菲 邓慧 尹鹏 邱镇龙 马啸 张焕国 . PRESENT的多模型差分错误分析. 计算机工程与科学, 2011, (10): 39-45
62011 郭御风 郭诵忻 龚锐 . 一种面向多核处理器I/O系统软错误容错方法. 计算机工程与科学, 2011, (10): 76-80
62010 郑浩 金利峰 . 高速串行背板10Gbps信号传输性能仿真和分析. 计算机工程与科学, 2011, (10): 70-76
62009 毕卓 戴益君 . 全定制CORDIC运算器设计. 计算机工程与科学, 2011, (10): 64-70
62008 刘德辉 尹刚 王怀民 邹鹏 . Chord网络环境下的Gossip算法. 计算机工程与科学, 2011, (09): 48-52
62007 陈国彬 任强 张广泉 . 一种基于抽象与精化技术的Web服务组合验证方法. 计算机工程与科学, 2011, (09): 76-81
62006 刘伍颖 王挺 . 集成学习和主动学习相结合的个性化垃圾邮件过滤. 计算机工程与科学, 2011, (09): 34-42
62005 魏立峰 丁滟 陈松政 何连跃 . 基于认证可信度的用户权限控制技术研究. 计算机工程与科学, 2011, (09): 24-29
62004 梁碧珍 陆月然 杨旭光 . 一种基于相对距离竞争激活的网络入侵检测算法. 计算机工程与科学, 2011, (09): 13-19
62003 熊李军 谢政 陈挚 张军 . 基于多约束QoS问题的启发式算法. 计算机工程与科学, 2011, (09): 19-24
62002 谢志华 孙俊杰 . 基于简化血流图小波包域DCT系数决策融合的红外人脸识别. 计算机工程与科学, 2011, (09): 184-189
62001 王峰 谷天阳 佟金荣 . 软件测评能力成熟度模型研究. 计算机工程与科学, 2011, (09): 174-179
62000 刘莉 郭艳艳 吴扬扬 . 一种基于基本信息单元的索引. 计算机工程与科学, 2011, (09): 117-122
61999 杨亮 林鸿飞 郭巍 . 面向文本的情感迁移分析策略. 计算机工程与科学, 2011, (09): 123-130
61998 占竞 沈吟东 徐甲 . 基于GIS的公交运营仿真系统的设计与实现. 计算机工程与科学, 2011, (09): 164-169
61997 张天宇 林鸿飞 . 多元表征军事信息可信度研究. 计算机工程与科学, 2011, (09): 109-117
  查看全部(共4651篇)>>
2010
57370 孟宪明 凌培亮 . 基于人工鱼群算法的乒乓球数据挖掘. 计算机工程, 2010, 36 (05): 28-32
57369 袁贞明 金贵朝 张佳 . 基于贝叶斯网络的在线草图识别算法. 计算机工程, 2010, 36 (05): 32-35
57368 张佳佳 盘宏斌 黄辉先 . 基于小波对比度和神经网络的图像隐写方法. 计算机工程, 2010, 36 (05): 154-156
57367 李思莉 李娟 . XML文档到关系数据库的映射策略. 计算机工程, 2010, 36 (05): 40-43
57366 陈文 . 基于位矩阵的加权频繁k项集生成算法. 计算机工程, 2010, 36 (05): 54-57
57365 乔奕 郭启勇 沈一帆 . 基于稀疏分解的数据分类算法. 计算机工程, 2010, 36 (05): 57-59
57364 朱亮 冯彦超 刘椿年 杨文柱 . 基于分布密度的直方图与选择率估计. 计算机工程, 2010, 36 (05): 64-67
57363 阚莹莹 曹天杰 . 基于分组无关问题模型的隐私保护算法. 计算机工程, 2010, 36 (05): 79-81
57362 胡玥 高小宇 李莉 高庆狮 . 自然语言合理句子的生成系统. 计算机学报, 2010, 33 (03): 535-545
57361 何鸿君 罗莉 董黎明 何修雄 侯方勇 钟广军 . 广义病毒的形式化定义及识别算法. 计算机学报, 2010, 33 (03): 562-569
57360 黄建辉 刘轶 钱德沛 王胜灵 . 一种可实现呼损率比例公平的准入控制算法. 软件学报, 2010, (08): 1998-2010
57359 吴峰光 奚宏生 徐陈锋 . 一种支持并发访问流的文件预取算法. 软件学报, 2010, (08): 1820-1834
57358 赵妍妍 秦兵 刘挺 . 文本情感分析. 软件学报, 2010, (08): 1834-1849
57357 古华茂 王勋 凌云 高济 . 完全析取范式群判定SHOIN(D)-可满足性. 软件学报, 2010, (08): 1863-1878
57356 王健 刘衍珩 张程 李成岳 . Internet级联动力学分析与建模. 软件学报, 2010, (08): 2050-2059
57355 张新常 王正 罗万明 阎保平 . 一种拓扑感知的应用层组播方案. 软件学报, 2010, (08): 2010-2023
57354 夏飞 窦勇 宋健 雷国庆 . 基于FPGA的细粒度并行CYK算法加速器设计与实现. 计算机学报, 2010, (05): 797-813
57353 罗向阳 刘粉林 杨春芳 何雄飞 . 基于噪声模型和特征联合的PS图像与隐写图像检测. 计算机学报, 2010, (06): 1060-1073
57352 危辉 裘禛宇 . 基于人造物体直线段结构特征的不变性识别. 计算机学报, 2010, (06): 1088-1100
57351 曹治国 彭博 桑农 张天序 . 基于Snake模型的血管树骨架三维重建技术. 计算机学报, 2010, 33 (03): 603-613
57350 李勇军 代亚非 . 对等网络信任机制研究. 计算机学报, 2010, 33 (03): 390-406
57349 骆翔宇 苏开乐 顾明 . 一种求解认知难题的模型检测方法. 计算机学报, 2010, 33 (03): 406-415
57348 张建民 沈胜宇 李思昆 . 基于否证蕴含的极小一阶不可满足子式求解算法. 计算机学报, 2010, 33 (03): 415-427
57347 陈立前 王戟 侯苏宁 . 单变量区间线性不等式抽象域. 计算机学报, 2010, 33 (03): 427-440
57346 张莉 钱冠群 李琳 . 基于变更传播仿真的软件稳定性分析. 计算机学报, 2010, 33 (03): 440-452
  查看全部(共4572篇)>>
2009
52798 冯桂焕 孙正兴 Christian VIARD-GAUDIN . 使用几何特征与隐Markov模型的手绘笔画图元分解. 软件学报, 2009, (01): 1-10
52797 刘复昌 陈强 孙权森 王平安 夏德深 . 结合纹理与形状的Tagged MR图像左心室分割算法. 软件学报, 2009, (01): 30-40
52796 杨博 刘大有 金弟 马海宾 . 复杂网络聚类方法. 软件学报, 2009, (01): 54-66
52795 管河山 姜青山 王声瑞 . 基于点分布特征的多元时间序列模式匹配方法. 软件学报, 2009, (01): 67-79
52794 杨智 朱君 代亚非 . Peer-to-Peer存储系统中一种高效的数据维护方案. 软件学报, 2009, (01): 80-95
52793 谢鲲 文吉刚 张大方 谢高岗 . 布鲁姆过滤器查询算法. 软件学报, 2009, (01): 96-108
52792 周苗 杨家海 刘洪波 吴建平 . Internet网络拓扑建模. 软件学报, 2009, (01): 109-123
52791 李闻 戴英侠 连一峰 冯萍慧 . 基于混杂模型的上下文相关主机入侵检测系统. 软件学报, 2009, (01): 138-151
52790 孙海龙 怀进鹏 富公为 . 一种自适应的网格计算资源组织与发现机制. 软件学报, 2009, (01): 152-163
52789 周傲英 金澈清 王国仁 李建中 . 不确定性数据管理技术研究综述. 计算机学报, 2009, (01): 1-16
52788 金士尧 黄红兵 任传俊 . 基于复杂性科学基本概念的MAS涌现性量化研究. 计算机学报, 2009, (01): 17-29
52787 胡春华 吴敏 刘国平 . Web服务工作流中基于信任关系的QoS调度. 计算机学报, 2009, (01): 42-53
52786 常志明 毛新军 齐治昌 . Bigraph理论在自适应软件体系结构上的应用. 计算机学报, 2009, (01): 97-106
52785 潘雪峰 李锦涛 张勇东 唐胜 余乐军 夏添 . 基于视觉感知的时空联合视频拷贝检测方法. 计算机学报, 2009, (01): 107-114
52784 谢可 梁晓辉 赵沁平 . 一种基于对象属性关注度的QoS传输控制方法. 计算机学报, 2009, (01): 115-123
52783 朱夏 李小平 王茜 . 基于目标增量的无等待流水调度快速迭代贪婪算法. 计算机学报, 2009, (01): 132-141
52782 张浩 林伟 周永彬 叶笑春 范东睿 . 通用处理器的高带宽访存流水线研究. 计算机学报, 2009, (01): 142-151
52781 吴楠 宋方敏 . 一种高效、容错的通用量子计算机体系结构. 计算机学报, 2009, (01): 161-168
52780 邓红艳 武芳 翟仁健 赵倩 . 一种用于空间数据多尺度表达的R树索引结构. 计算机学报, 2009, (01): 177-184
52779 范文山 王斌 . 启发式探查最佳分割平面的快速KD-Tree构建方法. 计算机学报, 2009, (02):
52778 李坚 宋瑞霞 叶梦杰 梁延研 齐东旭 . 基于三角域上V-系统的三维几何模型的正交重构. 计算机学报, 2009, (02):
52777 周元峰 张彩明 贺平 . 体积平方度量下的特征保持网格简化方法. 计算机学报, 2009, (02):
52776 潘青 徐国良 . 曲面变形的水平集方法. 计算机学报, 2009, (02):
52775 迟小羽 盛斌 陈彦云 吴恩华 . 基于物理的植物叶子形态变化过程仿真造型. 计算机学报, 2009, (02):
52774 朱鉴 吴恩华 . 基于GPU的球面深度图实时绘制. 计算机学报, 2009, (02):
  查看全部(共5875篇)>>
2008
46923 徐家福 宋方敏 钱士钧 戴静安 张云洁 . 量子程序设计语言NDQJava. 软件学报, 2008, (01): 1-8
46922 宋方敏 钱士钧 戴静安 张云洁 徐家福 . 量子程序设计语言NDQJava处理系统. 软件学报, 2008, (01): 9-16
46921 李梦君 李舟军 陈火旺 . 基于抽象解释理论的程序验证技术. 软件学报, 2008, (01): 17-26
46920 屈婉霞 李暾 郭阳 杨晓东 . 谓词抽象技术研究?. 软件学报, 2008, (01): 27-38
46919 孙吉贵 刘杰 赵连宇 . 聚类算法研究. 软件学报, 2008, (01): 48-61
46918 陈黎飞 姜青山 王声瑞 . 基于层次划分的最佳聚类数确定方法. 软件学报, 2008, (01): 62-72
46917 徐燕 李锦涛 王斌 孙春明 . 基于区分类别能力的高性能特征选择方法. 软件学报, 2008, (01): 82-89
46916 王建新 龚皓 陈建二 . 高带宽延时网络中一种协同式拥塞控制协议. 软件学报, 2008, (01): 125-135
46915 张刚 谭建龙 . 分布式信息检索中文档集合划分问题的评价. 软件学报, 2008, (01): 136-143
46914 赵金晶 朱培栋 卢锡城 . 基于博弈论的域间组播计费模型. 软件学报, 2008, (01): 144-155
46913 胡湘江 朱培栋 龚正虎 . SE-BGP:一种BGP安全机制. 软件学报, 2008, (01): 167-176
46912 孟小峰 于戈 . Deep Web数据集成专刊前言. 软件学报, 2008, 19 (02): 177-178
46911 刘伟 孟小峰 凌妍妍 . 一种基于图模型的Web数据库采样方法. 软件学报, 2008, 19 (02): 179-193
46910 寇月 申德荣 李冬 聂铁铮 . 一种基于语义及统计分析的Deep Web实体识别机制. 软件学报, 2008, 19 (02): 194-209
46909 凌妍妍 孟小峰 刘伟 . 基于属性相关度的Web数据库大小估算方法. 软件学报, 2008, 19 (02): 224-236
46908 袁柳 李战怀 陈世亮 . 基于本体的Deep Web数据标注. 软件学报, 2008, 19 (02): 237-245
46907 王辉 刘艳威 左万利 . 使用分类器自动发现特定领域的深度网入口(英文). 软件学报, 2008, 19 (02): 246-256
46906 马军 宋玲 韩晓晖 闫泼 . 基于网页上下文的Deep Web数据库分类. 软件学报, 2008, 19 (02): 267-274
46905 宋杰 王大玲 鲍玉斌 申德荣 . 基于页面Block的Web档案采集和存储. 软件学报, 2008, 19 (02): 275-290
46904 郎皓 王斌 李锦涛 丁凡 . 文本检索的查询性能预测. 软件学报, 2008, 19 (02): 291-300
46903 林子雨 杨冬青 宋国杰 王腾蛟 唐世渭 . 实时主动数据仓库中多维数据实视图的选择. 软件学报, 2008, 19 (02): 301-313
46902 汪晓庆 郑彦兴 史美林 . 一种有效的数据共享环境多数据源选择算法. 软件学报, 2008, 19 (02): 314-322
46901 郭宇红 童云海 唐世渭 杨冬青 . 基于FP-Tree的反向频繁项集挖掘. 软件学报, 2008, 19 (02): 338-350
46900 邵华 赵宏 . 属性构造原则与时序计数算子的研究. 软件学报, 2008, 19 (02): 351-357
46899 张铭 银平 邓志鸿 杨冬青 . SVM+BiHMM:基于统计方法的元数据抽取混合模型. 软件学报, 2008, 19 (02): 358-368
  查看全部(共5734篇)>>
2007
41189 刘显明 李师贤 李文军 潘理 . 一种扩展了价格信息的时间Petri网. 软件学报, 2007, 18 (01): 1-10
41188 宋巍 窦万春 刘茜萍 . 时间约束Petri网及其可调度性分析与验证. 软件学报, 2007, 18 (01): 11-21
41187 姜淑娟 徐宝文 史亮 . 一种基于异常传播分析的数据流分析方法. 软件学报, 2007, 18 (01): 74-84
41186 温嘉佳 陈俊亮 彭泳 . 基于目标距离评估的启发式Web Services组合算法. 软件学报, 2007, 18 (01): 85-93
41185 左继红 王千祥 梅宏 . 一种基于模型的特征交互检测方法. 软件学报, 2007, 18 (01): 94-104
41184 叶明江 崔勇 徐恪 吴建平 . 基于有状态Bloom filter引擎的高速分组检测. 软件学报, 2007, 18 (01): 117-126
41183 张永铮 方滨兴 迟悦 云晓春 . 用于评估网络信息系统的风险传播模型. 软件学报, 2007, 18 (01): 137-145
41182 李景涛 荆一楠 肖晓春 王雪平 张根度 . 基于相似度加权推荐的P2P环境下的信任模型. 软件学报, 2007, 18 (01): 157-167
41181 霍红卫 肖智伟 . 基于最大权值路径算法的DNA多序列比对方法. 软件学报, 2007, 18 (02): 185-195
41180 袁伟 高剑峰 步丰林 . 语言建模中最小化样本风险算法的研究和改进. 软件学报, 2007, 18 (02): 196-204
41179 文志强 蔡自兴 . Mean Shift算法的收敛性分析. 软件学报, 2007, 18 (02): 205-212
41178 邹潇湘 戴琼 . 图同构中的一类顶点细分方法. 软件学报, 2007, 18 (02): 213-219
41177 吴强 边计年 薛宏熙 . 系统级综合中结合资源分配的调度算法(英文). 软件学报, 2007, 18 (02): 220-228
41176 董雨果 汪胜荣 郭云飞 刘颖 . 带输入队列并行交换的负载平衡分析(英文). 软件学报, 2007, 18 (02): 229-235
41175 刘仲 周兴铭 . 基于目录路径的元数据管理方法. 软件学报, 2007, 18 (02): 236-245
41174 潘定 沈钧毅 . 时态数据挖掘的相似性发现技术. 软件学报, 2007, 18 (02): 246-258
41173 覃飙 王珊 杜小勇 . Peer数据管理系统中的视图维护策略. 软件学报, 2007, 18 (02): 259-267
41172 廖巍 熊伟 王钧 景宁 钟志农 . 可伸缩的增量连续k近邻查询处理. 软件学报, 2007, 18 (02): 268-278
41171 张炜 李建中 刘禹 . 一种基于概率模型的预测性时空区域查询处理. 软件学报, 2007, 18 (02): 279-290
41170 曹锋 周傲英 . 基于图形处理器的数据流快速聚类. 软件学报, 2007, 18 (02): 291-302
41169 张岩 唐世渭 杨冬青 李晓明 . Web仓储中视图变化频率的自适应估测. 软件学报, 2007, 18 (02): 303-310
41168 彭京 唐常杰 元昌安 李川 胡建军 . 一种基于概念相似度的数据分类方法. 软件学报, 2007, 18 (02): 311-322
41167 张亮 李然 汪卫 施伯乐 . XML数据物化模式的生成与优化技术. 软件学报, 2007, 18 (02): 323-331
41166 陈继东 孟小峰 赖彩凤 . 基于道路网络的对象聚类. 软件学报, 2007, 18 (02): 332-344
41165 张敏 冯登国 徐震 . 多级多版本数据库管理系统全局串行化(英文). 软件学报, 2007, 18 (02): 345-350
  查看全部(共5604篇)>>
2006
35585 蒋运承 汤庸 王驹 . 基于描述逻辑的模糊ER模型. 软件学报, 2006, 17 (01): 20-30
35584 丁晓宁 张昕 金蓓弘 黄涛 . 一种任务类型敏感的J2EE事务调度算法. 软件学报, 2006, 17 (01): 31-38
35583 王忠杰 徐晓飞 战德臣 . 基于特征的构件模型及其规范化设计过程. 软件学报, 2006, 17 (01): 39-47
35582 秦严严 田丰 王晓春 戴国忠 . 一种笔式用户界面软件领域模型及其应用. 软件学报, 2006, 17 (01): 69-78
35581 刘均 李人厚 郑庆华 . 一种面向个性化协同学习的任务生成方法. 软件学报, 2006, 17 (01): 79-85
35580 蔡志平 殷建平 刘芳 刘湘辉 . 延迟约束的分布式演化网络监测模型. 软件学报, 2006, 17 (01): 117-123
35579 李建欣 怀进鹏 李先贤 . 自动信任协商研究. 软件学报, 2006, 17 (01): 124-133
35578 马建刚 黄涛 汪锦岭 徐罡 叶丹 . 面向大规模分布式计算发布订阅系统核心技术. 软件学报, 2006, 17 (01): 134-147
35577 杨明 罗军舟 . 基于认证测试的安全协议分析. 软件学报, 2006, 17 (01): 148-156
35576 朱岩 杨永田 孙中伟 冯登国 . 基于安全多方计算的数字作品所有权证明(英文). 软件学报, 2006, 17 (01): 157-166
35575 华宇 吴产乐 王勇 . GMPLS网络中多约束QoS路由的预计算方法(英文). 软件学报, 2006, 17 (01): 167-174
35574 吴绍春 吴耿锋 王炜 蔚赵春 . 寻找地震相关地区的时间序列相似性匹配算法. 软件学报, 2006, 17 (02): 185-192
35573 郑纬民 张华 王小川 . 一种DNA测序纠错算法. 软件学报, 2006, 17 (02): 193-199
35572 冯寅 周昌乐 . 算法作曲的研究进展. 软件学报, 2006, 17 (02): 209-215
35571 李强 张钹 . 一种基于图像灰度的快速匹配算法. 软件学报, 2006, 17 (02): 216-222
35570 王国仁 葛健 徐恒宇 郑若石 . 基于二分频率变换的序列相似性查询处理技术. 软件学报, 2006, 17 (02): 232-241
35569 王林 戴模 . 基于Gaussian-Hermite矩的指纹奇异点定位. 软件学报, 2006, 17 (02): 242-249
35568 徐为群 徐波 黄泰翼 . 口语对话中的语句分组. 软件学报, 2006, 17 (02): 250-258
35567 韩习武 赵铁军 . 基于次范畴化的汉语多义动词模糊聚类(英文). 软件学报, 2006, 17 (02): 259-266
35566 李丹 吴建平 崔勇 徐恪 刘莹 . PIM-SM协议的建模与改进. 软件学报, 2006, 17 (02): 285-294
35565 孙知信 唐益慰 张伟 宫婧 王汝传 . 基于特征聚类的路由器异常流量过滤算法. 软件学报, 2006, 17 (02): 295-304
35564 高迎 程涛远 王珊 . 基于Hilbert曲线的许可证存储策略及查找算法. 软件学报, 2006, 17 (02): 305-314
35563 刘亚杰 张鹤颖 窦文华 陈俊峰 . P2P分层流媒体中数据分配算法. 软件学报, 2006, 17 (02): 325-332
35562 刘业 杨鹏 . 基于自组织聚类的结构化P2P语义路由改进算法. 软件学报, 2006, 17 (02): 339-348
35561 曹勇刚 曹羽中 金茂忠 刘超 . 面向信息检索的自适应中文分词系统. 软件学报, 2006, 17 (03): 356-363
  查看全部(共5975篇)>>
2005
29610 杨芙清 . 软件工程技术发展思索. 软件学报, 2005, 16 (01): 1-7
29609 熊伟 渡边喜道 新藤久和 . 用HOQ拓展概念的软件描述及其定量结构化方法(英文). 软件学报, 2005, 16 (01): 8-16
29608 景涛 江昌海 胡德斌 白成刚 蔡开元 . 软件关联缺陷的一种检测方法. 软件学报, 2005, 16 (01): 17-28
29607 王悦 岳玮宁 王衡 董士海 . 手持移动计算中的多通道交互. 软件学报, 2005, 16 (01): 29-36
29606 邹盛享 张伟 赵海燕 梅宏 . 面向软件产品家族的变化性建模方法. 软件学报, 2005, 16 (01): 37-49
29605 李杰 田丰 戴国忠 . 笔式用户界面交互信息模型研究. 软件学报, 2005, 16 (01): 50-57
29604 冯志林 尹建伟 陈刚 董金祥 . 一种提花织物图像的有限元分割算法. 软件学报, 2005, 16 (01): 58-66
29603 潘建江 杨勋年 汪国昭 . 基于模糊连接度的图像分割及算法. 软件学报, 2005, 16 (01): 67-76
29602 李庆华 韩建军 Abbas A Essa 张薇 . 硬实时系统中基于软件容错的动态调度算法. 软件学报, 2005, 16 (01): 101-107
29601 杨仕平 桑楠 熊光泽 . 基于Ethernet技术的安全关键实时网络. 软件学报, 2005, 16 (01): 121-134
29600 李庆华 蒋廷耀 张红君 . 一种面向移动计算的低代价透明检查点恢复协议(英文). 软件学报, 2005, 16 (01): 135-144
29599 张福新 章隆兵 胡伟武 唐志敏 . 可恢复的软件DSM系统JIACKPT. 软件学报, 2005, 16 (02): 165-173
29598 李虎 金茂忠 许福 张敏 . 程序设计语言的GLR优化分析. 软件学报, 2005, 16 (02): 174-183
29597 陈永健 舒继武 李建江 王鼎兴 . OpenMP指导语句全局嵌套类型的静态分析及应用(英文). 软件学报, 2005, 16 (02): 194-204
29596 骆吉洲 李建中 . 一种有效的关系数据库压缩方法. 软件学报, 2005, 16 (02): 205-214
29595 颜跃进 李舟军 陈火旺 . 基于FP-Tree有效挖掘最大频繁项集. 软件学报, 2005, 16 (02): 215-222
29594 高军 杨冬青 唐世渭 王腾蛟 . 基于树自动机的XPath在XML数据流上的高效执行. 软件学报, 2005, 16 (02): 223-232
29593 张亮 周向东 张琪 施伯乐 . 图像检索中基于长期学习的动态用户模型. 软件学报, 2005, 16 (02): 233-238
29592 薛涛 冯博琴 . 内容发布订阅系统路由算法和自配置策略研究. 软件学报, 2005, 16 (02): 251-259
29591 徐明 陈纯 应晶 . 一个两层马尔可夫链异常入侵检测模型(英文). 软件学报, 2005, 16 (02): 276-285
29590 綦朝晖 孙济洲 李小图 . 基于队列的模糊拥塞控制算法. 软件学报, 2005, 16 (02): 286-294
29589 马翠霞 戴国忠 滕东兴 陈由迪 . 概念设计中基于笔式手势的交互计算研究(英文). 软件学报, 2005, 16 (02): 303-308
29588 杨文武 冯结青 金小刚 彭群生 . 基于特征分解的2-D多边形渐变. 软件学报, 2005, 16 (02): 309-315
29587 黄拙 张健 . 由一阶逻辑公式得到命题逻辑可满足性问题实例(英文). 软件学报, 2005, 16 (03): 327-335
29586 陈晖 陈意云 茹祥民 . 一种用于Java程序验证编译的标签类型. 软件学报, 2005, 16 (03): 346-354
  查看全部(共5005篇)>>
2004
24605 胡文蕙 赵文 张世琨 王立福 . 基于构件技术的应用框架元模型的研究. 软件学报, 2004, 15 (01): 1-8
24604 刘步权 王怀民 姚益平 . 层次式仿真运行支撑环境StarLink中的关键技术. 软件学报, 2004, 15 (01): 9-16
24603 李慧芳 范玉顺 . 基于时间Petri网的工作流模型分析(英文). 软件学报, 2004, 15 (01): 17-26
24602 毛晓光 邓勇进 . 基于构件软件的可靠性通用模型. 软件学报, 2004, 15 (01): 27-32
24601 张亮 施伯乐 周向东 刘莉 张琪 . 发掘相关反馈日志中关联信息的图像检索方法. 软件学报, 2004, 15 (01): 41-48
24600 胡仕成 徐晓飞 李向阳 . 项目优化调度的病毒协同进化遗传算法. 软件学报, 2004, 15 (01): 49-57
24599 郑翔 叶志远 周秉锋 . JVT草案中的核心技术综述. 软件学报, 2004, 15 (01): 58-68
24598 邢春晓 曾春 李超 周立柱 . 面向数字图书馆的海量信息管理体系结构研究(英文). 软件学报, 2004, 15 (01): 76-85
24597 周向东 施伯乐 张琪 张亮 刘莉 . 基于长期学习的多媒体数据库相似性检索. 软件学报, 2004, 15 (01): 86-93
24596 刘君强 孙晓莹 庄越挺 潘云鹤 . 挖掘闭合模式的高性能算法. 软件学报, 2004, 15 (01): 94-102
24595 肖予钦 张巨 景宁 李军 . 基于R树的方向关系查询处理. 软件学报, 2004, 15 (01): 103-111
24594 吴亦川 黄奎 孙利民 吴志美 . 一种在蜂窝链路上高效传输实时IP业务的机制(英文). 软件学报, 2004, 15 (01): 112-119
24593 周忠 赵沁平 . 基于兴趣层次的RTI拥塞控制研究. 软件学报, 2004, 15 (01): 120-130
24592 马兆丰 冯博琴 宋擒豹 王浩鸣 . 基于动态许可证的信任版权安全认证协议. 软件学报, 2004, 15 (01): 131-140
24591 徐明伟 董晓虎 徐恪 . 组播密钥管理的研究进展. 软件学报, 2004, 15 (01): 141-150
24590 张涛 平西建 . 基于差分直方图实现LSB信息伪装的可靠检测. 软件学报, 2004, 15 (01): 151-158
24589 李晓明 凤旺森 . 两种对URL的散列效果很好的函数. 软件学报, 2004, 15 (02): 179-184
24588 朱庆保 杨志军 . 基于变异和动态信息素更新的蚁群优化算法. 软件学报, 2004, 15 (02): 185-192
24587 全勇 杨杰 姚莉秀 叶晨洲 . 基于连续过松弛方法的支持向量回归算法(英文). 软件学报, 2004, 15 (02): 200-206
24586 孟庆武 . 预估计混叠度的MAP超分辨率处理算法. 软件学报, 2004, 15 (02): 207-214
24585 王军 吴志美 . 交换式以太网中连续实时流媒体的可靠组播. 软件学报, 2004, 15 (02): 229-237
24584 罗永 成礼智 徐志宏 吴翊 . 基于带参数整数小波变换可见数字水印. 软件学报, 2004, 15 (02): 238-249
24583 李德全 苏璞睿 冯登国 . 用于IP追踪的包标记的注记(英文). 软件学报, 2004, 15 (02): 250-258
24582 何晓英 刘琼 雷振明 . 基于位置预查询的因特网移动支持方案. 软件学报, 2004, 15 (02): 259-267
24581 徐非 杨广文 鞠大鹏 . 基于Peer-to-Peer的分布式存储系统的设计. 软件学报, 2004, 15 (02): 268-277
  查看全部(共4888篇)>>
2003
19717 李翠平 李盛恩 王珊 杜小勇 . 一种基于约束的多维数据异常点挖掘方法. 软件学报, 2003, 14 (09): 1571-1577
19716 许进 张雷 . DNA计算机原理、进展及难点(Ⅰ):生物计算系统及其在图论中的应用. 计算机学报, 2003, (01):
19715 吕雅娟 李生 赵铁军 . 基于双语模型的汉语句法分析知识自动获取. 计算机学报, 2003, 26 (01): 32-38
19714 王晓明 符方伟 . 可撤销匿名性的盲代理签名方案. 计算机学报, 2003, 26 (01): 51-54
19713 张琨 许满武 张宏 刘凤玉 . 基于一种相对Hamming距离的入侵检测方法??RHDID. 计算机学报, 2003, 26 (01): 65-70
19712 励晓健 黄勇 黄厚宽 . 基于Poisson过程和Rough包含的计算免疫模型. 计算机学报, 2003, 26 (01): 71-76
19711 陈协彬 . h维墙式环托. 计算机学报, 2003, 26 (01): 77-83
19710 樊建席 何力勤 . BC互连网络及其性质. 计算机学报, 2003, 26 (01): 84-90
19709 朱玉全 孙志挥 季小俊 . 基于频繁模式树的关联规则增量式更新算法. 计算机学报, 2003, 26 (01): 91-96
19708 朱长仁 王润生 . 基于单视图的多姿态人脸识别算法. 计算机学报, 2003, 26 (01): 104-109
19707 杨静宇 金忠 胡钟山 . 具有统计不相关性的最佳鉴别特征空间的维数定理. 计算机学报, 2003, 26 (01): 110-115
19706 陈洪 郑南宁 梁林 徐迎庆 沈向洋 . 基于样本学习的肖像画自动生成算法. 计算机学报, 2003, 26 (02): 147-152
19705 庄莉 徐光? 艾海舟 梁路宏 彭振云 . 视频中多线索的人脸特征检测与跟踪. 计算机学报, 2003, 26 (02): 160-167
19704 寇忠宝 张长水 . 基于Multi-Agent的分类器融合. 计算机学报, 2003, 26 (02): 174-179
19703 陈莉 张兆庆 冯晓兵 . 分布存储系统中优化通信的冗余计算分割. 计算机学报, 2003, 26 (02): 180-187
19702 刘? 张兆庆 乔如良 . 基于域的编译框架. 计算机学报, 2003, 26 (02): 188-194
19701 陈传波 何大华 黄文奇 . 求解单位等边三角形Packing问题的近似算法. 计算机学报, 2003, 26 (02): 212-220
19700 戴青云 余英林 . 一种基于形态小波的在线掌纹的线特征提取方法. 计算机学报, 2003, 26 (02): 234-239
19699 李宏亮 金士尧 胡华平 王志英 . 短事务、强实时双机容错系统的研究. 计算机学报, 2003, 26 (02): 244-249
19698 刘云生 夏家莉 . 基于功能替代的实时事务调度. 计算机学报, 2003, 26 (02): 250-256
19697 董威 王戟 齐治昌 . 并发程序的切片模型检验方法. 计算机学报, 2003, 26 (03): 266-274
19696 陈博兴 杜利民 . 基于双语对齐口语语料的翻译词典的自动生成. 计算机学报, 2003, 26 (03): 275-280
19695 刘海峰 卿斯汉 刘文清 . 安全操作系统的实时报警. 计算机学报, 2003, 26 (03): 287-293
19694 闵帆 石兵 杨国纬 周明天 . 分布式系统中任务分配的一种结点自适应算法. 计算机学报, 2003, 26 (03): 302-309
19693 董育宁 . 运用可变模板进行并行图像处理的一种快速算法. 计算机学报, 2003, 26 (03): 332-339
  查看全部(共4130篇)>>
2002
15587 郑津津 张建军 . 塑造n边形曲面的外形(英文). 软件学报, 2002, 13 (01): 15-23
15586 丁治明 孟小峰 王珊 . 复制的移动数据库系统事务级同步处理策略. 软件学报, 2002, 13 (02): 258-265
15585 张孝 孟小峰 王珊 . Lite/2中基于数据同步对象的事务性同步技术. 软件学报, 2002, 13 (05): 937-945
15584 许胤龙 陈国良 陈龙斌 万颖瑜 . 可重构造网孔机器上常数时间的最优异或算法及应用. 计算机学报, 2002, 25 (01): 9-15
15583 方高林 高文 王春立 陈益强 . 基于SOFM/HMM模型的非特定人手语识别系统. 计算机学报, 2002, 25 (01): 16-21
15582 梁路宏 艾海舟 肖习攀 叶航军 徐光? 张钹 . 基于模板匹配与支持矢量机的人脸检测. 计算机学报, 2002, 25 (01): 22-29
15581 储备 杨海波 蔡青 . 工程CAD产品远程设计的类实时交互技术. 计算机学报, 2002, 25 (01): 36-43
15580 王威信 邓达华 . 三维实体仿真建模的网格自动生成方法. 计算机学报, 2002, 25 (01): 44-48
15579 秦啸 韩宗芬 庞丽萍 . 基于异构分布式系统的实时容错调度算法. 计算机学报, 2002, 25 (01): 49-56
15578 李涛 熊光楞 . 基于优化算法的冲突仲裁策略. 计算机学报, 2002, 25 (01): 57-62
15577 巩志国 周龙骧 董淑珍 . 领域相关多媒体对象的基于内容查询. 计算机学报, 2002, 25 (01): 63-72
15576 张宗平 刘贵忠 . 一个优化运动矢量码率分配的快速算法. 计算机学报, 2002, 25 (01): 73-79
15575 田绍槐 . 超立方体多处理机系统中基于扩展最优通路矩阵的容错路由. 计算机学报, 2002, 25 (01): 87-92
15574 桂小林 钱德沛 . WADE系统的支持对象通信的绑定代理. 计算机学报, 2002, 25 (01): 100-105
15573 彭元喜 龚正虎 . 基于LSOT的高速IP路由查找算法. 计算机学报, 2002, 25 (01): 106-111
15572 孟小峰 . 近年国内外数据库学术会议分析. 计算机学报, 2002, 25 (01): 112-113
15571 薛锐 林惠民 . 面向传值进程的谓词μ-演算与FO(HML)的完备推演系统. 计算机学报, 2002, 25 (06): 561-569
15570 杨健 杨静宇 王正群 郭丽 . 一种组合特征抽取的新方法. 计算机学报, 2002, 25 (06): 570-575
15569 董剑 周瑾丹 周非亚 舒华忠 Haigron P 罗立民 . 一种新的快速计算Legendre矩的方法. 计算机学报, 2002, 25 (06): 576-581
15568 桂小林 钱德沛 . 元计算环境下的支持依赖任务的OGS算法研究. 计算机学报, 2002, (06):
15567 张莉 周伟达 焦李成 . 核聚类算法. 计算机学报, 2002, 25 (06): 587-590
15566 娄文平 冯玉瑜 陈发来 邓建松 . 构造代数Blending曲面的Gr bner基方法. 计算机学报, 2002, 25 (06): 599-605
15565 孙冬梅 裘正定 . 基于确定性退火技术的鲁棒性的点匹配算法. 计算机学报, 2002, 25 (06): 606-611
15564 杨怀平 胡事民 孙家广 . 一种实现水波动画的新算法. 计算机学报, 2002, 25 (06): 612-617
15563 岳小莉 陆国栋 谭建荣 曹斌 . 基于形体组合关系的基元体识别技术研究. 计算机学报, 2002, (06):
  查看全部(共3660篇)>>
2001
11927 罗万明 林闯 阎保平 . TCP/IP拥塞控制研究. 计算机学报, 2001, 24 (01): 1-18
11926 吴刚 王怀民 吴泉源 . 一个基于CORBA和移动智能体的分布式网管集成框架. 计算机学报, 2001, (01):
11925 汤庸 杨学良 区海翔 傅秀芬 李松 . 基于IP网络的自适应QoS管理方案研究. 计算机学报, 2001, 24 (01): 32-39
11924 马小骏 顾冠群 . 基于测量的接纳控制研究. 计算机学报, 2001, 24 (01): 40-45
11923 舒炎泰 王雷 张连芳 薛飞 金志刚 OliverYang . 基于FARIMA模型的Internet网络业务预报. 计算机学报, 2001, 24 (01): 46-54
11922 李晓黎 刘继敏 史忠植 . 基于支持向量机与无监督聚类相结合的中文网页分类器. 计算机学报, 2001, 24 (01): 62-68
11921 邱越峰 田增平 季文? 周傲英 . 一种高效的检测相似重复记录的方法. 计算机学报, 2001, 24 (01): 69-77
11920 肖晓强 姜玉琴 金士尧 何鸿君 . BWR??带缓冲的虫孔路由技术. 计算机学报, 2001, 24 (01): 78-83
11919 王与力 杨晓东 . 一种更有效的并行系统可扩展性模型. 计算机学报, 2001, 24 (01): 84-90
11918 都志辉 李三立 吴梦月 李树有 朱静 . 混合SPMD模拟退火算法及其应用. 计算机学报, 2001, 24 (01): 91-98
11917 杨善林 刘心报 . GDSS中判断矩阵的两种集结方法. 计算机学报, 2001, 24 (01): 106-111
11916 王厚峰 何婷婷 . 汉语中人称代词的消解研究. 计算机学报, 2001, 24 (02): 136-143
11915 田畅 郑少仁 . 计算机病毒计算模型的研究. 计算机学报, 2001, 24 (02): 158-163
11914 骆志刚 李晓梅 . 一类Toeplitz三对角方程组的一种分布式并行算法. 计算机学报, 2001, 24 (02): 173-178
11913 陈军 李晓梅 . 近优可扩展性:一种实用的可扩展性度量. 计算机学报, 2001, 24 (02): 179-182
11912 莫则尧 . 一维高效动态负载平衡方法:多层均权法. 计算机学报, 2001, 24 (02): 183-190
11911 张占军 韩承德 杨学良 . 分布式多媒体任务风车调度延迟问题的研究. 计算机学报, 2001, 24 (02): 191-196
11910 窦万春 李东波 张世琪 . 基于对象和实例互操作行为模型的工作流研究. 计算机学报, 2001, 24 (02): 197-201
11909 王宏琳 高绘生 . 地震并行处理模式与应用框架. 计算机学报, 2001, 24 (02): 202-208
11908 王常杰 秦浩 王育民 . 基于IPv6的防火墙设计. 计算机学报, 2001, 24 (02): 219-223
11907 王浩 钟玉琢 . 一种新的基于流合并的调度策略. 计算机学报, 2001, 24 (03): 225-230
11906 孙怀江 胡钟山 杨静宇 . 基于证据理论的多分类器融合方法研究. 计算机学报, 2001, 24 (03): 231-235
11905 贺玉文 杨士强 钟玉琢 . 全局运动估计中特征点选取和鲁棒性分析. 计算机学报, 2001, 24 (03): 236-241
11904 刘瑞祯 谭铁牛 . 水印能量估计的一般性框架. 计算机学报, 2001, 24 (03): 242-246
11903 阮秋琦 . 基于LAN的计算机视觉与虚拟现实集成模型研究. 计算机学报, 2001, 24 (03): 247-253
  查看全部(共2874篇)>>
2000
9053 臧斌宇 陈彤 张瑜 朱传琪 . 有效的数组私有化方法:相关-覆盖方法. 计算机学报, 2000, 23 (01): 1-8
9052 孙凝晖 徐志伟 . 曙光2000超级计算机系统软件的设计. 计算机学报, 2000, 23 (01): 9-20
9051 钮心忻 杨义先 . 基于小波变换的数字水印隐藏与检测算法. 计算机学报, 2000, 23 (01): 21-27
9050 文继荣 陈红 王珊 . Shared-nothing并行数据库系统查询优化技术. 计算机学报, 2000, 23 (01): 28-38
9049 程继华 郭建生 施鹏飞 . 挖掘所关注规则的多策略方法研究. 计算机学报, 2000, 23 (01): 47-51
9048 唐常杰 于中华 游志胜 张天庆 杨璐 . 基于时态数据库的Web数据周期规律的采掘. 计算机学报, 2000, (01):
9047 万颖瑜 许胤龙 顾晓东 陈国良 . 可重构造网孔机器上最小生成森林的边更新算法. 计算机学报, 2000, 23 (01): 77-82
9046 肖晓强 胡华平 金士尧 . 双工k-ary n-mesh的虫孔路由分析. 计算机学报, 2000, 23 (01): 83-89
9045 林应明 董士海 . 多通道融合算法和软件平台的实现. 计算机学报, 2000, 23 (01): 90-94
9044 李英军 吕建 刘鸿儒 . SEIS++:一个油气勘探领域软件建造和集成的模式语言. 计算机学报, 2000, 23 (01): 102-107
9043 杨光信 史美林 . 全复制结构下基于对象数据模型的并发控制. 计算机学报, 2000, 23 (02): 113-125
9042 彭宇 洪炳熔 乔永强 . 基于通用比较模型的t-可诊断系统的特征化及并行诊断算法. 计算机学报, 2000, 23 (02): 126-133
9041 唐志敏 施巍松 胡伟武 . 曙光1000A上消息传递与共享存储的比较. 计算机学报, 2000, 23 (02): 134-140
9040 刘世霞 胡事民 汪国平 孙家广 . 基于三视图的三维形体重建技术. 计算机学报, 2000, 23 (02): 141-146
9039 赵冬斌 陈善本 吴林 . 由单目图像获得表面高度算法的分析和实现. 计算机学报, 2000, 23 (02): 147-152
9038 张三元 . 基于代数曲线段的G~2连续的曲线造型方法. 计算机学报, 2000, (02):
9037 孙茂松 左正平 邹嘉彦 . 基于k-近似的汉语词类自动判定. 计算机学报, 2000, 23 (02): 166-170
9036 张德 董逸生 . Internet上的数据库联合查询优化. 计算机学报, 2000, 23 (02): 171-176
9035 王意洁 王勇军 胡守仁 . 多元连接查询的并行执行. 计算机学报, 2000, 23 (02): 177-183
9034 吴京 景宁 陈宏盛 . 最佳路径的层次编码及查询算法. 计算机学报, 2000, 23 (02): 184-189
9033 张健 . 有限构模器的扩展及其在形式化方法中的应用. 计算机学报, 2000, 23 (02): 190-194
9032 武剑锋 李三立 戈弋 . 网络并行计算系统的消息存储器网络接口设计. 计算机学报, 2000, 23 (02): 195-201
9031 崔立新 苑森淼 赵春喜 . 约束性相联规则发现方法及算法. 计算机学报, 2000, 23 (02): 216-220
9030 马晓敏 杨义先 章照止 . 一种新的阈函数的分析框架及有关结论. 计算机学报, 2000, 23 (03): 225-230
9029 刘克龙 蒙杨 卿斯汉 . 一种新型的防火墙系统. 计算机学报, 2000, 23 (03): 231-236
  查看全部(共2389篇)>>
1999
6664 陶仁骥 . 矩阵多项式的几种特殊分解. 计算机学报, 1999, 22 (01): 1-10
6663 覃中平 张焕国 曹兴芹 . 有限自动机定义函数的线性本原圈积分解. 计算机学报, 1999, 22 (01): 11-15
6662 杜毅 李三立 . k-ary n-cube网络中高速开关TH-Switch的设计与路由算法. 计算机学报, 1999, 22 (01): 16-23
6661 张占军 杨学良 . 一种无抖动的分布式多媒体任务调度算法. 计算机学报, 1999, 22 (01): 24-30
6660 王宁 徐宏炳 王能斌 . 异构数据源集成系统中基于数据源能力的查询分解和优化策略. 计算机学报, 1999, 22 (01): 31-38
6659 吴飞 任鸿 陈福接 . 连续媒体流的理论模型及缓冲对策研究. 计算机学报, 1999, 22 (01): 39-44
6658 李霖 周兴铭 . 非对称网络环境中数据广播的启发式多盘调度算法. 计算机学报, 1999, 22 (01): 45-50
6657 陈卫东 杨建军 鲁东明 潘云鹤 . 互联网通信中的两个数学模型及求解. 计算机学报, 1999, 22 (01): 51-55
6656 唐珉 李军 胡占义 . 随机Hough变换与Tabu搜索算法在基元提取中的比较. 计算机学报, 1999, 22 (01): 56-65
6655 周胜 王珊 . PBASE/2对全局系统资源信息的管理和利用. 计算机学报, 1999, 22 (01): 71-78
6654 朱军 华庆一 郝克刚 . 一个基于CORBA的图形用户界面体系结构及实例. 计算机学报, 1999, 22 (01): 79-85
6653 赵东升 卢锡城 周兴铭 . 基于集成FEC和层次传输的可靠组播的流控技术. 计算机学报, 1999, 22 (01): 86-91
6652 梁超时 万春 郭志先 . 基于RITL的开放结构测试软件开发环境的设计与实现. 计算机学报, 1999, 22 (01): 92-97
6651 郑援 李思昆 胡成军 鄢来斌 甘咏梅 . 合成虚拟实体对象复合行为状态. 计算机学报, 1999, 22 (01): 98-102
6650 王宁 徐宏炳 王能斌 . 数据源集成系统中动态字典构造方法研究. 计算机学报, 1999, 22 (01): 103-107
6649 孙吉贵 刘瑞胜 陈荣 . 标记模态归结的推广. 计算机学报, 1999, 22 (02): 113-119
6648 刘长河 童明生 范天佑 . 超立方网络上的平行路径. 计算机学报, 1999, 22 (02): 120-125
6647 王国仁 于戈 张斌 郑怀远 . 路径表达式的并行算法研究. 计算机学报, 1999, (02):
6646 胡永刚 乔如良 . 一个有效的并行分析算法. 计算机学报, 1999, 22 (02): 134-140
6645 赵军 黄昌宁 . 汉语基本名词短语结构分析模型. 计算机学报, 1999, 22 (02): 141-146
6644 晏洁 高文 尹宝才 . 具有真实感的三维虚拟特定人脸生成方法. 计算机学报, 1999, 22 (02): 147-153
6643 俞杰 周香娥 彭群生 潘云鹤 . 球面光源下漫反射分量的解析求解方法. 计算机学报, 1999, 22 (02): 154-158
6642 何宇新 袁晓君 李华 . IFS吸引子空间边界的快速精确测定. 计算机学报, 1999, 22 (02): 159-164
6641 黄培之 . 2D几何图形整体内插的一种方法. 计算机学报, 1999, 22 (02): 165-170
6640 韦卫 王德杰 王行刚 . Internet网络层安全协议理论研究与实现. 计算机学报, 1999, 22 (02): 171-176
  查看全部(共1633篇)>>
1998
5031 邓铁清 杨文婷 何久田 周堤基 . 智能数据库工具技术. 软件学报, 1998, 9 (04): 276-279
5030 潘清 张晓清 . 操作系统微内核技术研究. 软件学报, 1998, 9 (08): 609-612
5029 刘瑞胜 孙吉贵 刘叙华 . 认识逻辑(3):基于语义tableau的证明理论. 计算机学报, 1998, (01):
5028 刘瑞胜 孙吉贵 刘叙华 . 认识逻辑(4):关于认识逻辑的可判定性. 计算机学报, 1998, (01):
5027 林作铨 . 悖论逻辑及其表演算. 计算机学报, 1998, (01):
5026 何华灿 刘永怀 白振兴 艾丽蓉 王瑛 . 一级泛非运算研究. 计算机学报, 1998, (01):
5025 蒋昌俊 . PN机. 计算机学报, 1998, (01):
5024 张德富 陈? . 非一致线性递推计算到多处理机上的分解. 计算机学报, 1998, (01):
5023 罗晓广 李晓梅 . 解K阶线性递归N方程组的一种实用并行算法. 计算机学报, 1998, (01):
5022 邓安生 孙吉贵 . 一种新的广义半锁归结. 计算机学报, 1998, (01):
5021 陈小明 . 两种Chrestenson谱的关系. 计算机学报, 1998, (01):
5020 袁小龙 沈绪榜 袁华 . 一种基于树的内部表示模型. 计算机学报, 1998, (01):
5019 袁小龙 沈绪榜 . 一种新的寄存器分配算法. 计算机学报, 1998, (01):
5018 刘昕 周明 朱胜火 黄昌宁 . 基于自动抽取词汇信息的双语句子对齐. 计算机学报, 1998, (01):
5017 陈松灿 高航 朱梧? . 一个改进的指数双向联想存储器及性能分析. 计算机学报, 1998, (01):
5016 全炳哲 金淳兆 玄顺姬 . 基于类型理论的继承机制的研究. 计算机学报, 1998, (01):
5015 王国仁 于戈 张斌 郑怀远 . 面向对象数据库系统中的谓词选择率估算. 计算机学报, 1998, (01):
5014 王意洁 王勇军 胡守仁 . 并行面向对象数据库中的基于对象类的混合式数据放置策略. 计算机学报, 1998, (01):
5013 王浩 张奠成 . 一种具有约束演绎能力的面向对象数据库语言CDOL. 计算机学报, 1998, (01):
5012 乔彦友 . 非第一范式历史数据库的代数结构. 计算机学报, 1998, (01):
5011 袁崇义 屈婉玲 . 从河内塔的并行解到UNITY程序设计. 计算机学报, 1998, (01):
5010 汤志忠 张赤红 乔林 . 流水安全法─?一个面向软件流水技术的新的数据相关性分析方法. 计算机学报, 1998, (01):
5009 郭克榕 唐新春 . 基于相关性分析的障碍同步消除算法. 计算机学报, 1998, (01):
5008 李强 吴泉源 王怀民 . 一种Agent互操作语言的设计. 计算机学报, 1998, (01):
5007 仲盛 汲化 谢立 . 基于多服务器的分布对象系统的设计与实现. 计算机学报, 1998, (01):
  查看全部(共1360篇)>>
1997
3671 李腊元 . 计算机局域网络技术进展. 软件学报, 1997, 8 (01): 75-80
3670 孟小峰 王珊 林耀? 黄锦辉 刘文? . CHIQL的多语句查询特征及其优化处理. 软件学报, 1997, 8 (07): 549-554
3669 李明 唐志敏 . 一种新的Cache优化方法──部分Cache局部性方法. 计算机学报, 1997, (01):
3668 温冬蝉 王鼎兴 . 基于机群系统的C++语言并行化实现. 计算机学报, 1997, (01):
3667 刘涛 李国杰 . 求解SAT问题的局部搜索算法及其平均时间复杂性分析. 计算机学报, 1997, 20 (01): 18-26
3666 薛一波 韩承德 . Cache对加速比的影响. 计算机学报, 1997, 20 (01): 27-36
3665 张志海 张素琴 蒋维杜 . C++函数重载机制及其实现. 计算机学报, 1997, 20 (01): 37-41
3664 邓亚平 . 分组交换的RFT互连网络的性能分析. 计算机学报, 1997, 20 (01): 42-49
3663 全炳哲 金淳兆 李文辉 . 基于类型理论的面向对象程序设计. 计算机学报, 1997, (01):
3662 吴胜利 王能斌 . 面向对象数据库中基于有向图的联系代数. 计算机学报, 1997, 20 (01): 58-67
3661 陈睿 . 面向对象数据库的形式化模型. 计算机学报, 1997, 20 (01): 68-76
3660 郭东辉 陈振湘 刘瑞堂 吴伯僖 郑利明 郑利龙 . 关联优化存储下Hopfield网络的临界存储. 计算机学报, 1997, 20 (01): 77-81
3659 马建峰 赵晓盈 王新梅 . 容错数字信号处理系统的设计方法及实现. 计算机学报, 1997, 20 (01): 82-86
3658 王国仁 于戈 张斌 单吉第 郑怀远 . CIMS信息集成平台中的数据模型. 计算机学报, 1997, 20 (01): 87-92
3657 谭力 楼荣生 徐公权 周天爵 . N事务封锁策略:安全性的检测及BOLP策略. 计算机学报, 1997, 20 (01): 93-96
3656 吴少岩 陈火旺 . 自动程序设计──模拟进化的途径. 计算机学报, 1997, 20 (02): 97-104
3655 吴中海 叶澄清 潘云鹤 . 合一和回溯智能加速部件的设计与实现. 计算机学报, 1997, 20 (02): 111-117
3654 卢朝阳 吴成柯 周幸妮 . 满足全局Delaunay特性的带特征约束的散乱数据最优三角剖分. 计算机学报, 1997, (02):
3653 汪元美 于志伟 陶波 . 一种快速放射CT重建算法的研究. 计算机学报, 1997, 20 (02): 145-150
3652 李岳峰 刘大有 . 区间结构的组合与析取映射. 计算机学报, 1997, 20 (02): 151-157
3651 刘大有 李岳峰 . 广义证据理论的解释. 计算机学报, 1997, 20 (02): 158-164
3650 刘晓英 罗炳海 冯勤 王行仁 . 一种精确的光照模型. 计算机学报, 1997, 20 (02): 165-173
3649 吴尽昭 刘卓军 . 余式方法中的线性策略以及语义策略和锁策略. 计算机学报, 1997, 20 (02): 174-178
3648 熊艳 彭嘉雄 丁明跃 . 一种由未定标图象估计三维射影不变量的新算法. 计算机学报, 1997, 20 (02): 179-184
3647 邓安生 刘叙华 . 布尔算子Fuzzy逻辑中归结的广义完备性. 计算机学报, 1997, 20 (02): 185-189
  查看全部(共1151篇)>>
1996
2520 刘涛 李国杰 . 求解SAT问题的分级重排搜索算法. 软件学报, 1996, 7 (04): 201-210
2519 孟庆余 . 进程和线程. 软件学报, 1996, (07):
2518 张兴元 谢希仁 . Livechart:一种用于活动性验证的Statechart. 计算机学报, 1996, 19 (01): 1-9
2517 彭宇行 陈福接 . VLSI定时驱动布局算法. 计算机学报, 1996, (01):
2516 李宣东 郑国梁 . 型构兼容的继承及其语义. 计算机学报, 1996, 19 (01): 23-29
2515 李宣东 郑国梁 . 对Modula-2进行面向对象扩充. 计算机学报, 1996, 19 (01): 30-35
2514 袁军 陈栋 王能斌 . 广义左、右线性递归规则组改写. 计算机学报, 1996, 19 (01): 36-42
2513 毋国庆 李琼章 王兰军 . 基于并行处理环境的多类命题动态逻辑系统. 计算机学报, 1996, 19 (01): 43-51
2512 薛一波 韩承德 . 多微处理器系统中的一种新的通信机制. 计算机学报, 1996, 19 (01): 52-57
2511 刘育刚 . 递归Prolog程序的正确性证明. 计算机学报, 1996, 19 (01): 64-67
2510 马宗民 . 基于更新操作的含空值关系数据库中多种类信息的查询. 计算机学报, 1996, 19 (01): 68-72
2509 李忠勇 李人厚 . 容错型令牌总线网性能估计算法. 计算机学报, 1996, 19 (01): 72-77
2508 许日滨 . 多机相关任务的均衡调度算法. 计算机学报, 1996, 19 (01): 77-81
2507 马小虎 潘志庚 张福炎 . 基于笔划描述的样条汉字库及其应用. 计算机学报, 1996, 19 (02): 81-88
2506 沈剑 董金祥 . HyCAD:一个基于结构化变分几何的变参设计系统. 计算机学报, 1996, 19 (02): 89-95
2505 王树国 付宜力 吴菁 赵春霞 . 改进的统一于NIP的多边形三角剖分算法. 计算机学报, 1996, (02):
2504 汪灏泓 蔡士杰 武港山 . 曲线轮廓汉字修饰晕线的自动生成. 计算机学报, 1996, 19 (02): 102-109
2503 高文 . 利用线画图象二维串的图象理解方法. 计算机学报, 1996, 19 (02): 110-119
2502 郭莉 李锦涛 刘国香 . 基于移位的递归子分割方法. 计算机学报, 1996, 19 (02): 128-134
2501 鞠九滨 徐高潮 杨鲲 . ILBOT:用于工作站机群的智能动态负载平衡软件. 计算机学报, 1996, 19 (02): 135-141
2500 霍红卫 庄心谷 . 超立方体上所有点对之间的最短路径. 计算机学报, 1996, 19 (02): 154-158
2499 李春明 孙雨耕 . 容错多总线多处理机网络的设计. 计算机学报, 1996, 19 (02): 158-161
2498 温钰洪 王鼎兴 郑纬民 . 异构机群系统中的最优处理机分配算法. 计算机学报, 1996, 19 (03): 161-167
2497 董韫美 . 获取上下文无关文法的一种交互式算法. 计算机学报, 1996, 19 (03): 168-173
2496 董丽君 凌澍 徐家福 . 功能规约自动生成. 计算机学报, 1996, 19 (03): 174-178
  查看全部(共827篇)>>
1995
1693 杨雪南 李德毅 . 关系数据库中的模糊知识发现. 软件学报, 1995, 6 (01): 61-64
1692 曹存根 . 关于主动性服务的若干讨论. 软件学报, 1995, 6 (11): 694-699
1691 林闯 陆维明 . Petri网用于求解概率逻辑的近似可能世界矩阵. 计算机学报, 1995, 18 (01): 1-8
1690 薛一波 韩承德 夏培肃 . 一种多I860系统的设计与实现. 计算机学报, 1995, 18 (01): 9-16
1689 潘金贵 张建伟 陈世福 . 面向对象的用户接口管理系统NDUIMS的设计与实现. 计算机学报, 1995, 18 (01): 17-23
1688 李孑勇 毋国庆 唐正力 . 综合知识表示模型M_(AS)的属性文法推理机制. 计算机学报, 1995, 18 (01): 24-32
1687 吴益民 郑世荣 . 类Virtual-Cut-Through:一种新切换技术. 计算机学报, 1995, (01):
1686 胡吉明 周建强 . 并行循环的乐观自调度模式. 计算机学报, 1995, 18 (01): 46-55
1685 李星野 胡久稔 . 连接依赖的蕴涵问题及其推导公理系统. 计算机学报, 1995, 18 (01): 56-60
1684 孙永强 袁华强 . 非线性可约函数方程组的展开式解. 计算机学报, 1995, 18 (01): 61-64
1683 邢国光 范植华 . 非通用设备驱动程序的交互式生成. 计算机学报, 1995, 18 (01): 77-81
1682 高飞 叶尚辉 . 基于特征语义的变量设计. 计算机学报, 1995, 18 (02): 81-87
1681 陈熙霖 高文 张晶 . 基于随机模型的边缘检测. 计算机学报, 1995, 18 (02): 97-105
1680 朱福民 . 广义de Bruijn多计算机互连网络. 计算机学报, 1995, 18 (02): 106-113
1679 葛建新 彭群生 董金祥 沈剑 . 基于约束的形状自动求解新算法. 计算机学报, 1995, 18 (02): 114-126
1678 王伟明 徐胜荣 姚庆栋 唐慧明 . 一种使用黑板模型实现的图象分割策略及在桥梁目标识别中的应用. 计算机学报, 1995, 18 (02): 127-134
1677 刘叙华 司徒芊 . 广义λ-调解. 计算机学报, 1995, 18 (02): 135-140
1676 杨敬安 . 任意两多边形相交点最大可能数目的计算法. 计算机学报, 1995, 18 (02): 141-145
1675 秦开怀 关右江 . 圆弧曲线的三次NURBS表示. 计算机学报, 1995, 18 (02): 146-150
1674 何新贵 . 模糊H网. 计算机学报, 1995, 18 (02): 153-157
1673 沈美明 李程 田新民 . 并行程序执行行为的模板分析及提取算法. 计算机学报, 1995, 18 (02): 158-161
1672 张铃 张钹 陈刚 . 一种基于神经网络的分形几何图的产生与编码. 计算机学报, 1995, 18 (03): 167-177
1671 张铃 张钹 . 基于数学形态学分形几何图的产生. 计算机学报, 1995, 18 (03): 178-180
1670 张黔 胡庆 杨静宇 蒋韧 . 统计和结构模式识别方法结合的多特征印鉴真伪鉴别方法. 计算机学报, 1995, 18 (03): 190-198
1669 覃中平 张焕国 . 有限自动机公开钥密码攻击算法AτM. 计算机学报, 1995, (03):
  查看全部(共762篇)>>
1994
931 顾训穰 诸宇章 . 堆整序的最优算法. 软件学报, 1994, 5 (01): 33-36
930 王鑫 . FFP语言及其环境的实现. 软件学报, 1994, 5 (01): 53-55
929 郑锡忠 钱磊 . Grzegorczyk分层的一种延伸. 软件学报, 1994, 5 (03): 55-64
928 金国华 陈福接 . 一个新的强化别名分析算法. 软件学报, 1994, 5 (07): 11-20
927 宋传杰 丁兆迎 董继润 . 基于大型计算机系统的办公室应用支持环境. 软件学报, 1994, 5 (09): 49-55
926 王培良 蒋昌俊 . 利用关联矩阵的秩判断Petri网的公平性. 软件学报, 1994, 5 (12): 24-29
925 周勇 唐泽圣 . 用自适应的三线性逼近方法构造等值面. 计算机学报, 1994, 17 (A00): 1-10
924 袁梅 王晓军 吴立德 . 一种鲁棒的距离图象分割技术. 计算机学报, 1994, 17 (A00): 11-19
923 冯斐玲 . Benes网的寻径控制及容错分析. 计算机学报, 1994, 17 (A00): 26-34
922 邓亚平 . 线路交换的RFT互连网络的性能分析. 计算机学报, 1994, 17 (A00): 35-44
921 刘德才 郑纬民 沈美明 . PGR机中多处理机调度的研究. 计算机学报, 1994, 17 (A00): 45-52
920 张尧学 . N个有限状态机的死锁和死环回避算法. 计算机学报, 1994, 17 (A00): 53-58
919 华伟 谭炳麟 何友声 . 一种TPC磁头静态和动态特性的研究. 计算机学报, 1994, 17 (A00): 69-76
918 蒋昌俊 . Petri网的叠加运算. 计算机学报, 1994, 17 (A00): 82-87
917 周永生 . 具有最佳强连通性的环网的构造. 计算机学报, 1994, 17 (A00): 88-92
916 顾冠群 罗军舟 . EPr/TN网系统及网络协议形式描述技术. 计算机学报, 1994, 17 (A00): 93-96
915 吴浩敏 庄南 . 模N混值计数器及其快速综合. 计算机学报, 1994, 17 (A00): 109-115
914 陈亮 宋恩民 黄文奇 . 求两凸多边形间的距离的快速算法. 计算机学报, 1994, 17 (A00): 116-121
913 陆玮琳 潘云鹤 . 基于非交点跟踪的地图矢量化算法. 计算机学报, 1994, 17 (A00): 122-125
912 康宏生 孙元龙 余梦霞 . 邻域操作问题的Systolic算法. 计算机学报, 1994, 17 (A00): 125-
911 谢筱华 罗立民 韦钰 . 基于矩的三维图象边界检测. 计算机学报, 1994, 17 (01): 1-8
910 尹激雷 朱洪 . 从有分类噪声的随机样例中学习k-判定表. 计算机学报, 1994, 17 (01): 16-22
909 徐福培 胡长原 高杰 . 中文页面描述语言解释器CPDL的设计与实现. 计算机学报, 1994, 17 (01): 23-29
908 费旭东 荆仁杰 . 基于知识的快速角点提取. 计算机学报, 1994, 17 (01): 30-36
907 朱淼良 李捷 吴春明 . 从Range数据生成高精度高分辨率地形图象. 计算机学报, 1994, 17 (01): 46-51
  查看全部(共719篇)>>
1993
212 须成忠 张德富 孙钟秀 . 一种分布式动态负载平衡算法. 软件学报, 1993, 4 (01): 22-29
211 陈建华 陈涵生 . 一种有效的编译优化代码移动算法. 软件学报, 1993, 4 (01): 29-37
210 王怀民 陈火旺 . 人工智能软件中的面向对象程序设计. 软件学报, 1993, 4 (01): 43-50
209 李建中 孙文隽 丁华福 . 统计与科学数据库上的代数操作. 软件学报, 1993, 4 (02): 34-48
208 杨莉 胡守仁 . 知识求精的基本理论与方法的研究. 软件学报, 1993, 4 (03): 26-31
207 冯斐玲 吴荣泉 . 一种可变结构分布式系统的故障诊断. 计算机学报, 1993, 16 (01): 73-77
206 赵保华 屈玉贵 森下严 . 超并行MIMD流水线式多机系统. 计算机学报, 1993, 16 (04): 306-312
205 杨涛 沈昌祥 陈福接 . 一个用于安全操作系统特权管理的改进Bell-La Padula模型. 计算机研究与发展, 1993, 30 (01): 45-50
204 胡晓峰 老松杨 李国辉 王晖 吴玲达 . 多媒介超文本系统HWS的用户界面的设计. 计算机研究与发展, 1993, 30 (04): 35-41
203 蔡文立 陈永年 . 一个智能决策支持系统生成器 KD.1的设计和实现. 计算机研究与发展, 1993, 30 (05): 1-8
202 刘会廷 罗延中 戴光明 . 激电异常推断解释专家系统的研制. 计算机研究与发展, 1993, 30 (06): 60-
201 杨莉 杨权 胡守仁 . FKMS不精确知识库管理系统的设计与实现. 计算机研究与发展, 1993, 30 (12): 44-52
200 杨宪泽 . 基于规则的高效索引算法和排序算法. 中文信息学报, 1993, (02):
199 宋传杰 王燕 . DASD操作对计算机系统性能的影响. 小型微型计算机系统, 1993, 14 (03): 55-63
198 吉逸 顾冠群 蔡旭东 许明明 张卓莹 . 基于OSI的异构系统互连网络. 小型微型计算机系统, 1993, 14 (07): 24-31
197 李建中 孙文隽 . 一个基于语义数据模型的统计与科学数据库定义语言. 小型微型计算机系统, 1993, 14 (08): 32-46
196 陈勇 刘心松 . ESP:基于OS/2的SVM研究及实验. 小型微型计算机系统, 1993, 14 (10): 14-19
195 刘云生 胡国玲 . 面向对象的超文本数据库模型与实现技术. 小型微型计算机系统, 1993, 14 (11): 42-49
194 蔡建平 . 高级符号调试器的技术研究与设计实现. 计算机工程, 1993, 19 (04): 52-57
193 尤晋元 . UNIX系统发展综述. 计算机工程, 1993, 19 (05): 1-7
192 尤晋元 . UNIX系统V中的STREAMS机制. 计算机工程, 1993, (05):
191 杨宪泽 . 最短路径问题的改进算法. , 1993, 19 (01): 24-27
190 杨利 . NOS/VE系统的作业调度与处理机调度. , 1993, 19 (01): 27-35
189 吴永辉 . 模糊函数依赖与模糊关系的规范化. , 1993, 19 (03): 7-12
188 奚自立 . 多机UNIX核心中的指令流控制结构——thread. , 1993, 19 (05): 12-17
  查看全部(共27篇)>>
1992
185 李天柱 边小凡 刘东占 武戎 杨丙戍 . HBU-EMIS分布式信息系统中一些关键技术的实现. 计算机研究与发展, 1992, (08): 36-42
184 郝忠孝 路正午 刘永山 . 关系模式分解合成法的进一步研究. 计算机研究与发展, 1992, (08): 60-63
183 唐元昌 王珊 . OBMS/IDKE:模型及其无缝的面向对象编程语言. 计算机科学, 1992, 19 (02): 33-44
182 王宗斌 王珊 武志文 . OBMS/IDKE 的动态横式管理. 计算机科学, 1992, (02):
181 王珊 任永杰 唐元昌 . OBMS/IDKE 中对象存储/存取子系统的若干关键问题. 计算机科学, 1992, 19 (02): 49-55
180 苏俊 王珊 . 分布式知识库系统研究. 计算机科学, 1992, (04): 41-46
179 韩虹 苏俊 王珊 . DKBS/IDKE的总体设计与实现. 计算机科学, 1992, (04): 46-51
178 颜宗福 麻占全 王珊 . DKBS/IDKE 的知识处理. 计算机科学, 1992, (04): 51-58
177 颜宗福 刘志斌 王珊 . DKBS/IDKE 的协商策略及其实现. 计算机科学, 1992, (04): 58-63
176 李德毅 杨雪南 . 关系数据库中的知识发现研究. 小型微型计算机系统, 1992, (04):
175 陈勇 耿技 刘心松 . OS/2的任务管理. 小型微型计算机系统, 1992, 13 (07): 35-54
174 耿技 陈勇 刘心松 . OS/2的虚拟存储管理. 小型微型计算机系统, 1992, (07):
173 陈勇 耿技 刘心松 . OS/2的信号量管理. 小型微型计算机系统, 1992, 13 (07): 54-
172 陈勇 耿技 刘心松 . OS/2的设备监控程序管理. 小型微型计算机系统, 1992, 13 (07): 5-9
171 赵保华 屈玉贵 森下严 . 共享存储器型超并行MIMD流水线式处理机系统. 小型微型计算机系统, 1992, 13 (10): 1-11
170 杨宪泽 . 基于一类特殊问题的排序算法. 计算机工程, 1992, 18 (01): 58-62
169 姚涵珍 宋鹏 张国安 . 圆形窗口裁剪算法的研究与实践. 计算机辅助设计与图形学学报, 1992, 4 (03): 14-21
168 顾卫刚 张德富 沈守声 . 一种有效的Winograd付里叶变换并行算法. 电子学报, 1992, 20 (02): 46-51
167 周六丁 陈廷槐 程代杰 . 一种计算一维Walsh变换的MIMD并行算法. 电子学报, 1992, 20 (02): 51-58
166 李福建 陈廷槐 康泰 . 容错轮询系统分析模型. 电子学报, 1992, 20 (05): 88-92
165 金国华 杨学军 陈福接 . 循环迭代间不规则并行性高效、完全的开发方法. 电子学报, 1992, 20 (08): 70-77
164 张师超 . 非确定性推理的几个问题. , 1992, 18 (04): 12-15
163 邱英汉 . 有向图投影图的邻接矩阵及其应用. , 1992, 18 (04): 69-
1991
162 杜慰何 李显济 . 一种以太网兼容的综合话音/数据传输协议. 计算机学报, 1991, (09):
161 王珊 冯念真 . ORACLE关系数据库管理系统分析综述. 计算机研究与发展, 1991, 28 (12): 1-4
160 王珊 . ORACLE恢复技术分析. 计算机研究与发展, 1991, 28 (12): 18-27
159 孟小峰 王珊 . ORACLE并发控制技术分析. 计算机研究与发展, 1991, 28 (12): 27-35
158 陈健良 孟小峰 . ORACLE查询优化技术分析. 计算机研究与发展, 1991, 28 (12): 50-59
157 杨宪泽 . 直接映射式字符检索算法. 中文信息学报, 1991, 5 (03): 59-
156 敖志刚 谢希仁 沈克勤 . 光纤最佳环形网络的接口控制技术. 小型微型计算机系统, 1991, 12 (02): 1-9
155 汪林林 . 对用DBMS建立一个KBS SHELL的研究. 小型微型计算机系统, 1991, 12 (08): 57-
154 宋传杰 阎炳琴 王燕 徐忠 . 系统应用体系结构简论. 小型微型计算机系统, 1991, 12 (11): 52-59
153 蔡希尧 . 不确定信息的数值表示和计算方法. 计算机科学, 1991, (05): 50-56
152 蔡希尧 陈平 . 元知识与反射原理. 计算机科学, 1991, (01): 36-42
151 王能斌 王珊 周立柱 . 数据库技术的新进展——参加第十六届VLDB国际会议总结. 计算机科学, 1991, (01): 49-56
150 蔡希尧 陈通照 . 信息系统面向对象需求分析. 计算机科学, 1991, (05): 62-68
149 蔡林希 . 软件工具述评. , 1991, (01): 1-8
148 陈涵生 . CASE工具在军用软件开发中的应用. , 1991, (01): 8-16
147 张师超 . 一个非确定推理方法及实现. , 1991, (01): 30-34
146 彭智勇 . Smalltalk-80系统中的解释器. , 1991, (03): 20-26
1990
145 苏锦祥 . 一类ω?正则语言. 软件学报, 1990, 1 (03): 29-33
144 王国瑾 . 旋转曲面CAD的有理B样条方法. 软件学报, 1990, 1 (04): 24-40
143 孙旭光 . DMRA:一种适用于高速局部网的分布式多级路由选择算法. 计算机学报, 1990, (03):
142 刘惟一 . 非圈数据库模式的算法. 计算机学报, 1990, 13 (08): 621-626
141 周培德 . 串匹配的一种算法. 计算机研究与发展, 1990, 27 (02): 35-38
140 肖力田 . 应用SQL语言支持知识库系统. 小型微型计算机系统, 1990, 11 (11): 17-21
139 Malcolm Atkinson Francois Bancilhon David Dewitt Klaus Dittrich David Maier Stanley Zdonik 王宗斌 王珊 . 面向对象的数据库系统宣言. 计算机科学, 1990, (03): 29-37
138 刘键 . 分布式实时处理软件研究的若干问题. 计算机科学, 1990, (03): 45-53
137 李友仁 . 关于编译程序测试的若干问题. 计算机科学, 1990, (05):
136 殷国富 赵汝嘉 . 非公式计算机械设计参数决策专家系统的一种推理模型. 计算机科学, 1990, (05): 62-67
135 李建中 . 统计和科学数据库系统的要求——与面向事务处理数据库系统的比较. 计算机科学, 1990, (01):
134 郭浩志 . 当今程序设计语言的发展特征. 计算机科学, 1990, (01):
133 郭浩志 . 也谈程序设计语言课程的进一步开设问题. 计算机科学, 1990, (01):
132 麦中凡 . 面向对象基本概念与语言. 计算机科学, 1990, (02): 33-39
131 蔡希尧 陈平 . 类型和数据抽象. 计算机科学, 1990, (02): 39-46
130 余金山 . 演绎数据库系统的研究与发展. 计算机科学, 1990, (03): 37-45
129 宣国荣 . 模式信息处理的进展. , 1990, (01): 1-7
128 卢克盛 . RISC微处理器的设计技术及其进展. , 1990, (01): 18-25
127 徐洁磐 . 数据库的智能化与智能化的数据库——九十年代数据库技术发展展望. , 1990, (01): 40-44
126 彭宇行 . 自动布线的集迷路法. , 1990, (02): 31-34
125 朱振元 . 一个基于函数型计算方式的并行处理系统. , 1990, (04): 42-47
124 苏锦祥 . 一类ω—正则语言. , 1990, 1 (03): 29-33
123 胡守仁 . 前言. 计算机工程与科学, 1990, (03):
1989
122 吴哲辉 . 有界Petri网的活性和公平性的分析与实现. 计算机学报, 1989, 12 (04): 267-279
121 黄文奇 . 求解Covering问题的拟物方法??NP难度问题的一个处理途径. 计算机学报, 1989, 12 (08): 610-617
120 王鼎兴 . 二次通过IBNC网络的终端标记控制算法. 计算机学报, 1989, 12 (11): 876-
119 王元元 蔡庆生 . 关于经验的模态逻辑系统. 计算机研究与发展, 1989, (01): 19-24
118 钟宁 董菊珍 . 第四代语言应用开发环境?NATURAL. 计算机研究与发展, 1989, 26 (03): 46-53
117 徐宝文 . 一种灵活的操作条件设置与处理方法. 计算机研究与发展, 1989, 26 (08): 26-32
116 徐宝文 . Ada重载子程序的实现. 计算机研究与发展, 1989, 26 (11): 36-42
115 须德 张红延 . Armstrong关系的构造算法及其应用. 计算机研究与发展, 1989, 26 (11): 42-49
114 陈晓强 谢希仁 . 局部网令牌总线协议的设计和实现. 计算机研究与发展, 1989, 26 (12): 43-51
113 徐宝文 . NAG应用软件生成系统的设计与实现. 小型微型计算机系统, 1989, (01):
112 徐宝文 . 集成式项目支撑环境初论. 小型微型计算机系统, 1989, 10 (11): 37-44
111 徐宝文 . 为什么要开设《高级程序设计语言原理》课程. 计算机科学, 1989, (02):
110 康建初 . MUFL:一个多形式的知识表示语言. 计算机科学, 1989, (03):
109 董继润 王海洋 . 在INGRES上实现的一个演绎系统. 计算机科学, 1989, (03):
108 杜小勇 . 演绎数据库线性递归查询的快速算法. , 1989, (01): 1-8
107 黄文奇 . 求解Covering问题的拟物方法——NP难度问题的一个处理途径. , 1989, 12 (08): 610-617
1988
106 李德毅 . 知识库增长过程中对新知识的消化和吸收. 计算机学报, 1988, (04):
105 王芳雷 . Syndrome结构可测试设计. 计算机学报, 1988, (05):
104 冯玉才 . 候选关键字的图论求解法. 计算机学报, 1988, (09):
103 陈国良 沈鸿 . 在SIMD机器上实现的双调选择算法. 计算机研究与发展, 1988, (01):
102 钟宁 董菊珍 . 关系模型与ADABAS. 计算机研究与发展, 1988, (07):
101 王芳雷 . 一个基于Syndrome测试技术的内部测试电路设计. 计算机研究与发展, 1988, (09):
100 王文敏 方滨兴 胡铭曾 . 逻辑程序设计语言的并行性分析. 计算机研究与发展, 1988, (10):
99 胡铭曾 方滨兴 王文敏 . 关于一种准堆排序机实现方法的研究. 计算机研究与发展, 1988, (10):
98 裘宗燕 连刚 . ALF??一种新的并行废料收集方法. 计算机研究与发展, 1988, (10):
97 徐家福 . 软件自动化. 计算机研究与发展, 1988, (11):
96 陈国良 . 非数值计算的并行算法(下). 计算机研究与发展, 1988, (12):
95 俞士汶 . 中文输入中语法分析技术的应用. 中文信息学报, 1988, (03):
94 董振东 . 机器翻译中词典和文法的关系. 中文信息学报, 1988, (03):
93 何炎祥 . 基于消息传递的程序设计语言. 小型微型计算机系统, 1988, (07):
92 张焕国 覃中平 . 数据安全性与计算机密码学. 计算机科学, 1988, (04):
91 Francois Bancilhon 杜小勇 王珊 萨师煊 . 面向对象的数据库系统. 计算机科学, 1988, (06):
90 Jeffrey D.Ullman 刘怡 王珊 萨师煊 . 数据库理论的过去和未来. 计算机科学, 1988, (02):
1987
89 黄和平 朱逸芬 . 基于PROLOG和INGRES的演绎数据库系统的研制. 计算机研究与发展, 1987, (04):
88 王鼎兴 . 可重排网络的控制算法. 计算机研究与发展, 1987, (06):
87 赵保华 屈玉贵 森下严 . 计算机操作系统中进程管理的固化. 计算机研究与发展, 1987, (11):
86 李亚民 . RISC寄存器的管理策略. 小型微型计算机系统, 1987, (12):
85 尤晋元 . 两种通用、高速的进程通信机构-UNIX S-5共享数据段、消息机构评析. 计算机工程, 1987, (05):
84 徐洁磐 . 演绎数据库及其研究现状. 计算机科学, 1987, (01):
83 施伯乐 . 关系数据库的理论进展. 计算机科学, 1987, (02):
82 张清 . 知识获取问题. 计算机科学, 1987, (05):
81 王晓龙 . 汉字编码方案的择优、统一和发展. 电子学报, 1987, (01):
80 谢希仁 . 分组话音通信的进展. 电子学报, 1987, (01):
79 张士平 . 微机分布式数据库管理系统MNDB的设计. , 1987, (01):
78 尤晋元 . 一种新型、灵活的信号灯机构——UNIXS-5信号灯集机构评析. , 1987, (01):
77 李玉忱 . 把ALGOL60程序移植成PASCAL程序的基本方法. , 1987, (04):
1986
76 张焕国 . B邻接片错误定位码. 计算机学报, 1986, (01):
75 陈莘萌 . 并行求解三对角线性方程组的多重分割方法. 计算机学报, 1986, (04):
74 徐福培 沈默君 张福炎 . 统计图形软件C-dGRAPH. 计算机研究与发展, 1986, (01):
73 孟力明 胡铭曾 . 关系数据库处理机(RDBP)的性能分析. 计算机研究与发展, 1986, (01):
72 王鼎兴 濮群 徐凤家 杨士强 . PROLOG系统的Pascal实现. 计算机研究与发展, 1986, (04):
71 王为真 戴冠中 . 大型应用软件系统的编写. 计算机研究与发展, 1986, (08):
70 陈国良 . 数据流计算机的互连结构. 计算机研究与发展, 1986, (09):
69 罗四维 狄玉来 . 联想存储器在数据流计算机中的应用. 计算机研究与发展, 1986, (09):
68 刘应学 . HDS-8030机的微码设计. 计算机工程, 1986, (02):
67 ThomasM.Leonard 陈涵生 . Ada与图形核心系统. 计算机工程, 1986, (02):
66 王鼎兴 . SW榕树网络的特性分析. 小型微型计算机系统, 1986, (12):
65 徐家福 . 试论程序设计原则语言设计. 计算机科学, 1986, (02):
64 王振宇 廖汉忠 吴桦 . 结构编辑程序的综述与分析. 计算机科学, 1986, (06):
63 卢克盛 . 计算机系统技术的进展. , 1986, (04):
62 张正兴 . Modula-2语言越来越受到人们的重视. , 1986, (05):
1985
61 周之英 . d维长方体相交问题. 计算机学报, 1985, (01):
60 周之英 . 平面点集凸壳的实时算法. 计算机学报, 1985, (02):
59 马绍汉 . 图上STEINER树问题及其近似算法. 计算机学报, 1985, (03):
58 朱洪 . 一个有效的稳定并队算法. 计算机学报, 1985, (05):
57 施雨农 须德 . 二进制同步通信规程的原理及其实现. 计算机研究与发展, 1985, (03):
56 张幸儿 徐家福 . XCY-2分块编译的实现. 计算机研究与发展, 1985, (03):
55 苏锦祥 . ω-正则语言族的几个子类. 计算机研究与发展, 1985, (04):
54 陈国良 . 多处理器系统的互连网络. 计算机研究与发展, 1985, (08):
53 王鼎兴 沈美明 郑纬民 李家瑛 . 实现不同系列机程序兼容的仿真系统的设计. 计算机研究与发展, 1985, (10):
52 陈国良 . 计算机网络拓扑(上). 计算机研究与发展, 1985, (10):
51 陈国良 . 计算机网络拓扑(下). 计算机研究与发展, 1985, (11):
50 王晓龙 . 汉字输入系统与系列码. 计算机研究与发展, 1985, (12):
49 瞿兆荣 . 平行处理的同步机构. 计算机工程, 1985, (02):
48 楼荣生 . 主副结构顺序文件. 计算机工程, 1985, (06):
47 陈涵生 蒋涵民 . 属性文法和编译程序生成系统GAG. 计算机科学, 1985, (06):
46 王振宇 . Ada国际大会见闻和印象记. 计算机科学, 1985, (05):
1984
45 陆荣国 . 关于《一种实用的语法识别程序》的注记. 计算机学报, 1984, (04):
44 张焕国 . B邻接片错误纠错码. 计算机学报, 1984, (05):
43 苏锦祥 . 关于ω-语言的正则性. 计算机学报, 1984, (05):
42 孙永强 宋国新 毕华 黄小戎 . 循环断言生成系统. 计算机研究与发展, 1984, (01):
41 许满武 . 实现FP语言的实验模型FPM2. 计算机研究与发展, 1984, (08):
40 陈国良 . 数据流计算机. 计算机研究与发展, 1984, (09):
39 陶树平 . 实现快速运算的剩余系统. 计算机工程, 1984, (02):
38 俞士汶 . 结构程序设计技术的实践. , 1984, (03):
37 周之英 . Unix系统的shell语言. , 1984, (05):
1983
36 朱传琪 . 互连变换网络的同构与拓扑等价. 计算机学报, 1983, (02):
35 楼荣生 . 集合检索. 计算机工程, 1983, (01):
34 王湘浩 李家治 管纪文 刘叙华 何志钧 石纯一 马希文 . 关于人工智能. 计算机科学, 1983, (02):
33 徐家福 . 程序设计语言Ada简介(一). 小型微型计算机系统, 1983, (02):
32 徐家福 . 程序设计语言Ada简介(二). 小型微型计算机系统, 1983, (03):
31 许满武 . 函数式程序设计语言FP的实现. 小型微型计算机系统, 1983, (04):
30 费翔林 . 操作系统XTI的调进调出. 小型微型计算机系统, 1983, (06):
29 吴鸥琦 王珊 . 关于E?R/数据模型转换的一点注记. 小型微型计算机系统, 1983, (06):
28 孙永强 . 本刊十周年纪念征文之三——FP函数程序设计. 计算机科学, 1983, (04):
27 王振宇 . 第十届国际自动机、语言和程序设计讨论会侧记. 计算机科学, 1983, (06):
1982
26 苏锦祥 . 3型语言类对S-映射的封闭性. 计算机学报, 1982, (03):
25 方家骐 . 高级交互图形软件包GMGP的功能和实现. 计算机学报, 1982, (04):
24 李祥 . 能行禁集与程序指标集??递归式定理的一个推广及应用. 计算机学报, 1982, (04):
23 马绍汉 . 沿通路布尔差分及其应用. 计算机学报, 1982, (05):
22 郑纬民 沈美明 王鼎兴 . C_m~*、X-TREE多处理机系统寻址机构和路径算法的分析. 计算机研究与发展, 1982, (04):
21 黄德利 高传善 张根度 徐兴权 吴时霖 陈志葛 . DJS-186仿真微程序设计方法. 计算机研究与发展, 1982, (07):
20 王珊 吴鸥琦 . B~+树效率分析和组织聚集索引的算法??B~+树的进一步研究和应用. 计算机研究与发展, 1982, (11):
19 C.Delobel 王珊 . 关系数据理论概述. 计算机科学, 1982, (02):
18 王振宇 . Ada程序包及其在系统程序设计中的应用. 计算机科学, 1982, (05):
17 王珊 吴鸥琦 . B~+树效率分析和组织聚集索引的算法——B~+树的进一步研究和应用. , 1982, (11):
16 李祥 . 能行禁集与程序指标集——递归式定理的一个推广及应用. , 1982, (04):
1981
15 郝克刚 . GP文法与匹配优先分析算法. 计算机学报, 1981, (01):
14 徐家福 . 软件工程设计与函数式程序设计系统. 计算机研究与发展, 1981, (01):
13 胡久清 何炎祥 李卫华 . 程序验证机械化的进一步探讨. 计算机研究与发展, 1981, (09):
12 王珊 吴鸥琦 . B树及其在文件组织中的应用. 计算机研究与发展, 1981, (09):
11 卢克盛 . MECL10K电路实用性能分析和ECL的发展概况. 计算机工程, 1981, (02):
10 瞿兆荣 . HDS-9文件系统结构. 计算机工程, 1981, (03):
9 张公忠 . 微型计算机CP/M操作系统. 小型微型计算机系统, 1981, (02):
8 李三立 . 浅谈微计算机技术的发展方向. 小型微型计算机系统, 1981, (05):
1980
7 刘叙华 . 广义模糊逻辑和锁语义归结原理. 计算机学报, 1980, (02):
6 徐洁磐 . 操作系统结构形式化的探讨(摘要). 计算机研究与发展, 1980, (06):
5 陈廷槐 . 转移逻辑(I). 计算机研究与发展, 1980, (09):
4 刘叙华 . 锁语义归结原理和模糊逻辑. 计算机研究与发展, 1980, (09):
3 张公忠 . Z-80微型计算机系统(CROMEMCO系统-Ⅲ)结构. 小型微型计算机系统, 1980, (02):
2 朱振元 . PASCAL语言和它的自编译程序介绍. 小型微型计算机系统, 1980, (04):
1979
1 陈廷槐 . 四值逻辑与星算法. 计算机学报, 1979, (04):