位置：成果数据库 > 期刊 > 期刊详情页
Research on automated sorting algorithms generation based on PAR
  • ISSN号：1000-9825
  • 期刊名称：Journal of Software
  • 时间：2012
  • 页码：2248-2260
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
作者： Shi, Hai-He|Xue, Jin-Yun|
同期刊论文项目
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
同项目期刊论文
Unified categorical models for three typical resource allocation problems
Constraint verification of generic algorithmic program for solving general network path problems
Radl形式规格说明相对正确性研究
PAR 平台数据库查询优化方案
基于 PAR 的软件服务外包开发过程应用研究
A Formal Approach to Critical Components in Disaster Management Information Systems
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
SRLtoRadl生成系统及其范畴论语义
Radl算法到Apla程序的生成系统
一类单元赋值语句型循环不变式的开发方法研究
基于BPMN的Web服务并发交互机制
Fuzzy Combinatorial Optimization With Multiple Ranking Criteria:A Staged Tabu Search Faramework，，201
A new particle swarm optimization algorithm for fuzzy optimization of armored vehicle scheme design
基于主从粒子群模型的分布式Agent计算框架
Biogeographic harmony search for emergency air transportation
Emergency railway transportation planning usinga hyperheuristic approach
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation
Apla中泛型约束机制研究
Disaster rescue task scheduling: An evolutionary multiobjective optimization approach.
Water wave optimization: A new nature-inspiredmetaheuristic
Evolutionary optimization for disaster relief operations: A survey
The forgetting mechanism in Dirichlet reputation system
Apla语言中并发分布式机制的研究
基于PAR的排序算法自动生成研究
Rescue Wings: Mobile Computing and Active ServicesSupport for Disaster Rescue
Transaction在PAR平台中的实现方法及应用研究
软件形式化开发关键部件选取的水波优化方法
多Agent 主从粒子群分布式计算框架
基于形式演算和不变式验证的可信算法程序构造(英文)
在建模语言Apla中实现多媒体数据库应用的方法研究
Apla→Java程序生成系统中泛型机制实现方法研究
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609