机构

• 软件研究所 [3]
• 地球环境研究所 [2]
• 计算技术研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [6]

发表日期

• 2024 [1]
• 2018 [2]
• 2016 [1]
• 2013 [1]
• 2009 [1]

学科主题

• Computer S... [1]
• Software E... [1]
• Theory & ... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian   |  收藏  |  浏览/下载：3/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations   Breakpoint lead-lag analysis of the last deglacial climate change and atmospheric CO2 concentration on global and hemispheric scales 期刊论文  OAI收割 QUATERNARY INTERNATIONAL, 2018, 卷号: 490, 期号: 10, 页码: 50-59 作者:  Huang, Shaopeng;  Jin, Zhangdong;  Liu, Zhi   |  收藏  |  浏览/下载：53/0  |  提交时间：2018/09/19 Paleoclimatic Database  Trend Analysis  Rampfit  Breakfit  Ice Age Termination   Breakpoint lead-lag analysis of the last deglacial climate change andatmospheric CO2 concentration on global and hemispheric scales 期刊论文  OAI收割 Quaternary International, 2018, 卷号: 490, 期号: 2018, 页码: 50-59 作者:  Jin, ZD(Jin, Zhangdong);  Huang, Shaopeng;  Liu, Z(Liu, Zhi);  Huang, SP(Huang, Shaopeng)   |  收藏  |  浏览/下载：29/0  |  提交时间：2018/09/27 Paleoclimatic Database  Trend Analysis  Rampfit  Breakfit  Ice Age Termination   Termination analysis with recursive calling graphs 期刊论文  OAI收割 JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 卷号: 59, 页码: 109-116 Long, T; Zhang, WH   |  收藏  |  浏览/下载：18/0  |  提交时间：2016/12/13 Termination analysis  Green software programs  Size-change termination principle   Symbolic termination analysis of solvable loops 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 Program verification  Termination analysis  Polynomial loops  Symbolic computation  Quantifier elimination  Real root bounds   termination prediction for general logic programs 期刊论文  OAI收割 THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 6, 页码: 751-780 Shen Yi-Dong; De Schreye Danny; Voets Dean   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/03/18 Logic programming  termination analysis  loop checking  moded queries  termination prediction