课题基金 / 基金详情

CT-ISG: Summer School on Reliable Computing

CT-ISG: Summer School on Reliable Computing
CT-ISG：可靠计算暑期学校
批准号：
0524639
负责人：
Zena Ariola
金额：
$1.0万
依托单位：
University of Oregon Eugene
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2005
资助国家：
美国
项目状态：
已结题
起止时间：
2005-09-01 至 2006-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0524639&HistoricalAwards=false
关键词：
CTISGSummerReliableComputing

项目摘要

项目成果

Zena Ariola的其他基金

相似基金

相关文献

中文摘要
翻译
[摘要]俄勒冈尤金的zena M. AriolaU提议的目的是建立一个关于提高软件可靠性的工具的暑期学校。学校的目的是为研究生、博士后、学术和工业研究人员做好准备，以开展这一主题的研究。三个di。将介绍事件类型的材料：基础理论、软件可靠性的高级技术和实际应用。
英文摘要
ABSTRACT0524639Zena M. AriolaU of Oregon EugeneThe proposal aims at the development of a summer school on Tools for Improving Software Reliability. The aim of the school is to prepare graduate students, post docs, academic and industrial researchers to conduct research on this topic. Three di.erent types of material will be presented: the foundational theory, the advanced techniques for software reliability, and practical applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
  • 批准号：
    2329771
  • 项目类别：
    Standard Grant
  • 资助金额：
    $5.0万
  • 财政年份：
    2023
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
  • 批准号：
    2227189
  • 项目类别：
    Standard Grant
  • 资助金额：
    $4.5万
  • 财政年份：
    2022
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
  • 批准号：
    1933086
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2019
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
  • 批准号：
    1832506
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2018
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
国内基金
海外基金
甘草苷通过IFN-I／ISG15信号通路促进卵巢颗粒细胞外泌体分泌延缓卵巢衰老的作用机制
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    李璐邑
  • 依托单位：
ISG15/LFA-1调控肿瘤相关巨噬细胞浸润促进胆囊癌免疫逃逸的机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    蔡炜龙
  • 依托单位：
ISG15类泛素化修饰多囊泡小体介导KNG1-PI3K/Akt信号轴在葡萄膜炎内皮屏障损伤中的作用机制研究
  • 批准号：
    JCZRQN202500743
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
  • 依托单位：
    武汉大学
ISG15下调lncRNA RP11-5407.3介导细胞自噬促进子宫内膜癌进展的 作用及机制研究