刷新
{{item.name}}会员
Programming Methodology
编程方法论
基本信息
- 批准号：8103605
- 负责人：
- 金额：$ 34.65万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-07-01 至 1984-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
David Gries其他文献
Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm
Deutsch-Schorr-Waite 算法的两种无标签变体
- DOI：
10.1016/0020-0190(86)90024-4 - 发表时间：
1986 - 期刊：
- 影响因子：0.5
- 作者：
Mark C. Hamburg;David Gries - 通讯作者：
David Gries
Characterizations of certain classes of norms
- DOI：
10.1007/bf02165157 - 发表时间：
1967-05-01 - 期刊：
- 影响因子：2.200
- 作者：
David Gries - 通讯作者：
David Gries
The Schorr-Waite graph marking algorithm
- DOI：
10.1007/bf00289068 - 发表时间：
1979-09-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
General correctness: A unification of partial and total correctness
- DOI：
10.1007/bf00290146 - 发表时间：
1985-04-01 - 期刊：
- 影响因子：0.500
- 作者：
Dean Jacobs;David Gries - 通讯作者：
David Gries
Describing an algorithm by Hopcroft
- DOI：
10.1007/bf00264025 - 发表时间：
1973-06-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
David Gries的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('David Gries', 18)}}的其他基金
BPC-DP: Worlds for Information Technology and Science (WITS)
BPC-DP：信息技术和科学世界 (WITS)
- 批准号：
0634418 - 财政年份：2007
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY
IFIP 研讨会 (PROCOMET98)：1998 年 6 月 18-22 日，纽约长岛
- 批准号：
9714755 - 财政年份：1998
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
Software Engineering with a Transformational System
具有转型系统的软件工程
- 批准号：
9503319 - 财政年份：1995
- 资助金额：
$ 34.65万 - 项目类别：
Continuing grant
Development of a Teaching Laboratory for an Introductory Programming Course
编程入门课程教学实验室的开发
- 批准号：
9451507 - 财政年份：1994
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum
CISE 教育基础设施：重振计算机科学课程
- 批准号：
9214957 - 财政年份：1992
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
A New Programming Language and Environment
新的编程语言和环境
- 批准号：
8800465 - 财政年份：1988
- 资助金额：
$ 34.65万 - 项目类别：
Continuing grant
Coordinated Experimental Research on Systems for Constructing and Manipulating Complex Objects
构建和操纵复杂物体的系统的协调实验研究
- 批准号：
8521394 - 财政年份：1986
- 资助金额：
$ 34.65万 - 项目类别：
Continuing grant
Acquisition of Equipment for Computer Research
购置计算机研究设备
- 批准号：
8505451 - 财政年份：1985
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
Development and Implementation of a New Language
新语言的开发和实现
- 批准号：
8320274 - 财政年份：1984
- 资助金额：
$ 34.65万 - 项目类别：
Continuing Grant
Travel to Attend: 4th International Conference on Software Engineering; Munich, West Germany; Sept 17-19, 1979
出差参加：第四届软件工程国际会议；
- 批准号：
7916660 - 财政年份：1979
- 资助金额：
$ 34.65万 - 项目类别：
Standard Grant
相似海外基金
A Survey of existent traditional techniques for making ethnic clothes in 135 Myanmar ethnic groups and development of a methodology for optimal skill learning programming
对 135 个缅甸民族现有的民族服装制作传统技术的调查以及最佳技能学习计划方法的开发
- 批准号：
18H00967 - 财政年份：2018
- 资助金额：
$ 34.65万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Context-Oriented Programming Framework and Methodology for Robot Operating System
机器人操作系统面向上下文的编程框架和方法
- 批准号：
17K00079 - 财政年份：2017
- 资助金额：
$ 34.65万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2015
- 资助金额：
$ 34.65万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2014
- 资助金额：
$ 34.65万 - 项目类别：
Discovery Grants Program - Individual
A methodology for programming language design through general hygienic macro expansion
通过通用卫生宏扩展进行编程语言设计的方法
- 批准号：
26330079 - 财政年份：2014
- 资助金额：
$ 34.65万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Studies on methodology of development for spoken dialogue systems based on logic programming and functional programming
基于逻辑编程和函数式编程的口语对话系统开发方法研究
- 批准号：
25330193 - 财政年份：2013
- 资助金额：
$ 34.65万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2013
- 资助金额：
$ 34.65万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2012
- 资助金额：
$ 34.65万 - 项目类别：
Discovery Grants Program - Individual
CPA-CPL: A hardware-design inspired methodology for parallel programming
CPA-CPL：一种受硬件设计启发的并行编程方法
- 批准号：
0811696 - 财政年份：2008
- 资助金额：
$ 34.65万 - 项目类别：
Continuing Grant
A Unified Grid Programming Methodology for Global e-Science
全球电子科学的统一网格编程方法
- 批准号：
DP0773741 - 财政年份：2007
- 资助金额：
$ 34.65万 - 项目类别：
Discovery Projects