刷新
{{item.name}}会员
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
基本信息
- 批准号：RGPIN-2014-05296
- 负责人：
- 金额：$ 2.84万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Asynchrony; Consensus; Distributed Computing; Failure Detectors; Fault-Tolerance; Message-Passing Model; Mutual Exclusion; Partial Synchrony; Shared-Memory Model; Synchronization
非同步性;协商一致;分布式计算故障探测器容错;消息传递模型;互斥;部分同步;共享内存模型;同步
项目成果
期刊论文数量（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 }}
Toueg, Sam其他文献
The correctness proof of Ben-Or's randomized consensus algorithm
- DOI：
10.1007/s00446-012-0162-z - 发表时间：
2012-10-01 - 期刊：
- 影响因子：1.3
- 作者：
Aguilera, Marcos K.;Toueg, Sam - 通讯作者：
Toueg, Sam
Toueg, Sam的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Toueg, Sam', 18)}}的其他基金
On Principles of Distributed Computing for Message-Passing, Shared-Memory, and Hybrid Systems
消息传递、共享内存和混合系统的分布式计算原理
- 批准号：
RGPIN-2022-03304 - 财政年份：2022
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
- 批准号：
RGPIN-2014-05296 - 财政年份：2020
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
- 批准号：
RGPIN-2014-05296 - 财政年份：2017
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
- 批准号：
RGPIN-2014-05296 - 财政年份：2016
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
- 批准号：
RGPIN-2014-05296 - 财政年份：2015
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
Algorithms, abstractions and models for distributed computing.
分布式计算的算法、抽象和模型。
- 批准号：
RGPIN-2014-05296 - 财政年份：2014
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
On failure detection, leader election and abstruction-freedom
关于故障检测、领导者选举和自由劫持
- 批准号：
250468-2007 - 财政年份：2013
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
On failure detection, leader election and abstruction-freedom
关于故障检测、领导者选举和自由劫持
- 批准号：
250468-2007 - 财政年份：2010
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
On failure detection, leader election and abstruction-freedom
关于故障检测、领导者选举和自由劫持
- 批准号：
250468-2007 - 财政年份：2009
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
On failure detection, leader election and abstruction-freedom
关于故障检测、领导者选举和自由劫持
- 批准号：
250468-2007 - 财政年份：2008
- 资助金额：
$ 2.84万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
CNS Core: Small: Core Scheduling Techniques and Programming Abstractions for Scalable Serverless Edge Computing Engine
CNS Core：小型：可扩展无服务器边缘计算引擎的核心调度技术和编程抽象
- 批准号：
2322919 - 财政年份：2024
- 资助金额：
$ 2.84万 - 项目类别：
Standard Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业：物联网应用程序开发的编程抽象和形式推理
- 批准号：
2340479 - 财政年份：2024
- 资助金额：
$ 2.84万 - 项目类别：
Continuing Grant
CAREER: Investigating linguistic and cognitive abstractions for solving word problems in minds and machines
职业：研究语言和认知抽象以解决大脑和机器中的文字问题
- 批准号：
2339729 - 财政年份：2024
- 资助金额：
$ 2.84万 - 项目类别：
Continuing Grant
Low latency abstractions for extreme scale simulation.
用于极端规模模拟的低延迟抽象。
- 批准号：
2478907 - 财政年份：2024
- 资助金额：
$ 2.84万 - 项目类别：
Studentship
CAREER: Program Analysis with Precise Abstractions
职业：精确抽象的程序分析
- 批准号：
2237440 - 财政年份：2023
- 资助金额：
$ 2.84万 - 项目类别：
Continuing Grant
CAREER: FLEXIBLE HIERARCHICAL ABSTRACTIONS FOR ACTIONABLE VISUAL PERCEPTION
职业：灵活的层次抽象以实现可操作的视觉感知
- 批准号：
2239301 - 财政年份：2023
- 资助金额：
$ 2.84万 - 项目类别：
Continuing Grant
Using Modular Abstractions in Reinforcement Learning for Objective Specification and Discrete Reasoning
在强化学习中使用模块化抽象进行目标规范和离散推理
- 批准号：
547134-2020 - 财政年份：2022
- 资助金额：
$ 2.84万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Towards Practical Safety for State Abstractions in Reinforcement Learning
强化学习中状态抽象的实用安全
- 批准号：
534226-2019 - 财政年份：2021
- 资助金额：
$ 2.84万 - 项目类别：
Postgraduate Scholarships - Doctoral
Enabling FPGAs in new HPC heterogeneous systems through dataflow abstractions and enhanced flexibility
通过数据流抽象和增强的灵活性在新的 HPC 异构系统中启用 FPGA
- 批准号：
2608171 - 财政年份：2021
- 资助金额：
$ 2.84万 - 项目类别：
Studentship
RI: Medium: Learning MDP abstractions for Autonomous Systems using Variational Methods and Symmetry Groups
RI：中：使用变分方法和对称群学习自治系统的 MDP 抽象
- 批准号：
2107256 - 财政年份：2021
- 资助金额：
$ 2.84万 - 项目类别：
Standard Grant