Verification and its Applications to Automated Hardware Synthesis

验证及其在自动化硬件合成中的应用

基本信息

  • 批准号：
    9100516
  • 负责人：
    Miriam Leeser
  • 金额：
    $ 8万
  • 依托单位：
    Cornell University
  • 依托单位国家：
    美国
  • 项目类别：
    Standard Grant
  • 财政年份：
    1992
  • 资助国家：
    美国
  • 起止时间：
    1992-01-01 至 1993-12-31
  • 项目状态：
    已结题

项目摘要

JUSTIFICATION
对齐

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Miriam Leeser其他文献

Parallel-Beam Backprojection: An FPGA Implementation Optimized for Medical Imaging
Accelerating Garbled Circuits in the Open Cloud Testbed with Multiple Network-Attached FPGAs
使用多个网络附加 FPGA 加速开放云测试台中的乱码电路
EdgeQAT: Entropy and Distribution Guided Quantization-Aware Training for the Acceleration of Lightweight LLMs on the Edge
EdgeQAT：熵和分布引导的量化感知训练，用于加速边缘轻量级法学硕士
  • DOI：
  • 发表时间：
    2024
  • 期刊：
    arXiv.org
  • 影响因子：
    0
  • 作者：
    Xuan Shen;Zhenglun Kong;Changdi Yang;Zhaoyang Han;Lei Lu;Peiyan Dong;Cheng Lyu;Chih;Xuehang Guo;Zhihao Shu;Wei Niu;Miriam Leeser;Pu Zhao;Yanzhi Wang
  • 通讯作者：
    Yanzhi Wang
A methodology for efficient hardware verification
  • DOI：
    10.1007/bf01384235
  • 发表时间：
    1994-07-01
  • 期刊：
    FORMAL METHODS IN SYSTEM DESIGN
  • 影响因子：
    0.800
  • 作者：
    Mark Aagaard;Miriam Leeser
  • 通讯作者：
    Miriam Leeser
Selective Encryption of Compressed Image Regions on the Edge with Reconfigurable Hardware
使用可重新配置硬件对边缘压缩图像区域进行选择性加密

Miriam Leeser的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Miriam Leeser', 18)}}的其他基金

EAGER: Collaborative Research: CNS: PRATE: P4 Research enabled by Accelerators in national TestbEds
EAGER：协作研究：CNS：PRATE：国家 TestbEd 加速器启用的 P4 研究
  • 批准号：
    2130891
  • 财政年份：
    2021
  • 资助金额：
    $ 8万
  • 项目类别：
    Standard Grant
ICE-T: RI: Software Hardware Efficient Extensible Protocols (SHEEP)
ICE-T：RI：软件硬件高效可扩展协议 (SHEEP)
  • 批准号：
    1836880
  • 财政年份：
    2018
  • 资助金额：
    $ 8万
  • 项目类别：
    Standard Grant
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
NSF 青年研究员：浮点算术硬件和软件设计的工具包开发
  • 批准号：
    9696196
  • 财政年份：
    1996
  • 资助金额：
    $ 8万
  • 项目类别：
    Continuing Grant
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
NSF 青年研究员：浮点算术硬件和软件设计的工具包开发
  • 批准号：
    9257280
  • 财政年份：
    1992
  • 资助金额：
    $ 8万
  • 项目类别：
    Continuing Grant
RIA -- MTV: A Multiple Event Timing Verifier
RIA——MTV：多事件计时验证器
  • 批准号：
    9111146
  • 财政年份：
    1991
  • 资助金额：
    $ 8万
  • 项目类别：
    Standard Grant

相似国自然基金

Accretion variability and its consequences: from protostars to planet-forming disks
  • 批准号：
    12173003
  • 批准年份：
    2021
  • 资助金额：
    60 万元
  • 项目类别：
    面上项目
ITS2“分类阈值”的构建及其在混合中药材高通量鉴定中的应用基础
  • 批准号：
    U2106227
  • 批准年份：
    2021
  • 资助金额：
    55 万元
  • 项目类别：
    面上项目
核糖体ITS2前体rRNA加工的作用机理研究
  • 批准号：
    32171286
  • 批准年份：
    2021
  • 资助金额：
    58 万元
  • 项目类别：
    面上项目
土壤微生物残留rDNA和ITS的类群特异性降解速率研究
  • 批准号：
    42007035
  • 批准年份：
    2020
  • 资助金额：
    24.0 万元
  • 项目类别：
    青年科学基金项目
以群体遗传学研究手段探讨云杉乳菇复合群内的种系分化和杂交事件
  • 批准号：
    31770031
  • 批准年份：
    2017
  • 资助金额：
    65.0 万元
  • 项目类别：
    面上项目
基于ITS探讨软骨下骨rod-plate微结构重塑在骨关节炎发病机制中的作用
  • 批准号：
    81601930
  • 批准年份：
    2016
  • 资助金额：
    18.0 万元
  • 项目类别：
    青年科学基金项目
ITS-HPLC-HRMS-Bioassay多级筛选策略指导下海洋真菌中新型抗菌活性产物的发现
  • 批准号：
    41606166
  • 批准年份：
    2016
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
新疆枣园林果树木腐烂病菌遗传多样性及致病力分化研究
  • 批准号：
    31660034
  • 批准年份：
    2016
  • 资助金额：
    40.0 万元
  • 项目类别：
    地区科学基金项目
ITS2二级结构的系统发育信息在药用植物DNA条形码中的应用价值研究
  • 批准号：
    81673551
  • 批准年份：
    2016
  • 资助金额：
    57.0 万元
  • 项目类别：
    面上项目
ITS融合型新一代混合动力汽车的几个关键控制问题研究
  • 批准号：
    61573304
  • 批准年份：
    2015
  • 资助金额：
    66.0 万元
  • 项目类别：
    面上项目

相似海外基金

Computational Tropical Geometry and its Applications
计算热带几何及其应用
  • 批准号：
    MR/Y003888/1
  • 财政年份：
    2024
  • 资助金额：
    $ 8万
  • 项目类别：
    Fellowship
EAGER: IMPRESS-U: Random Matrix Theory and its Applications to Deep Learning
EAGER：IMPRESS-U：随机矩阵理论及其在深度学习中的应用
  • 批准号：
    2401227
  • 财政年份：
    2024
  • 资助金额：
    $ 8万
  • 项目类别：
    Standard Grant
Liouville Quantum Gravity and Its Applications
刘维尔量子引力及其应用
  • 批准号：
    2245832
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Continuing Grant
Protection Against Water-Induced Short-Circuit Failures of Electronics with Cellulosic Polymer Coating and Its Practical Applications
纤维素聚合物涂层电子器件水致短路故障防护及其实际应用
  • 批准号：
    22KJ2188
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Vitamin scavenging in the gut: Structure/function of the tight-binding B12 foraging machinery in Bacteroides - and its biotechnological applications
肠道中的维生素清除：拟杆菌中紧密结合的 B12 觅食机制的结构/功能 - 及其生物技术应用
  • 批准号：
    BB/X001946/1
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Research Grant
A complete double copy dictionary and its applications
完整的双副本词典及其应用
  • 批准号：
    2868821
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Studentship
Technology to capture latent relationships using network structure and its applications
利用网络结构捕获潜在关系的技术及其应用
  • 批准号：
    23K01632
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Conference: Monodromy and Its Applications
会议：单色性及其应用
  • 批准号：
    2330598
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Standard Grant
Establishment of Ultrasound Control Technique of Microbubble-Encapsulated Vesicles and Its Medical Applications
微泡囊泡超声控制技术的建立及其医学应用
  • 批准号：
    23H00164
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
Progress of Recursive Utility Maximization Theory and Its Applications
递归效用最大化理论及其应用进展
  • 批准号：
    23K01450
  • 财政年份：
    2023
  • 资助金额：
    $ 8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了