刷新
{{item.name}}会员
Automated Support for Testing and Debugging of Real-Time Programs Using Oracles
使用 Oracle 自动化支持测试和调试实时程序
基本信息
- 批准号：9896190
- 负责人：
- 金额：$ 9.99万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1997
- 资助国家：美国
- 起止时间：1997-10-01 至 2000-06-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Laura Dillon其他文献
Laura Dillon的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Laura Dillon', 18)}}的其他基金
Student and Early-Career Faculty Travel and Registration Support for ICSE MAy 14-22, 2016
ICSE 学生和早期职业教师旅行和注册支持 2016 年 5 月 14 日至 22 日
- 批准号：
1548379 - 财政年份：2015
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
Group Travel Grant for Faculty at Colleges and Universities Serving Minorities and Women: 2012 Software Engineering Educators' Symposium
为服务少数群体和妇女的学院和大学教员提供团体旅行补助金：2012 年软件工程教育者研讨会
- 批准号：
1247416 - 财政年份：2012
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
Group Travel Grant for Faculty at Minority Institutions
为少数族裔机构教员提供团体旅行补助金
- 批准号：
0826945 - 财政年份：2008
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
Using Contracts to Support Development, Verification, and Maintenance of Multi-threaded Systems
使用合约支持多线程系统的开发、验证和维护
- 批准号：
0702667 - 财政年份：2007
- 资助金额：
$ 9.99万 - 项目类别：
Continuing Grant
Post Doctoral Research in Automating Development of Interactive Distributed Applications
交互式分布式应用程序自动化开发博士后研究
- 批准号：
0203060 - 财政年份：2002
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
Automated Support for Testing and Debugging of Real-Time Programs Using Oracles
使用 Oracle 自动化支持测试和调试实时程序
- 批准号：
9505392 - 财政年份：1995
- 资助金额：
$ 9.99万 - 项目类别：
Continuing Grant
Graphical Tools for Development of Concurrent Systems
用于开发并发系统的图形工具
- 批准号：
9014382 - 财政年份：1990
- 资助金额：
$ 9.99万 - 项目类别：
Continuing Grant
An Integrated Approach to the Analysis of Concurrent Software Systems
并发软件系统分析的综合方法
- 批准号：
8702905 - 财政年份：1987
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
相似国自然基金
两性离子载体（zwitterionic support）作为可溶性支载体在液相有机合成中的应用
- 批准号：21002080
- 批准年份：2010
- 资助金额：19.0 万元
- 项目类别：青年科学基金项目
基于Support Vector Machines（SVMs)算法的智能型期权定价模型的研究
- 批准号：70501008
- 批准年份：2005
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Preparing for Blood-Based Alzheimer’s Disease Biomarker Testing in Diverse Populations: Development of a Decision-Support Tool for Primary Care
为不同人群进行基于血液的阿尔茨海默病生物标志物测试做好准备：开发初级保健决策支持工具
- 批准号：
10722716 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
MyPrEP Plus: Development and Pilot Testing of Novel Pre-Exposure Prophylaxis Support Tools for Transgender Women
MyPrEP Plus：针对跨性别女性的新型暴露前预防支持工具的开发和试点测试
- 批准号：
10618102 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Refining and Pilot Testing a Decision Support Intervention to Facilitate Adoption of Evidence-Based Programs to Improve Parent and Child Mental Health
完善和试点测试决策支持干预措施，以促进采用循证计划来改善父母和儿童的心理健康
- 批准号：
10869705 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Pilot Testing Implementation of Suicide Risk Prediction Algorithms to Support Suicide Prevention in Primary Care
试点测试自杀风险预测算法的实施，以支持初级保健中的自杀预防
- 批准号：
10648772 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Development and Testing of a Multi-Component Intervention to Support HIV Care Engagement among Patients Receiving Cancer Treatment in Zimbabwe
开发和测试多成分干预措施以支持津巴布韦接受癌症治疗的患者参与艾滋病毒护理
- 批准号：
10700576 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Optimizing an IMB-guided intervention to support HIV self-testing and PrEP uptake among YMSM: A pilot factorial RCT
优化 IMB 指导的干预措施，以支持 YMSM 中的 HIV 自我检测和 PrEP 吸收：试点因子随机对照试验
- 批准号：
10796690 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
FDA Vet-LIRN Capacity-Building of Ohio ADDL to support rapid testing for COVID-19
FDA Vet-LIRN 俄亥俄州 ADDL 能力建设支持快速检测 COVID-19
- 批准号：
10829119 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Promoting Equity and Research Using Adaptive Testing to Support Individualized Instruction at Scale: An Incubator Project
使用适应性测试支持大规模个性化教学促进公平和研究：孵化器项目
- 批准号：
2322015 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Standard Grant
Development and Usability Testing of Telemonitoring App (Raabta) Prototype to Support Pregnant Individuals at High Risk for Preeclampsia.
远程监控应用程序 (Raabta) 原型的开发和可用性测试，以支持先兆子痫高风险孕妇。
- 批准号：
484596 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：
Fellowship Programs
Enhancing Performance of Antimicrobial Susceptibility Testing (AST) in Support of Vet-LIRN Activities
提高抗菌药物敏感性测试 (AST) 的性能以支持 Vet-LIRN 活动
- 批准号：
10828498 - 财政年份：2023
- 资助金额：
$ 9.99万 - 项目类别：