刷新
{{item.name}}会员
Robust and efficient concurrent computation
稳健高效的并发计算
基本信息
- 批准号：41900-2000
- 负责人：
- 金额：$ 1.82万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2005
- 资助国家：加拿大
- 起止时间：2005-01-01 至 2006-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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 }}
Higham, Lisa其他文献
Higham, Lisa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Higham, Lisa', 18)}}的其他基金
Correct, robust and efficient concurrent computation
正确、稳健、高效的并发计算
- 批准号：
41900-2007 - 财政年份：2011
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Correct, robust and efficient concurrent computation
正确、稳健、高效的并发计算
- 批准号：
41900-2007 - 财政年份：2010
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Correct, robust and efficient concurrent computation
正确、稳健、高效的并发计算
- 批准号：
41900-2007 - 财政年份：2009
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Correct, robust and efficient concurrent computation
正确、稳健、高效的并发计算
- 批准号：
41900-2007 - 财政年份：2008
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Correct, robust and efficient concurrent computation
正确、稳健、高效的并发计算
- 批准号：
41900-2007 - 财政年份：2007
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Robust and efficient concurrent computation
稳健高效的并发计算
- 批准号：
41900-2000 - 财政年份：2003
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Robust and efficient concurrent computation
稳健高效的并发计算
- 批准号：
41900-2000 - 财政年份：2002
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Robust and efficient concurrent computation
稳健高效的并发计算
- 批准号：
41900-2000 - 财政年份：2001
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Robust and efficient concurrent computation
稳健高效的并发计算
- 批准号：
41900-2000 - 财政年份：2000
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Complexity of concurrent computation
并发计算的复杂度
- 批准号：
41900-1996 - 财政年份：1999
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
固定参数可解算法在平面图问题的应用以及和整数线性规划的关系
- 批准号：60973026
- 批准年份：2009
- 资助金额：32.0 万元
- 项目类别：面上项目
相似海外基金
Efficient verification of concurrent and distributed infinite-state systems
并发分布式无限状态系统的高效验证
- 批准号：
RGPIN-2019-06039 - 财政年份：2022
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Efficient verification of concurrent and distributed infinite-state systems
并发分布式无限状态系统的高效验证
- 批准号：
RGPIN-2019-06039 - 财政年份：2021
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Efficient verification of concurrent and distributed infinite-state systems
并发分布式无限状态系统的高效验证
- 批准号：
RGPIN-2019-06039 - 财政年份：2020
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Efficient verification of concurrent and distributed infinite-state systems
并发分布式无限状态系统的高效验证
- 批准号：
DGECR-2019-00034 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Launch Supplement
Efficient Concurrent Data Structures
高效的并发数据结构
- 批准号：
RGPIN-2015-05080 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Design and verification of correct, efficient and secure concurrent systems
正确、高效、安全的并发系统的设计和验证
- 批准号：
DP190102142 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Projects
Predictors and consequences of young adult marijuana use and concurrent and simultaneous alcohol use: Month to month variation across 24 consecutive months
年轻人吸食大麻以及同时饮酒的预测因素和后果：连续 24 个月的月度变化
- 批准号：
10224811 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Efficient verification of concurrent and distributed infinite-state systems
并发分布式无限状态系统的高效验证
- 批准号：
RGPIN-2019-06039 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Discovery Grants Program - Individual
Predictors and consequences of young adult marijuana use and concurrent and simultaneous alcohol use: Month to month variation across 24 consecutive months
年轻人吸食大麻以及并发和同时饮酒的预测因素和后果：连续 24 个月的月度变化
- 批准号：
10430306 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：
Predictors and consequences of young adult marijuana use and concurrent and simultaneous alcohol use: Month to month variation across 24 consecutive months
年轻人吸食大麻以及并发和同时饮酒的预测因素和后果：连续 24 个月的月度变化
- 批准号：
10017790 - 财政年份：2019
- 资助金额：
$ 1.82万 - 项目类别：