An Efficient Linear Language for Parallel Symbolic Processing
一种用于并行符号处理的高效线性语言
基本信息
- 批准号:9261682
- 负责人:
- 金额:$ 5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1993
- 资助国家:美国
- 起止时间:1993-01-01 至 1993-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Next-generation intelligent systems and robots will require the power of parallel computer, yet most novel parallel languages are geared primarily for numerical calculation--e.g., signal processing--in which the data values are elementary numerical samples. These models of computation fail miserably for calculations involving the highly-structured symbolic data required for artificial intelligence application. A "linear" language provides an elegant and intuitive "mechanical" model of parallel computation in which structured values are transmitted as simply as elementary values. These "linear" data structures retain the ability to transmit highly structured information, yet avoid the problems of aliasing and sharing. The efficiency of existing linear language promising new implementation techniques. In Phase I, we will investigate the ability of our novel implementation approach to provide most of the efficiency of nonlinear shared data structures while preserving the elegant linear data model. If successful, our Phase II implementation of a parallel linear language will provide efficient execution, together with an elegant and intuitive programming model. This combination should increase the productivity of software development for intelligent applications utilizing MIMD parallel computers.//
下一代智能系统和机器人将需要并行计算机的能力,然而大多数新的并行语言主要用于数值计算。信号处理——其中数据值是初等数值样本。这些计算模型在涉及人工智能应用所需的高度结构化符号数据的计算中惨败。“线性”语言提供了一种优雅而直观的并行计算“机械”模型,其中结构化值像基本值一样简单地传递。这些“线性”数据结构保留了传输高度结构化信息的能力,同时避免了混叠和共享的问题。现有线性语言的效率带来了新的实现技术。在第一阶段,我们将研究我们的新实现方法的能力,以提供非线性共享数据结构的大部分效率,同时保留优雅的线性数据模型。如果成功,我们的并行线性语言的第二阶段实现将提供高效的执行,以及优雅和直观的编程模型。这种组合将提高利用MIMD并行计算机的智能应用软件开发的生产力。//
项目成果
期刊论文数量(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 }}
Henry Baker其他文献
Henry Baker的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Henry Baker', 18)}}的其他基金
SBIR Phase II: Epipolar-Plane Imaging for Robot 3D Vision
SBIR 第二阶段:机器人 3D 视觉的极面成像
- 批准号:
2242216 - 财政年份:2023
- 资助金额:
$ 5万 - 项目类别:
Cooperative Agreement
SBIR Phase I: A Passive Alternative to LiDAR for Automotive 3D Ranging
SBIR 第一阶段:用于汽车 3D 测距的激光雷达的无源替代方案
- 批准号:
2015152 - 财政年份:2020
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
SBIR Phase I: Fingertip Ranging with Micro Light-Field Cameras
SBIR 第一阶段:使用微光场相机进行指尖测距
- 批准号:
1648388 - 财政年份:2016
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Combinatorial Interactions Among Eukaryotic Transcriptional Factors
真核转录因子之间的组合相互作用
- 批准号:
9816990 - 财政年份:1999
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
Combinatorial Interactions among Eukaryotic Transcription Factors
真核转录因子之间的组合相互作用
- 批准号:
9404721 - 财政年份:1994
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
相似国自然基金
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
相似海外基金
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
- 批准号:
1816812 - 财政年份:2018
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
- 批准号:
1917924 - 财政年份:2018
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Increased executive function helps during language switching in bilingual language production: Evidence from eye movements and linear mixed effects models
增强的执行功能有助于双语语言生成中的语言切换:来自眼球运动和线性混合效应模型的证据
- 批准号:
426394-2012 - 财政年份:2013
- 资助金额:
$ 5万 - 项目类别:
Postgraduate Scholarships - Doctoral
Increased executive function helps during language switching in bilingual language production: Evidence from eye movements and linear mixed effects models
增强的执行功能有助于双语语言生成中的语言切换:来自眼球运动和线性混合效应模型的证据
- 批准号:
426394-2012 - 财政年份:2012
- 资助金额:
$ 5万 - 项目类别:
Postgraduate Scholarships - Doctoral
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
- 批准号:
0098228 - 财政年份:2001
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
- 批准号:
0228901 - 财政年份:2001
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
- 批准号:
0228951 - 财政年份:2001
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
- 批准号:
9988312 - 财政年份:2000
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Design and system development of a programming language based on a temporal linear logic
基于时序线性逻辑的编程语言的设计与系统开发
- 批准号:
11680359 - 财政年份:1999
- 资助金额:
$ 5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Applications of Type Theory and Linear Logic to Programming Language Theory
类型论和线性逻辑在编程语言理论中的应用
- 批准号:
10044094 - 财政年份:1998
- 资助金额:
$ 5万 - 项目类别:
Grant-in-Aid for Scientific Research (A).














{{item.name}}会员




