Workshop on Parallel Logic Programming and its Programming Environments; University of Oregon; Eugene, OR; March 4-6, l994
并行逻辑编程及其编程环境研讨会;
基本信息
- 批准号:9403574
- 负责人:
- 金额:$ 1.25万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-05-01 至 1994-10-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9403574 Tick This award is to support a workshop on Parallel Logic and Functional Programming and their Programming Environments, to be held in March 4-6, l994 at the University of Oregon, Eugene, Oregon. This workshop will host international researchers working in the area of parallel programming languages, compilers and environments. The participation of researchers from ICOT (Institute of New Generation Computer Technology) will be sponsored by ICOT. The workshop participants will participate in stimulating discussions on concurrent computations, concurrent run-time systems and concurrent programming environments for logic and functional programming languages. ***
9403574 Tick该奖项是为了支持一个关于并行逻辑和函数式编程及其编程环境的研讨会,该研讨会将于1994年3月4-6日在俄勒冈州尤金市的俄勒冈州大学举行。 该研讨会将接待在并行编程语言,编译器和环境领域工作的国际研究人员。 来自新一代计算机技术研究所(ICOT)的研究人员的参与将由ICOT赞助。 讲习班参加者将参加关于逻辑和函数编程语言的并行计算、并行运行时系统和并行编程环境的讨论。 ***
项目成果
期刊论文数量(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 }}
Evan Tick其他文献
Towards a pipelined Prolog processor
- DOI:
10.1007/bf03037325 - 发表时间:
1984-12-01 - 期刊:
- 影响因子:2.800
- 作者:
Evan Tick;David H. D. Warren - 通讯作者:
David H. D. Warren
Special issue on the Workshop on Parallel Logic Programming
- DOI:
10.1007/bf03037215 - 发表时间:
1996-03-01 - 期刊:
- 影响因子:2.800
- 作者:
Takashi Chikayama;Evan Tick - 通讯作者:
Evan Tick
Evan Tick的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Evan Tick', 18)}}的其他基金
U.S.-Western Europe Collaborative Research: Static Analysesand Implementations of Concurrent Logic Programs
美国-西欧合作研究:并发逻辑程序的静态分析和实现
- 批准号:
9413311 - 财政年份:1995
- 资助金额:
$ 1.25万 - 项目类别:
Standard Grant
Presidential Young Investigator Award: Parallel Logic Programming Architectures
总统青年研究员奖:并行逻辑编程架构
- 批准号:
9057930 - 财政年份:1990
- 资助金额:
$ 1.25万 - 项目类别:
Continuing Grant
相似国自然基金
强流低能加速器束流损失机理的Parallel PIC/MCC算法与实现
- 批准号:11805229
- 批准年份:2018
- 资助金额:27.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Large-scale parallel logic solvers and applications using complexity
使用复杂性的大规模并行逻辑求解器和应用程序
- 批准号:
18K18027 - 财政年份:2018
- 资助金额:
$ 1.25万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Parallel Logic Design Verification Based on Module Dependence
基于模块依赖的并行逻辑设计验证
- 批准号:
18500043 - 财政年份:2006
- 资助金额:
$ 1.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CISE Research Resources: Parallel Logic and Constraint Programming, with Applications to Planning and Web Accessibility
CISE 研究资源:并行逻辑和约束编程,以及规划和 Web 可访问性的应用
- 批准号:
0130887 - 财政年份:2001
- 资助金额:
$ 1.25万 - 项目类别:
Standard Grant
Parallel computing and multiple-valued logic
并行计算和多值逻辑
- 批准号:
41801-1997 - 财政年份:2000
- 资助金额:
$ 1.25万 - 项目类别:
Discovery Grants Program - Individual
VLSI Arithmetic Logic Schemes and Low-Power High-Performance Circuits for Parallel and Reconfigurable Computations
用于并行和可重构计算的 VLSI 算术逻辑方案和低功耗高性能电路
- 批准号:
0073469 - 财政年份:2000
- 资助金额:
$ 1.25万 - 项目类别:
Standard Grant
Parallel and Distributed Formal Logic Design Verification for Workstation Cluster System
工作站集群系统并行分布式形式逻辑设计验证
- 批准号:
12680361 - 财政年份:2000
- 资助金额:
$ 1.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Parallel computing and multiple-valued logic
并行计算和多值逻辑
- 批准号:
41801-1997 - 财政年份:1999
- 资助金额:
$ 1.25万 - 项目类别:
Discovery Grants Program - Individual
Set-Valued-Logic VLSI Architecture for Highly Parallel Computation
用于高度并行计算的集值逻辑 VLSI 架构
- 批准号:
10680329 - 财政年份:1998
- 资助金额:
$ 1.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Parallel computing and multiple-valued logic
并行计算和多值逻辑
- 批准号:
41801-1997 - 财政年份:1998
- 资助金额:
$ 1.25万 - 项目类别:
Discovery Grants Program - Individual
Parallel computing and multiple-valued logic
并行计算和多值逻辑
- 批准号:
41801-1997 - 财政年份:1997
- 资助金额:
$ 1.25万 - 项目类别:
Discovery Grants Program - Individual