刷新
{{item.name}}会员
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
基本信息
- 批准号：9996086
- 负责人：
- 金额：$ 14.8万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1998
- 资助国家：美国
- 起止时间：1998-09-01 至 2001-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 }}
W. Rance Cleaveland其他文献
W. Rance Cleaveland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('W. Rance Cleaveland', 18)}}的其他基金
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology
合作研究：以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
- 批准号：
0926194 - 财政年份：2009
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
Verification of Open-Loop Embedded Control Systems
开环嵌入式控制系统的验证
- 批准号：
0820072 - 财政年份：2008
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
Heterogeneous Specification Formalisms for Reactive Systems
反应式系统的异构规范形式
- 批准号：
9988489 - 财政年份：2000
- 资助金额：
$ 14.8万 - 项目类别：
Continuing Grant
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
- 批准号：
9996312 - 财政年份：1999
- 资助金额：
$ 14.8万 - 项目类别：
Continuing Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9996095 - 财政年份：1998
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
- 批准号：
9804091 - 财政年份：1998
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9603441 - 财政年份：1997
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
Methodologies for the Automatic Verification of Concurrent Systems
并发系统自动验证方法
- 批准号：
9402807 - 财政年份：1994
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
- 批准号：
9257963 - 财政年份：1992
- 资助金额：
$ 14.8万 - 项目类别：
Continuing Grant
相似海外基金
Challenge on data driven research foundation by merging formalism and AI
形式主义与人工智能融合对数据驱动研究基础的挑战
- 批准号：
23K17520 - 财政年份：2023
- 资助金额：
$ 14.8万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
A stochastic formalism for tensor perturbations: gravitational waves induced by non-linear effects
张量扰动的随机形式主义：非线性效应引起的引力波
- 批准号：
23KF0247 - 财政年份：2023
- 资助金额：
$ 14.8万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Hamiltonian formalism in wave turbulence problems
波湍流问题中的哈密顿形式主义
- 批准号：
2307712 - 财政年份：2023
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
The best bureaucrat knows how to act. An ethnographic research on 'Chinese formalism' in bureaucratic institutions
最好的官僚知道如何行事。
- 批准号：
2754939 - 财政年份：2022
- 资助金额：
$ 14.8万 - 项目类别：
Studentship
Thermodynamic Formalism and Dimension of Overlapping Fractal Measures
热力学形式主义和重叠分形测度的维数
- 批准号：
2905612 - 财政年份：2022
- 资助金额：
$ 14.8万 - 项目类别：
Studentship
Topics in Smooth Ergodic Theory: Stochastic Properties, Thermodynamic Formalism, Coexistence
平滑遍历理论主题：随机性质、热力学形式主义、共存
- 批准号：
2153053 - 财政年份：2022
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant
Many-Body Perturbation Formalism and Computational Prediction of Exciton Dynamics in Low-Dimensional Quantum Moiré Materials
低维量子莫尔材料中激子动力学的多体摄动形式主义和计算预测
- 批准号：
568202-2022 - 财政年份：2022
- 资助金额：
$ 14.8万 - 项目类别：
Postgraduate Scholarships - Doctoral
Aspects of the evolution dynamics of GR in the chiral formalism
手性形式主义中 GR 演化动力学的各个方面
- 批准号：
2601065 - 财政年份：2021
- 资助金额：
$ 14.8万 - 项目类别：
Studentship
Quantum circuit extraction from the Sum-over-Paths formalism
从路径求和形式中提取量子电路
- 批准号：
565041-2021 - 财政年份：2021
- 资助金额：
$ 14.8万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
ELEMENTS: Anharmonic formalism and codes to calculate thermal transport and phase change from first-principles calculations
元素：根据第一性原理计算计算热传输和相变的非谐形式和代码
- 批准号：
2103989 - 财政年份：2021
- 资助金额：
$ 14.8万 - 项目类别：
Standard Grant