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

international symposium on Symbolic and Algebraic Computation, ISSAC 2006

作者： Filatei, Akpodigha Li, Xin Maza, Marc Moreno Schost, Éric London Ont. Canada LIX École Polytechnique 91128 Palaiseau France

ISBN: (纸本)1595932763

Though there is increased activity in the implementation of asymptotically fast polynomial arithmetic, little is reported on the details of such effort. In this paper, we discuss how we achieve high performance in implementing some well-studied fast algorithms for polynomial arithmetic in two high-level programming environments, AXIOM and ALDOR. Two approaches are investigated. With ALDOR we rely only on high-level generic code, whereas with AXIOM we endeavor to mix high-level, middle-level and low-level specialized code. We show that our implementations are satisfactory compared with other known computer algebra systems or libraries such as MAGMA v2.11-2 and NTL v5.4. Copyright 2006 ACM.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

A portable grid infrastructure for resource-aware applications 06

A portable grid infrastructure for resource-aware applicatio...

引用

6th IEEE international symposium on Cluster Computing and the Grid (CCGRID 2006)

作者： Wegiel, Michal Czajkowski, Grzegorz Daynes, Laurent Palacz, Krzysztof Sun Microsyst Labs Palo Alto CA 94303 USA

ISBN: (纸本)0769525857

Modern, resource-intensive enterprise and scientific applications are increasingly architected using parallel and distributed components deployed on grid platforms. Grid environments are typically heterogeneous and subject to large load variations. Such characteristics require a portable programming infrastructure and comprehensive support for resource management as well as dynamic adaptation to varying resource availability. Resource-aware applications pro-actively monitor and dynamically adapt their behavior to accommodate to changing resource consumption constraints. Strategies such as internal load-balancing and job resubmission can correct sub-optimal scheduling decisions and thus enhance performance. As utilizing the potential of resource awareness requires close interaction with resource management subsystems, implementations often rely on low-level, platform-specific features, which impairs portability. What is needed is uncompromised portability of all aspects of resource management in grid systems. We demonstrate that the Java platform, equipped with the APIs for distributed resource management, can be used for building a portable grid infrastructure. In particular, we describe the design and implementation of a cluster management system capable of controlled execution of parallel, resource aware, Java applications. We empirically show that our solution allows for efficient, fine-grained resource management, sufficient for tapping the performance benefits promised by the resource-conscious applications.

关键词： Resource management Java Collision mitigation Sun Load management Dynamic programming Monitoring Laboratories Availability Buildings

来源：评论

学校读者我要写书评

暂无评论

Limit of TLS execution of sequential programs on clusters

Limit of TLS execution of sequential programs on clusters

引用

international symposium on Performance Evaluation of Computer and Telecommunication systems 2006, SPECTS 2006, Part of the 2006 Summer Simulation Multiconference, SummerSim 2006

作者： Puiggali, Joan Jové, Teo Salanova, Salvador Marzo, Josep Lluís University of Girona 17071 Girona Spain

ISBN: (纸本)9781622763535

Speculation techniques in the design of superscalar processors and multiprocessors allow processors to divide a program's execution automatically and dynamically into several execution threads. They also increase the degree of parallelism of a program thanks to speculation on data and control dependences. However, cluster based systems allow parallel programs to be executed based on packages such as PVM and MPI. These packages need explicit parallel programming and do not have provisions for automatic parallelisation or speculation. These two previous premises together with Moore's law (processing power doubles every 18 months) and Gilder's law (bandwidth triples every 12 months) make the idea of transporting speculation techniques to a distributed environment of a low cost workstation possible. To do this, we should be able to divide programs and build a graph of instruction blocks, where the input and output data of each block is known. Exploiting existing parallelism and using speculation techniques should provide better performance than sequential execution on a single workstation. In this paper we analyse the viability of the described proposal using simulations.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Bargaining over multiple issues in finite horizon alternating-offers protocol

引用

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年第3-4期47卷 251-271页

作者： Di Giunta, Francesco Gatti, Nicola Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we provide an algorithm to compute it. The equilibrium is determined by making a novel use of backward induction together with convex programming techniques in multi issue settings. We show that the agents reach an agreement immediately and that such an agreement is Pareto efficient. Furthermore, we prove that, when the multi issue utility functions are linear, the problem of computing the equilibrium is tractable and the related complexity is polynomial with the number of issues and linear with the deadline of bargaining.

关键词： game theory multiagent systems automated negotiation convex programming

来源：评论

学校读者我要写书评

暂无评论

MPEG-2 decoding in a stream programming language 20

MPEG-2 decoding in a stream programming language

引用

20th IEEE international Parallel and Distributed Processing symposium, IPDPS 2006

作者： Drake, Matthew Hoffmann, Hank Rabbah, Rodric Amarasinghe, Saman Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory United States

ISBN: (纸本)1424400546

Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncommon however that developers create and customize separate coder and decoder implementations for each of the architectures they target. This practice is time consuming and error prone, leading to code that is neither malleable nor portable. This paper describes an implementation of the MPEG-2 decoder using the StreamIt programming language. Streamlt is an architecture-independent stream language that aims to improve programmer productivity, while concomitantly exposing the inherent parallelism and communication topology of the application. The paper shows that MPEG is a good match for the streaming programming model and illustrates the malleability of the implementation using a simple modification to the decoder to support alternate color compression formats. StreamIt allows for modular application development, which increases code reuse, and reduces the complexity of the debugging process since stream components can be verified independently. This in turn leads to greater programmer productivity. © 2006 IEEE.

关键词： Image compression

来源：评论

学校读者我要写书评

暂无评论

Compensating indirect scattering for immersive and semi-immersive projection displays

Compensating indirect scattering for immersive and semi-imme...

引用

IEEE Virtual Reality 2006 Conference

作者： Bimber, Oliver Grundhoefer, Anselm Zeidler, Thomas Danch, Daniel Kapakos, Pedro Bauhaus-University Weimar Germany

ISBN: (纸本)1424402239

We present a real-time reverse radiosity method for compensating indirect scattering effects that occur with immersive and semi-immersive projection displays. It computes a numerical solution directly on the GPU and is implemented with pixel shading and multi-pass rendering which together realizes a Jacobi solver for sparse matrix linear equation systems. Our method is validated and evaluated based on a stereoscopic two-sided wall display. The images appear more brilliant and uniform when compensating the scattering contribution.

关键词： compensating indirect scattering interreflections projection displays reverse radiosity image correction real-time rendering GPU programming

来源：评论

学校读者我要写书评

暂无评论

The benefits of Java and Jini in the JGrid system 20

The benefits of Java and Jini in the JGrid system

引用

20th IEEE international Parallel and Distributed Processing symposium, IPDPS 2006

作者： Pota, Szabolcs Juhasz, Zoltan University of Veszprem Dept. of Information Systems Veszprem Hungary

ISBN: (纸本)1424400546

The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level language and its built-in support for networking and security are very valuable features. Despite its potential and the many proof-of-concept systems developed, the grid community is turning to web services technology as its implementation base. In this paper, we show that Java, by joining forces with Jini Technology can provide a very appealing technology base for highly dynamic grid systems. The key properties of Java and Jini technology are examined with reference to their role in grids. Then, the JGrid Jini-based service-oriented grid system is overviewed describing its key concepts, services and how it extends Jini to address some of the unique requirements of grid systems. © 2006 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Recovery oriented programming

Recovery oriented programming

引用

8th international symposium on Stabilization, Safety and Security of Distributed systems (SSS 2006)

作者： Brukman, Olga Dolev, Shlomi Ben Gurion Univ Negev Dept Comp Sci IL-84105Y Beer Sheva Israel

ISBN: (纸本)3540490183

Writing a perfectly correct code is a challenging and a nearly impossible task. In this work we suggest the recovery oriented programming paradigm in order to cope with eventual Byzantine programs. The program specification composer enforces the program specifications (both the safety and the liveness properties) in run time using predicates over input and output variables. The component programmer will use these variables in the program implementation. We suggest using the "sand-box" approach in which every instruction of the program that changes a specification variable, is executed first with temporary variables and that is in order to avoid execution of an instruction that violates the specifications. In addition, external monitoring is used for coping with transient faults and for ensuring convergence to a legal state. The implementation of these ideas includes the definition of new instructions in the programming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery actions is self-stabilizing and, under the restartability assumption, eventually fulfills its specifications.

关键词： self-stabilization autonomic computing

来源：评论

学校读者我要写书评

暂无评论

An enhanced model for agent based requirement gathering and pre-system analysis

An enhanced model for agent based requirement gathering and ...

引用

13th Annual IEEE international symposium and Workshop on Engineering of Computer Based systems

作者： Ranjan, Prabhat Misra, A. K. Motilal Nehru Natl Inst Technol Dept Comp Sci & Engn Allahabad 211004 Uttar Pradesh India

ISBN: (纸本)0769525466

Agent oriented software development is generally motivated by the need of open and adaptive systems development that continuously change and evolve to meet new requirements. In this paper, we propose an agent-based open and adaptive system development process. The proposed methodology is based on model-based techniques and provides a specific model for the type of information to he gathered and uses this model to drive the user-oriented requirement analysis, specification and system-oriented analysis process. The proposed methodology also reduces the complexity of the software system and provides better quality with better user-satisfaction. The Gaia and ROADMAP models have been used as a fundamental ingredient to the new proposed agent-based modeling method In the proposed agent-based system, the focus is on a clear separtion between the requirement gathering and analysis phases. The scope of the discussion covers requirements gathering and user-oriented analysis phases only and does not touch upon the system-analysis and design phases.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Symbolic programming language in molecular multicenter integral problem

引用

international JOURNAL OF QUANTUM CHEMISTRY 2006年第1期106卷 65-78页

作者： Safouhi, H Bouferguene, A Univ Alberta Edmonton AB T6C 4G9 Canada

It is well known that in any ab initio molecular orbital (MO) calculation, the major task involves the computation of molecular integrals, among which the computation of three-center nuclear attraction and Coulomb integrals is the most frequently encountered. As the molecular system becomes larger, computation of these integrals becomes one of the most laborious and time-consuming steps in molecular systems calculation. Improvement of the computational methods of molecular integrals would be indispensable to further development in computational studies of large molecular systems. To develop fast and accurate algorithms for the numerical evaluation of these integrals over B functions, we used nonlinear transformations for improving convergence of highly oscillatory integrals. These methods form the basis of new methods for solving various problems that were unsolvable otherwise and have many applications as well. To apply these nonlinear transformations, the integrands should satisfy linear differential equations with coefficients having asymptotic power series in the sense of Poincare, which in their turn should satisfy some limit conditions. These differential equations are very difficult to obtain explicitly. In the case of molecular integrals, we used a symbolic programming language (MAPLE) to demonstrate that all the conditions required to apply these nonlinear transformation methods are satisfied. Differential equations are obtained explicitly, allowing us to demonstrate that the limit conditions are also satisfied. (c) 2005 Wiley Periodicals, Inc.

关键词： nonlinear transformations convergence accelerators molecular integrals Slater-type functions B functions symbolic programming language MAPLE

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：