课题基金 / 基金详情

Clocking Disciplines and Mutual Exclusion Constraints FormalModels and Verification Tools (Computer Research)

Clocking Disciplines and Mutual Exclusion Constraints FormalModels and Verification Tools (Computer Research)
时钟规则和互斥约束形式模型和验证工具（计算机研究）
批准号：
8796174
负责人：
Kevin Karplus
金额：
$6.9万
依托单位：
University of California-Santa Cruz
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1986
资助国家：
美国
项目状态：
已结题
起止时间：
1986-08-15 至 1988-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8796174&HistoricalAwards=false
关键词：
ClockingDisciplinesMutualExclusionConstraints

项目摘要

项目成果

Kevin Karplus的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
United States Participation in Intelligent Systems in Molecular Biology Conference
  • 批准号：
    9722730
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.5万
  • 财政年份：
    1997
  • 负责人：
    Kevin Karplus
  • 依托单位：
    University of California-Santa Cruz
1991 Advanced Research in VLSI Conference, March 26-28, 1991University of California, Santa Cruz
  • 批准号：
    9014762
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.2万
  • 财政年份：
    1991
  • 负责人：
    Kevin Karplus
  • 依托单位：
    University of California-Santa Cruz
Using If-Then-Else DAGs for Multi-level Logic Minimization
  • 批准号：
    8903555
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $18.88万
  • 财政年份：
    1989
  • 负责人：
    Kevin Karplus
  • 依托单位：
    University of California-Santa Cruz
Clocking Disciplines and Mutual Exclusion Constraints FormalModels and Verification Tools (Computer Research)
  • 批准号：
    8503262
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    1985
  • 负责人：
    Kevin Karplus
  • 依托单位：
    Cornell University
海外基金