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

JOURNAL OF FUNCTIONAL PROGRAMMING 2011年第4-5期21卷 467-496页

作者： Liu, Hai Cheng, Eric Hudak, Paul Yale Univ Dept Comp Sci New Haven CT 06520 USA

Arrows are a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and, in particular, are a good abstraction for signal processing and dataflow computations. Most notably, arrows form the basis for a domain-specific language called Yampa, which has been used in a variety of concrete applications, including animation, robotics, sound synthesis, control systems, and graphical user interfaces. Our primary interest is in better understanding the class of abstract computations captured by Yampa. Unfortunately, arrows are not concrete enough to do this with precision. To remedy this situation, we introduce the concept of commutative arrows that capture a noninterference property of concurrent computations. We also add an init operator that captures the causal nature of arrow effects, and identify its associated law. To study this class of computations in more detail, we define an extension to arrows called causal commutative arrows (CCA), and study its properties. Our key contribution is the identification of a normal form for CCA called causal commutative normal form (CCNF). By defining a normalization procedure, we have developed an optimization strategy that yields dramatic improvements in performance over conventional implementations of arrows. We have implemented this technique in Haskell, and conducted benchmarks that validate the effectiveness of our approach. When compiled with the Glasgow Haskell Compiler (GHC), the overall methodology can result in significant speedups.

关键词： SIGNAL processing -- Digital techniques data flow computing DOMAIN-specific programming languages ROBOTICS GRAPHICAL user interfaces (Computer systems) PRECISION (Information retrieval) PERFORMANCE evaluation

来源：评论

学校读者我要写书评

暂无评论

AUTOMATIC SYNTHESIS OF TTA PROCESSOR NETWORKS FROM RVC-CAL dataflow PROGRAMS

AUTOMATIC SYNTHESIS OF TTA PROCESSOR NETWORKS FROM RVC-CAL D...

引用

IEEE Workshop on Signal Processing Systems (SiPS)

作者： Boutellier, J. Silven, O. Raulet, M. Univ Oulu Dept Elect & Informat Engn Comp Sci & Engn Lab FI-90014 Oulu Finland INSA Rennes IETR FR-35708 Rennes 7 France

ISBN: (纸本)9781457719219

The RVC-CAL dataflow language has recently become standardized through its use as the official language of Reconfigurable Video Coding (RVC), a recent standard by MPEG. The tools developed for RVC-CAL have enabled the transformation of RVC-CAL dataflow programs into C language and VHDL (among others), enabling implementations for instruction processors and HDL synthesis. This paper introduces new tools that enable automatic creation of heterogeneous multiprocessor networks out of RVC-CAL dataflow programs. Each processor in the network performs the functionality of one RVC-CAL actor. The processors are of the Transport Triggered Architecture (TTA) type, for which a complete co-design toolset exists. The existing tools enable customizing the processors according to the requirements of individual dataflow actors. The functionality of the tool chain has been demonstrated by synthesizing an MPEG-4 Simple Profile video decoder to an FPGA. This particular decoder is automatically realized into 21 tiny, heterogeneous processors.

关键词： data flow computing design automation multiprocessor interconnection

来源：评论

学校读者我要写书评

暂无评论

dataflow Model Property Verification Using Petri net Translation Techniques

Dataflow Model Property Verification Using Petri net Transla...

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Rocha, Jose-Inacio Gomes, Luis Dias, Octavio Pascoa Escola Super Tecnol Setubal Rua Vale Chaves Setubal Portugal Univ Nova Lisboa Ctr Tecnol & Sistemas Lisbon Portugal

ISBN: (纸本)9781457704345

dataflow process networks lead to different theoretical model approaches and have demonstrated their adequacy in data-dominated intensive systems, namely Synchronous dataflows. Since their appearance, dataflow models became too focused and specialized in their target applications. The paper presents a set of translating mechanisms allowing the mapping from dataflow models into Petri nets. This mapping allows taking advantage of Petri nets well-known properties verification capabilities and enriching dataflow models concerning scheduler information and resource allocation. This allows one to find out some hidden embedded features (model semantics and syntax) not normally addressed in dataflow analysis tools, which is briefly characterized. dataflow model translation into Petri net domain give support to attain the required resource allocation under dataflow static scheduling list. This scheme allows one to make conclusion in Petri net domain to be applied in dataflow models to foresee the necessary amount of storage resources for each arc. An application example is used to illustrate the concept and effectiveness of the outlined approach.

关键词： Analytical models Biological system modeling Digital signal processing Equations Frequency domain analysis Mathematical model Petri net translation Petri nets Petri nets data flow computing data flow graphs data-dominated intensive systems dataflow model property verification dataflow process networks formal verification resource allocation resource allocation scheduler information scheduling synchronous dataflows

来源：评论

学校读者我要写书评

暂无评论

Reconsideration of computing Paradigms and a Novel Reconfigurable Architecture

Reconsideration of Computing Paradigms and a Novel Reconfigu...

引用

IEEE 19th Annual International Symposium on Field-Programmable Custom computing Machines (FCCM)

作者： Yan, Ming Yang, Ziyu Li, Sikun Yang, Liu Natl Univ Def Technol Sch Comp Changsha Hunan Peoples R China Hunan Univ Coll Comp & Commun Changsha Hunan Peoples R China

ISBN: (纸本)9780769543017

With the on-chip resources largely increased, the computing paradigm of modern architectures are much different from traditional ones. The relation between temporal computing and spatial computing is getting more and more intricate. In this paper, a coarse-grained reconfigurable architecture is proposed named as programmable dataflow computing architecture: ProDFA. With both fine-grained control ability and long-term control logic, ProDFA implements coarse-grained reconfigurability and fine-grained controllability, which brought both flexible programmability and high efficiency. A case study on block ciphers is done. A specific reconfigurable structure for block ciphers is designed and several mainstream block ciphers are mapped and evaluated. The experimental results show the high efficiency of the specific reconfigurable structure.

关键词： Arrays Clocks Computers Educational institutions ProDFA architecture Process control System-on-a-chip block cipher coarse-grained reconflgurable architecture computing paradigm controllability cryptography data flow computing fine-grained controllability flexible programmability long-term control logic on-chip resource programmable dataflow computing architecture reconfigurable architectures spatial computing temporal computing temporal logic

来源：评论

学校读者我要写书评

暂无评论

SCHEDULING OF CAL ACTOR NETWORKS BASED ON DYNAMIC CODE ANALYSIS

SCHEDULING OF CAL ACTOR NETWORKS BASED ON DYNAMIC CODE ANALY...

引用

IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Boutellier, Jani Silven, Olli Raulet, Mickael Univ Oulu Dept Comp Sci & Engn FI-90014 Oulu Finland

ISBN: (纸本)9781457705397

CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new MPEG Reconfigurable Video Coding standard. Application specifications written in CAL can be transformed into executable implementations through development tools. Unfortunately, the present tools provide no way to schedule the CAL entities efficiently at run-time. This paper proposes an automated approach to analyze specifications written in CAL, and produce run-time schedules that perform on average 1.45x faster than implementations relying on default scheduling. The approach is based on quasi-static scheduling, which reduces conditional execution in the run-time system.

关键词： Processor scheduling video coding data flow computing

来源：评论

学校读者我要写书评

暂无评论

Feature Based Visualization Algorithm for Large-Scale flow data

Feature Based Visualization Algorithm for Large-Scale Flow D...

引用

International Conference on Computer Modeling and Simulation, ICCMS

作者： Liang Zhong ChiTian He Xin Zhang Inst. of Remote Sensing Applic. Eng. Center Chinese Acad. of Sci. Beijing China

To analyze large amounts of numerical data, one of the most useful approaches is to use scientific visualization to transform them into graphical images. flow visualization as one of the challenging topics has played important roles in oceanic data analysis. There are many techniques have been presented in the past decade, but most of them can't get high performance to visualize large-scale flow data in real time. To deduce the computational complexity brought by large flow dataset, feature-based expression will be a helpful way. However, how to get the result images quickly without costing much time for feature extraction and analysis is a very important problem to deal. Based on the common characteristic of flow and the unchangeable scale feather of spiral line, we present a new distributing strategy which needn't locate feature points very accurately and didn't rely on the type of feature fields. The visualization procedure not only can straight forward automatically but also can be changed with user's interactive command. The flow data obtained from the South Sea of China was verified and simulated. The result shows that this method using spiral strategy not templates to setting the seeds to emphasize the interesting fields is much faster and flexible, especially in large-scale flow data visualization.

关键词： data visualization Large-scale systems Oceans Spirals Computational efficiency Image analysis Feature extraction data flow computing Computational modeling Analytical models

来源：评论

学校读者我要写书评

暂无评论

Mapping scientific applications on a large-scale data-path accelerator implemented by single-flux quantum (SFQ) circuits 10

Mapping scientific applications on a large-scale data-path a...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Farhad Mehdipour Hiroaki Honda Hiroshi Kataoka Koji Inoue Irina Kataeva Kazuaki Murakami Hiroyuki Akaike Akira Fujimaki School of Information Science and Electrical Engineering Department of Informatics Kyushu University Fukuoka Japan Institute of Systems Information Technologies and Nanotechnologies Fukuoka Japan Department of Quantum Engineering University of Nagoya Nagoya Japan

ISBN: (纸本)9783981080162

To overcome issues originating from the CMOS technology, a large-scale reconfigurable data-path (LSRDP) processor based on single-flux quantum circuits is introduced. LSRDP is augmented to a general purpose processor to accelerate the execution of data flow graphs (DFGs) extracted from scientific applications. Procedure of mapping large DFGs onto the LSRDP is discussed and our proposed techniques for reducing area of the accelerator within the design procedure will be introduced as well.

关键词： Large-scale systems Circuits CMOS technology Computer architecture Routing flow graphs Quantum computing data flow computing Costs CMOS process

来源：评论

学校读者我要写书评

暂无评论

From chip to cooling tower data center modeling: Part II Influence of chip temperature control philosophy

From chip to cooling tower data center modeling: Part II Inf...

引用

Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITHERM)

作者： Ed J. Walsh Thomas J. Breen J. Punch Amip J. Shah Cullen E. Bash Stokes Institute University of Limerick Limerick Ireland Hewlett Packard Company Palo Alto CA USA

The chiller cooled data center environment consists of many interlinked elements that are usually treated as individual components. This chain of components and their influences on each other must be considered in determining the benefits of any data center design and operational strategies seeking to improve efficiency, such as temperature control fan algorithms. Using the models developed in part I of this work, this paper extends the analysis to include the electronics within the rack through considering the processor heat sink temperature. This has allowed determination of the influence of various cooling strategies on the data center coefficient of performance. The strategy of increasing inlet aisle temperature is examined in some detail and found not to be a robust methodology for improving the overall energy performance of the data center, while tight temperature controls at the chip level consistently provides better performance, yielding more computing per watt of cooling power. These findings are of strong practical relevance for the design of fan control algorithms at the rack level and general operational strategies in data centers. Finally, the impact of heat sink thermal resistance is considered and the potential data center efficiency gains from improved heat sink designs are discussed.

关键词： Cooling Poles and towers Temperature control Heat sinks data flow computing Heat transfer Costs Algorithm design and analysis Resistance heating Thermal resistance

来源：评论

学校读者我要写书评

暂无评论

Volunteer-based distributed traffic data collection system

Volunteer-based distributed traffic data collection system

引用

International Conference on Advanced Communication Technology (ICACT)

作者： Kartheepan Balachandran Jacob Honoré Broberg Kasper Revsbech Jens Myrup Pedersen Department of Electronic Systems University of Aalborg Aalborg Denmark

ISBN: (纸本)9781424454273

An architecture for a traffic data collection system is proposed, which can collect data without having access to a backbone network. Contrary to other monitoring systems it relies on volunteers to install a program on their own computers, which will capture incoming and outgoing packets, group them into flows and send the flow data to a central server. data can be used for studying and characterising internet traffic and for testing traffic models by regenerating real traffic. The architecture is designed to have efficient and light usage of resources on both client and server *** case performance estimates indicate that this is obtained. Tests conducted by volunteers using an implemented prototype confirm the feasibility of the system.

关键词： Telecommunication traffic Traffic control Computer architecture Web server Spine Computerized monitoring data flow computing Network servers Internet Testing

来源：评论

学校读者我要写书评

暂无评论

Network streaming of dynamic 3D content with on-line compression of frame data

Network streaming of dynamic 3D content with on-line compres...

引用

IEEE Annual International Symposium Virtual Reality

作者： Giuseppe Marino Paolo Simone Gasparello Davide Vercelli Franco Tecchia Massimo Bergamasco PERCRO Scuola Superiore Sant'' Anna Italy

ISBN: (纸本)9781424462377;9781424462582

Real-time 3D content distribution over a network requires facing several challenges, most notably the handling of the large amount of data usually associated with 3D meshes. The scope of the present paper falls within the well-established context of real-time capture and streaming of OpenGL command sequences, focusing in particular on data compression schemes. However, we advance beyond the state-of-the-art improving over previous attempts of ¿in-frame¿ geometric compression on 3D structures inferred from generic OpenGL command sequences and adding ¿inter-frame¿ redundancy exploitation of the traffic generated by the typical architecture of interactive applications.

关键词： Application software Computer networks data compression Telecommunication traffic Computer architecture Distributed computing Information systems Graphics data flow computing Geometry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：