软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2004年第07期杂志 文档列表

软件学报杂志理论计算机科学

Petri网可达性的综合判定法第949-955页

关键词: petri网；  可达性；  grobner基；  

嵌入一致图语法的依赖图第956-968页

关键词: 框架图语法；  图重写；  依赖图；  超图；  编译；  

一类递归函数的多态类型第969-976页

关键词: 函数式语言；  多态；  类型检查；  递归函数；  类型系统；  

软件学报杂志默认

2005年智能计算及其应用国际研讨会通知第968-968页

2004年全国开放式分布与并行计算学术会议第976-976页

第13届全国信息存储技术学术会议第993-993页

敬告作者第1004-1004页

第4届中国信息和通信安全学术会议（CCICS 2005）征文通知第1098-1098页

庆祝《软件学报》创刊15周年纪念活动预告第1106-1106页

软件学报杂志计算机体系结构

如何测量SMP机群可扩放性第977-986页

关键词: 并行计算；  性能评测；  smp机群；  可扩放性；  

一种软件流水的反流水算法第987-993页

关键词: 软件流水；  反流水；  指令级并行；  

超立方体中基于极大安全通路矩阵的容错路由第994-1004页

关键词: 容错路由；  最优通路；  极大安全通路矩阵；  超立方体；  多处理机系统；  

软件流水的开销模型和决策框架第1005-1011页

关键词: 软件流水；  开销模型；  相关性分析；  

软件学报杂志模式识别与人工智能

多智体系统时态认知规范的模型检测算法第1012-1020页

关键词: 符号模型检测；  多智体系统；  协议验证；  smv；  tmn密码协议；  

离群模糊核聚类算法第1021-1029页

关键词: 离群；  模糊；  核函数；  特征空间；  聚类算法；