刷新
{{item.name}}会员
Semantic Foundations For Structured Programming
结构化编程的语义基础
基本信息
- 批准号：7421892
- 负责人：
- 金额：$ 25.44万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1975
- 资助国家：美国
- 起止时间：1975-04-01 至 1979-11-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 }}
Barbara Liskov其他文献
A technique for constructing highly available services
- DOI：
10.1007/bf01762124 - 发表时间：
1988-11-01 - 期刊：
- 影响因子：0.700
- 作者：
Rivka Ladin;Barbara Liskov;Liuba Shrira - 通讯作者：
Liuba Shrira
Lazy modular upgrades in persistent object stores
持久对象存储中的惰性模块化升级
- DOI：
10.1145/949305.949341 - 发表时间：
2003 - 期刊：
- 影响因子：0
- 作者：
Chandrasekhar Boyapati;Barbara Liskov;L. Shrira;Chuang;Steven Richman - 通讯作者：
Steven Richman
Collecting cyclic distributed garbage by controlled migration
- DOI：
10.1007/s004460050026 - 发表时间：
1997-02-01 - 期刊：
- 影响因子：2.100
- 作者：
Umesh Maheshwari;Barbara Liskov - 通讯作者：
Barbara Liskov
Specifications of distributed programs
- DOI：
10.1007/bf01786229 - 发表时间：
1986-06-01 - 期刊：
- 影响因子：2.100
- 作者：
Barbara Liskov;William Weihl - 通讯作者：
William Weihl
Barbara Liskov的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Barbara Liskov', 18)}}的其他基金
CSR: Medium: Collaborative Research: Fast and Simple Concurrency Through Data-Abstraction Transactions
CSR：媒介：协作研究：通过数据抽象事务实现快速而简单的并发
- 批准号：
1513447 - 财政年份：2015
- 资助金额：
$ 25.44万 - 项目类别：
Standard Grant
CSR-DMSS, SM: Aeolus: Secure Support for Preserving Confidentiality and Integrity in a Distributed Environment
CSR-DMSS、SM：Aeolus：在分布式环境中保护机密性和完整性的安全支持
- 批准号：
0834239 - 财政年份：2008
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant
ITR: Collaborative Research: (ASE+NHS) - (int): BFT-LS: Byzantine Fault Tolerance for Large-Scale, High-Performance Distributed Storage Systems
ITR：协作研究：(ASE NHS) - (int)：BFT-LS：大规模、高性能分布式存储系统的拜占庭容错
- 批准号：
0428107 - 财政年份：2004
- 资助金额：
$ 25.44万 - 项目类别：
Continuing grant
Support for Data Sharing in a Heterogeneous Distributed System.
支持异构分布式系统中的数据共享。
- 批准号：
8822158 - 财政年份：1989
- 资助金额：
$ 25.44万 - 项目类别：
Continuing grant
Issues in Fault-Tolerent Distributed Programs
容错分布式程序中的问题
- 批准号：
8503662 - 财政年份：1986
- 资助金额：
$ 25.44万 - 项目类别：
Continuing grant
Issues in Fault-Tolerant Distributed Programs (Computer Research)
容错分布式程序中的问题（计算机研究）
- 批准号：
8203486 - 财政年份：1982
- 资助金额：
$ 25.44万 - 项目类别：
Continuing grant
相似海外基金
Mathematical Foundations of Intelligence: An "Erlangen Programme" for AI
智能的数学基础：人工智能的“埃尔兰根计划”
- 批准号：
EP/Y028872/1 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Research Grant
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Research Grant
Statistical Foundations for Detecting Anomalous Structure in Stream Settings (DASS)
检测流设置中的异常结构的统计基础 (DASS)
- 批准号：
EP/Z531327/1 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Research Grant
Social Foundations of Cryptography
密码学的社会基础
- 批准号：
EP/X017524/1 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Research Grant
Collaborative Research: AF: Medium: Foundations of Oblivious Reconfigurable Networks
合作研究：AF：媒介：遗忘可重构网络的基础
- 批准号：
2402851 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant
Conference: Theory and Foundations of Statistics in the Era of Big Data
会议：大数据时代的统计学理论与基础
- 批准号：
2403813 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Standard Grant
CAREER: Statistical foundations of particle tracking and trajectory inference
职业：粒子跟踪和轨迹推断的统计基础
- 批准号：
2339829 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant
CAREER: Architectural Foundations for Practical Privacy-Preserving Computation
职业：实用隐私保护计算的架构基础
- 批准号：
2340137 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant
CAREER: Foundations, Algorithms, and Tools for Browser Invalidation
职业：浏览器失效的基础、算法和工具
- 批准号：
2340192 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant
CAREER: Foundations of semi-infinite and equilibrium constrained optimization
职业：半无限和平衡约束优化的基础
- 批准号：
2340858 - 财政年份：2024
- 资助金额：
$ 25.44万 - 项目类别：
Continuing Grant