课题基金 / 基金详情

Presidential Young Investigator Award: Computer Science (Software)

Presidential Young Investigator Award: Computer Science (Software)
总统青年研究员奖:计算机科学(软件)
批准号:
8858029
负责人:
Gail Kaiser
金额:
$31.2万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-10-01 至 1994-09-30

项目摘要

项目成果

Gail Kaiser的其他基金

相似基金

相关文献

中文摘要
翻译
该研究员的主要研究兴趣是开发工具, 构建大规模分布式系统。 这导致工作 分布式算法和并发编程语言以及 编程环境。 目前,四个研究项目 正在进行中 MERCURY是一个基于多用户语言的编辑器,用户可以 同时编辑同一个程序,使用同一台机器或 分布在网络上;目前的研究重点是开发 支持版本和配置控制的算法。 MELD,a 并发程序设计语言,结合了面向对象和数据流 编程;当前的研究涉及添加事务处理 设施 MARVEL是基于知识的工程体系结构 支持计算机化工具的受控自动化的环境; 目前的工作考虑数据库对长期事务的支持。 INFUSE是一个“城市模型”软件开发环境, 程序员通过变更的分层集成进行合作; 当前的研究集中于对集成测试的支持。
英文摘要
This investigator's primary research interest is developing tools for building large scale distributed systems. This leads to work on distributed algorithms and concurrent programming languages as well as on programming environments. Currently four research projects are underway. MERCURY is a multiple-user language.based editor, where users may simultaneously edit the same program, using the same machine or distributed across a network; current research focuses on developing algorithms to support version and configuration control. MELD, a concurrent programming language, combines object-oriented and data flow programming; current research involves adding transaction processing facilities. MARVEL is an architecture for knowledged-based engineering environments that support controlled automation of computerized tools; current work considers database support for long-lived transactions. INFUSE is a 'city model' software development environment that enforces cooperation of programmers via hierarchical integration of changes; current research focuses on support for integration testing.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
  • 批准号:
    2247370
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2023
  • 负责人:
    Gail Kaiser
  • 依托单位:
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
  • 批准号:
    1815494
  • 项目类别:
    Standard Grant
  • 资助金额:
    $49.66万
  • 财政年份:
    2018
  • 负责人:
    Gail Kaiser
  • 依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
  • 批准号:
    1563555
  • 项目类别:
    Standard Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2016
  • 负责人:
    Gail Kaiser
  • 依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
  • 批准号:
    1161079
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $89.46万
  • 财政年份:
    2012
  • 负责人:
    Gail Kaiser
  • 依托单位:
海外基金