刷新
{{item.name}}会员
Abstraction, Inspection and Debugging in Programming
编程中的抽象、检查和调试
基本信息
- 批准号：8117633
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1982
- 资助国家：美国
- 起止时间：1982-02-01 至 1985-07-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 }}
Gerald Sussman其他文献
Gerald Sussman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Gerald Sussman', 18)}}的其他基金
CSR: SHF: Small: Propagator-Based Computing, A Programming Foundation for Decentralized Systems
CSR：SHF：小型：基于传播器的计算，去中心化系统的编程基础
- 批准号：
1116294 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Standard Grant
Workshop on The Living Heritage of Artificial Intelligence
人工智能活遗产研讨会
- 批准号：
0740093 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Standard Grant
Bio-QuBIC: Robust Engineering using Biologically-Inspired Models of Cell Differentiation and Morphogenesis
Bio-QuBIC：使用细胞分化和形态发生的生物启发模型进行稳健的工程
- 批准号：
0130391 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Standard Grant
Programming-Language Structures for Representing and Optimizing Operating-System Resources
用于表示和优化操作系统资源的编程语言结构
- 批准号：
9633438 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
The Supercomputer Toolkit: Towards a General Theory of Special Computing
超级计算机工具包：迈向特殊计算的一般理论
- 批准号：
9001651 - 财政年份：1990
- 资助金额：
-- - 项目类别：
Continuing Grant
Computer Aided Evolutionary Design For Software Engineering
软件工程计算机辅助进化设计
- 批准号：
7912179 - 财政年份：1979
- 资助金额：
-- - 项目类别：
Continuing Grant
相似海外基金
SBIR Phase II: Innovative Glass Inspection for Advanced Semiconductor Packaging
SBIR 第二阶段：先进半导体封装的创新玻璃检测
- 批准号：
2335175 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Cooperative Agreement
PFI-TT: Vine Robots for In-Pipe Navigation and Inspection of Critical Infrastructure
PFI-TT：用于管道内导航和关键基础设施检查的 Vine 机器人
- 批准号：
2345769 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
SBIR Phase I: CAS: Tree Root Quality Inspection System with Noninvasive Evaluation
SBIR 第一阶段：CAS：带无创评估的树根质量检测系统
- 批准号：
2333948 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
LOTIS - Lidar fOr deTailed Inspection of underwater Structures
LOTIS - 用于水下结构详细检查的激光雷达
- 批准号：
10089064 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Collaborative R&D
Automated Digital Inspection for Asset Lifecycle Certification
资产生命周期认证的自动化数字检查
- 批准号：
2907093 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Studentship
AI and Hyperspectral Imaging based Non-Destructive inspection for Advancing Peat Use Efficiency in Whisky Production: A Feasibility Study
基于人工智能和高光谱成像的无损检测提高威士忌生产中泥炭的使用效率：可行性研究
- 批准号：
10081207 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Collaborative R&D
An AI based ultrasonic array inspection of surface breaking defects resided on corroded and uneven surfaces
基于人工智能的超声波阵列检测腐蚀和不平坦表面上的表面破裂缺陷
- 批准号：
2887816 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Studentship
SCC-PG: Sustainable Vertiports for Bringing Autonomous Drone Swarm Inspection to Oil and Gas Industry Community
SCC-PG：可持续垂直起落机场为石油和天然气行业带来自主无人机群检查
- 批准号：
2323050 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
SBIR Phase II: Rapid-scanning Ultrafast Imaging Microscope for Material Inspection
SBIR 第二阶段：用于材料检测的快速扫描超快成像显微镜
- 批准号：
2208201 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Cooperative Agreement
SBIR Phase I: Autonomous Inspection Robot for Seal Inspection of Floating Roof Storage Tanks
SBIR第一期：用于浮顶储罐密封检查的自主检查机器人
- 批准号：
2233637 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant