检索结果-内蒙古大学图书馆

A framework for goal-directed bottom-up evaluation of functional logic programs 5th

5th international symposium on functional and logic programming, FLOPS 2001

作者： Almendros-Jiménez, Jesús M. Becerra-Terón, Antonio Dpto. de Lenguajes y Computación Universidad de Almería Almería04120 Spain

ISBN: (纸本)3540417397

In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the development of an operational semantics based on bottom-up evaluation for functional logic languages. As in the logic paradigm, the bottom-up evaluation will consist in a magic transformation for a given program-query into a magic program-query for which the bottom-up evaluation will simulate the top-down one of the original program. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Intelligent databases

来源：评论

学校读者我要写书评

暂无评论

the Logistical Session Layer

The Logistical Session Layer

引用

international symposium on High Performance Distributed Computing

作者： D.M. Swany R. Wolski Computer Science Department University of Tennessee Knoxville TN USA

the Logistical Session Layer is a system to enable enhanced functionality to distributed programming systems. the term Logistical refers to the fact that we enhance the traditional client-server model to allow for intermediate systems which are neither. this system generalizes the notion of caches but represents a cleaner architecture in that it explicitly declares itself to be a session layer protocol.

关键词： Distributed computing Logistics Computer networks Communication system control Grid computing Bandwidth Computer science functional programming Access protocols Collaborative work

来源：评论

学校读者我要写书评

暂无评论

A transformation system for lazy functional logic programs 4th

A transformation system for lazy functional logic programs

引用

4th Fuji international symposium on functional and logic programming (FLOPS 99)

作者： Alpuente, M Falaschi, M Moreno, G Vidal, G Univ Politecn Valencia DSIC Valencia 46022 Spain Univ Udine Dipartimento Matemat & Informat I-33100 Udine Italy UCLM Dept Informat Albacete 02071 Spain

ISBN: (纸本)354066677X

Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We define a transformation methodology for functional logic programs based on needed narrowing. We provide (strong) correctness results for the transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing -namely, the optimality w.r.t. the length of derivations and the number of computed solutions- carry over to the transformation process and the transformed programs. We illustrate the power of the system by taking on in our setting two well-known transformation strategies (composition and tupling). We also provide an implementation of the transformation system which, by means of some experimental results, highlights the benefits of our approach.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Implementing a non-strict functional programming language on a threaded architecture 13th

引用

13th international Parallel Processing symposium, IPPS 1999 Held in Conjunction with the 10th symposium on Parallel and Distributed Processing, SPDP 1999

作者： Kusakabet, Shigeru Inenagat, Kentaro Amamiya, Makoto Tang, Xinan Marquez, Andres Gao, Guang R. Dept. of Intelligent Systems Kyushu University Japan EE and CE Dept University of Delaware United States

ISBN: (纸本)3540658319

the combination of a language with fine-grain implicit parallelism and a dataflow evaluation scheme is suitable for high-level programming on massively parallel architectures. We are developing a compiler of V, a non-strict functional programming language, for EARth(Efficient Architecture for Running threads). Our compiler generates co des in threaded-C, which is a lower-level programming language for EARth. We have developed translation rules, and integrated them into the compiler. Since overhead caused by fine-grain processing may degrade performance for programs with little parallelism, we have adopted a thread merging rule. the preliminary performance results are encouraging. Although further improvement is required for non-strict data-structures, some codes generated from V programs by our compiler achieved comparable performance with the performance of hand-written threaded-C codes. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

11th IPPS/SPDP 1999 Workshops Held in Conjunction with the 13th international Parallel Processing symposium and 10th symposium on Parallel and Distributed Processing, 1999

引用

13th international Parallel Processing symposium, IPPS 1999 Held in Conjunction with the 10th symposium on Parallel and Distributed Processing, SPDP 1999

ISBN: (纸本)3540658319

the proceedings contain 137 papers. the special focus in this conference is on High-Level Parallel programming Models and Supportive Environments. the topics include: Efficient program partitioning based communication;a flexible base for transparent shared memory programming models on clusters of PCs;flexible collective operations for distributed object groups;a framework for performance evaluation of scalable computing;recursive individually distributed objects;a flexible combination of on-stack execution and work-stealing;an automatic distribution front-end for java;concurrent language support for interoperable applications;on the distributed implementation of aggregate data structures by program transformation;a transformational framework for skeletal programs;implementing a non-strict functional programming language on a threaded architecture;the biological basis of the immune system as a model for intelligent agents;a formal definition of the phenomenon of collective intelligence and its IQ measure;implementation of data flow logical operations via self-assembly of DNA;a parallel hybrid evolutionary metaheuristic for the period vehicle routing problem;distributed scheduling with decomposed optimization criterion;a parallel genetic algorithm for task mapping on parallel machines;evolution-based scheduling of fault-tolerant programs on multiple processors;a genetic-based fault-tolerant routing strategy for multiprocessor networks;regularity considerations in instance-based locality optimization;parallel ant colonies for combinatorial optimization problems;an analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic islands and GA-based parallel image registration on parallel clusters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

COWL: Copy-On-Write for logic programs

COWL: Copy-On-Write for logic programs

引用

international symposium on Parallel Processing

作者： V.S. Costa LIACC & DCC-FCUP Universidade do Porto Portugal

In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programming systems would like to exploit maximum parallelism for existing and novel applications, ideally by supporting both and-parallelism and or-parallelism. Unfortunately, the combination of both forms of parallelism is a hard problem, and available proposals cannot match the efficiency of, say, or-parallel only systems. We propose a novel approach to And/Or Parallelism in logic programs. Our initial observation is that stack copying, the most popular technique in or-parallel systems, does not work well with And/Or systems because memory management is much more complex. Copying is also a significant problem in operating systems where the copy-on-write (COW) has been developed to address the problem. We demonstrate that this technique can also be applied to And/Or systems, and present both shared memory and distributed shared memory designs.

关键词： Parallel processing logic programming Operating systems Proposals Memory management Electronic switching systems programming profession Digital audio players

来源：评论

学校读者我要写书评

暂无评论

COWL: Copy-on-write for logic programs

Proceedings of the International Parallel Processing Symposi...

引用

Proceedings of the international Parallel Processing symposium, IPPS 1999年 720-727页

作者： Costa, Vitor Santos Universidade do Porto Porto Portugal

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Optimization rules for programming with collective operations

Optimization rules for programming with collective operation...

引用

international symposium on Parallel Processing

作者： S. Gorlatch C. Wedler C. Lengauer Fakultät für Mathematik und Informatik Universität Passau Passau Germany

We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a formal framework for reasoning about collective operations; (2) a set of optimization rules which save communications by fusing several collective operations into one; (3) performance estimates, which guide the application of optimization rules depending on the machine characteristics; (4) a simple case study with machine experiments.

关键词： Broadcasting Concurrent computing Parallel processing Parallel languages Computer architecture functional programming Parallel programming Libraries programming environments Hardware

来源：评论

学校读者我要写书评

暂无评论

Mechanisms for just-in-time allocation of resources to adaptive parallel programs

Mechanisms for just-in-time allocation of resources to adapt...

引用

international symposium on Parallel Processing

作者： A. Baratloo A. Itzkovitz Z.M. Kedem Y. Zhao Department of Computer Science Courant Institute of Mathematical Sciences New York University USA

Adaptive parallel computations-computations that can adapt to changes in resource availability and requirement-can effectively use networked machines because they dynamically expand as machines become available and dynamically acquire machines as needed. While most parallel programming systems provide the means to develop adaptive programs, they do not provide any functional interface to external resource management systems. thus no existing resource management system has the capability to manage resources on commodity system software, arbitrating the demands of multiple adaptive computations written using diverse programming environments. this paper presents a set of novel mechanisms that facilitate dynamic allocation of resources to adaptive parallel computations. the mechanisms are built on low-level features common to many programming systems, and unique in their ability to transparently manage multiple adaptive parallel programs that were not developed to have their resources managed by external systems. We also describe the design and the implementation of the initial prototype of ResourceBroker, a resource management system built to validate these mechanisms.

关键词： Resource management Availability Concurrent computing Parallel programming Computer science Environmental management programming environments Identity-based encryption Prototypes Master-slave

来源：评论

学校读者我要写书评

暂无评论

Software development and testing methodology used for subscriber digital concentrator ACK-2000

Software development and testing methodology used for subscr...

引用

international symposium on Software Reliability Engineering (ISSRE)

作者： M. Popovic V. Kovacevic D.M. Skrbic Department for Computers & Control University of Novi Sad Novi Sad Serbia IBC-TEL Limited Moscow Russia

the paper presents a software development and testing methodology, which was used for the new version of the subscriber digital concentrator ACK-2000. this concentrator was developed for the Russian telecommunication network. During the development process special attention was paid to precise software specification, professional implementation, and testing/redesign, in order to reach the given criterion of 0.1% of unsuccessful calls. the tests, which were conducted, include functional tests and real-time load tests, with the real exchange and the call generator connected to the subscriber lines. the results of these tests and software reliability analysis are reported.

关键词： programming Software testing Communication system signaling Automata Software maintenance Pulse measurements Current measurement Charge measurement Software reliability Automatic testing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：