课题基金 / 基金详情

Combining Imperative and Constraint Programming in Inter- active and Parallel Computing

Combining Imperative and Constraint Programming in Inter- active and Parallel Computing
在交互式和并行计算中结合命令式和约束式编程
批准号:
9111121
负责人:
Bradley Vander Zanden
金额:
$7.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-08-01 至 1994-01-31

项目摘要

项目成果

Bradley Vander Zanden的其他基金

相似基金

相关文献

中文摘要
翻译
交互式和并行计算的快速发展并没有伴随着支持这些模型的语言的类似发展。 本研究旨在研究基于声明性范例的并行应用程序编程模型,该模型具有具有流行电子表格编程模型特征的接口。 它包括多路约束和当约束改变变量值时可以触发的操作过程。 它将支持通用编程,并处理控制流问题,这在并行处理的大型项目中变得很困难。 电子表格模型的一个重要优点是,它明显远离了传统的批处理方法来制作界面。 这是向界面设计的交互式环境迈出的一步,使最终用户能够控制开发过程。 此外,它提供了一种直接以交互方式对并行进程进行编程的机制。 电子表格接口本身并不采用特定的底层并行处理器架构。 同样,它不需要用户指定控制流的细节,这对于并行处理来说是一个严重的问题。 交互式功能还可以处理并行处理的控制流,预计将极大地影响工业设计周期,特别是对于大型项目。
英文摘要
The rapid evolution of interactive and parallel computing has not been accompanied by a similar evolution of languages to support these models. This research is to investigate a programming model for parallel applications based on a declarative paradigm that has an interface with characteristics of popular spreadsheet model of programming. It includes multi-ways constraints and action procedures that can be triggered when constraints change the values of variables. It will support general purpose programming and will handle flow-of-control problems which become difficult in large projects with parallel processing. An important advantage of the spreadsheet model is that it is a clear step away from the traditional batch processing approach to the production of interfaces. It is a step toward an interactive environment for interface design which gives the end user control of the development process. Furthermore, it provides a mechanism for programming parallel processes directly in an interactive manner. The spreadsheet interface does not itself assume a specific underlying parallel processor architecture. Likewise, it does not require the user to specify the details of flow-of- control, a serious problem for parallel processing. An interactive capability, which also handles flow-of-control for parallel processing, is expected to impact industrial design cycles dramatically, particularly for large projects.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
III: Small: Reducing The Graphical User Interface's Consumption of Power on Mobile Devices
  • 批准号:
    1617198
  • 项目类别:
    Standard Grant
  • 资助金额:
    $38.43万
  • 财政年份:
    2016
  • 负责人:
    Bradley Vander Zanden
  • 依托单位:
New Visualization and Debugging Technology for One-Way, Dataflow Constraints
  • 批准号:
    9970958
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.0万
  • 财政年份:
    1999
  • 负责人:
    Bradley Vander Zanden
  • 依托单位:
Adaptive, Profile-Based Compilation of Highly Interactive, Graphical Applications by Demonstration
  • 批准号:
    9633624
  • 项目类别:
    Standard Grant
  • 资助金额:
    $17.37万
  • 财政年份:
    1996
  • 负责人:
    Bradley Vander Zanden
  • 依托单位:
An Interactive Whiteboard Environment
  • 批准号:
    9312570
  • 项目类别:
    Continuing grant
  • 资助金额:
    $8.5万
  • 财政年份:
    1994
  • 负责人:
    Bradley Vander Zanden
  • 依托单位:
海外基金