Research Initiation Award: Dynamic Program Slicing
研究启动奖:动态程序切片
基本信息
- 批准号:9596194
- 负责人:
- 金额:$ 6.8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-12-01 至 1998-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Bogdan Korel其他文献
Source Code Transformations for Improving Security of Time-bounded K-variant Systems
- DOI:
10.1016/j.infsof.2021.106601 - 发表时间:
2021-09-01 - 期刊:
- 影响因子:
- 作者:
Berk Bekiroglu;Bogdan Korel - 通讯作者:
Bogdan Korel
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation
- DOI:
10.1007/s10515-009-0052-1 - 发表时间:
2009-03-24 - 期刊:
- 影响因子:3.100
- 作者:
Michael W. Godfrey;Bogdan Korel - 通讯作者:
Bogdan Korel
Formal timing analysis for distributed real-time programs
- DOI:
10.1007/bf01088622 - 发表时间:
1994-07-01 - 期刊:
- 影响因子:1.300
- 作者:
Horst F. Wedde;Bogdan Korel;Dorota M. Huizinga - 通讯作者:
Dorota M. Huizinga
Bogdan Korel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Bogdan Korel', 18)}}的其他基金
Research Initiation Award: Dynamic Program Slicing
研究启动奖:动态程序切片
- 批准号:
9308895 - 财政年份:1993
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
相似海外基金
Research Initiation Award: Integrated Approach Toward Examining Fecal Indicator Bacteria Trends in a Coastal Watershed
研究启动奖:检查沿海流域粪便指示细菌趋势的综合方法
- 批准号:
2300319 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Turan-type problems on partially ordered sets
研究启动奖:偏序集上的图兰型问题
- 批准号:
2247163 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: A GNN+BiMCLSTM Based Framework to Model, Predict, and Traceback Malware Strains
研究启动奖:基于 GNN BiMCLSTM 的框架,用于建模、预测和追溯恶意软件菌株
- 批准号:
2300405 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Uncovering and Extracting Biological Information from Nanopore Long-read Sequencing Data with Machine Learning and Mathematical Approaches
研究启动奖:利用机器学习和数学方法从纳米孔长读长测序数据中发现和提取生物信息
- 批准号:
2300445 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Highly Stable Nanoparticle-Doped Metal-Organic Frameworks for Applications in Water Purification
研究启动奖:用于水净化应用的高度稳定的纳米颗粒掺杂金属有机框架
- 批准号:
2344742 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Implementing the Next-Generation IoT Ecosystem with AI Capabilities
研究启动奖:利用人工智能能力实施下一代物联网生态系统
- 批准号:
2200377 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Thermal Decomposition of Four-membered Heterocyclic Peroxides, Data Mining in Nonadiabatic Trajectories, and Chemiexcitation Efficiency
研究启动奖:四元杂环过氧化物的热分解、非绝热轨迹数据挖掘、化学激发效率
- 批准号:
2300321 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Analysis of Glycoprotein Composition and Function of PGE2 EP Receptors in Mammary-derived Cells
研究启动奖:乳腺细胞中 PGE2 EP 受体的糖蛋白组成和功能分析
- 批准号:
2300448 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Investigating Instructional Conditions for Robust Learning in Biology
研究启动奖:研究生物学稳健学习的教学条件
- 批准号:
2300454 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant
Research Initiation Award: Exploring Class A G-Protein Coupled Receptors (GPCRs)-Ligand Interaction through Machine Learning Approaches
研究启动奖:通过机器学习方法探索 A 类 G 蛋白偶联受体 (GPCR)-配体相互作用
- 批准号:
2300475 - 财政年份:2023
- 资助金额:
$ 6.8万 - 项目类别:
Standard Grant