首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   25篇
  免费   1篇
  国内免费   1篇
综合类   1篇
自动化技术   26篇
  2020年   1篇
  2015年   1篇
  2014年   1篇
  2013年   2篇
  2010年   2篇
  2009年   2篇
  2007年   4篇
  2006年   2篇
  2005年   7篇
  2004年   1篇
  2003年   1篇
  2001年   1篇
  1995年   2篇
排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
With the boom of Networks and Internet, more and more applications have an inherent distributed character. Distributed functional language can support high-level distributed coordination with automatic management of many coordination aspects, due to its features like good abstraction mechanisms, a high-level computation language, and sophisticated type system. This paper briefly reviews the features and benefits of functional language Glasgow distributed Haskell (GdH). It also compares GdH with object-oriented distributed languages. It concludes that GdH potentially offers significant benefits for constructing high-level distributed coordination.  相似文献   
2.
This paper presents a practical evaluation and comparison of three state-of-the-art parallel functional languages. The evaluation is based on implementations of three typical symbolic computation programs, with performance measured on a Beowulf-class parallel architecture.We assess three mature parallel functional languages: PMLS, a system for implicitly parallel execution of ML programs; GPH, a mainly implicit parallel extension of Haskell; and Eden, a more explicit parallel extension of Haskell designed for both distributed and parallel execution. While all three languages employ a completely implicit approach to communication, each language takes a different approach to specifying and controlling parallelism, ranging from explicit identification of processes as language constructs (Eden) through annotation of potential parallelism (GPH) to automatic detection of parallel skeletons in sequential code (PMLS).We present detailed performance measurements of all three systems on a widely available parallel architecture: a Beowulf cluster of low-cost commodity workstations. We use three representative symbolic applications: a matrix multiplication algorithm, an exact linear system solver, and a simple ray-tracer. Our results show how moderate speedups can be achieved with little or no changes to the sequential code, and that parallel performance can be significantly improved even within our high-level model of parallel functional programming by controlling key aspects of the program such as load distribution and thread granularity.  相似文献   
3.
Multimedia document authoring is a multifaceted activity, and authoring tools tend to concentrate on a restricted set of the activities involved in the creation of a multimedia artifact. In particular, a distinction may be drawn between the design and the implementation of a multimedia artifact.This paper presents a comparison of three different authoring paradigms, based on the common case study of a simple interactive animation. We present details of its implementation using the three different authoring tools, MCF, Fran and SMIL 2.0, and we discuss the conclusions that may be drawn from our comparison of the three approaches.Simon Thompson is grateful to the British Council for its funding of travel in support of the work reported here.Supported by an individual research grant from NSERC. This author’s research was performed, in part, at LIRMM, Montpellier, France.Supported by an individual research grant from NSERC.  相似文献   
4.
Haskell语言的高阶特性及其应用   总被引:4,自引:2,他引:4  
Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。  相似文献   
5.
Haskell语言的列表内涵特性及其应用   总被引:6,自引:1,他引:6  
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却简短优美的程序。  相似文献   
6.
We demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool for a complete (functional) programming language, and to show the API which HaRe provides for building source-level program transformations for Haskell. We comment on the challenges presented by the construction of this and similar tools for language frameworks and processors.  相似文献   
7.
We present a purely functional implementation of the computational differentiation tools—the well known numeric (i.e., not symbolic) techniques which permit one to compute point-wise derivatives of functions defined by computer programs economically and exactly (with machine precision). We show how the use of lazy evaluation permits a transparent and elegant construction of the entire infinite tower of derivatives of higher order for any expressions present in the program. The formalism may be useful in various problems of scientific computing which often demand a hard and ungracious human preprocessing before writing the final code. Some concrete examples are given.  相似文献   
8.
数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.  相似文献   
9.
One of the most novel features in the functional programming language Haskell is the system oftype classes used to support a combination of overloading and polymorphism. Current implementations of type class overloading are based on the use ofdictionary values, passed as extra parameters to overloaded functions. Unfortunately, this can have a significant effect on run-time performance, for example, by reducing the effectiveness of important program analyses and optimizations.This paper describes how a simple partial evaluator can be used to avoid the need for dictionary values at run-time by generating specialized versions of overloaded functions. This eliminates the run-time costs of overloading. Furthermore, and somewhat surprisingly given the presence of multiple versions of some functions, for all of the examples that we have tried so far, specialization actually leads to a reduction in the size of compiled programs.This work was carried out while the author was a member of the Department of Computer Science, Yale University, and was supported in part by a grant from ARPA, contract number N00014-91-J-4043.  相似文献   
10.
多种范型程序设计中递归问题的探讨   总被引:1,自引:0,他引:1  
通过几种不同范型程序设计语言(Ada、Haskell.Prolog、Smalltalk)的简要介绍、分析和研究较常见的递归算法思想,从而了解不0同范型程序设计语言的程序设计风格、特点和解决问题的思路。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号