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

LLVM-based and scalable MPEG-RVC decoder

JOURNAL OF REAL-TIME IMAGE PROCESSING 2011年第1期6卷 59-70页

作者： Gorin, Jerome Wipliez, Matthieu Preteux, Francoise Raulet, Mickael INSA Rennes IETR F-35043 Rennes France Inst Telecom SudParis ARTEMIS UMR 8145 Evry France

MPEG reconfigurable video coding (RVC) is a new platform-independent specification methodology chosen by the MPEG community for describing coding standards. This methodology aims at producing abstract decoder models (ADMs) of MPEG decoders as programs described in a dataflow language namely "RVC-CAL Actor Language" (RVC-CAL). RVC-CAL naturally expresses potential parallelism between tasks of an application, which makes an ADM description suitable for implementation to a wide variety of platforms, from uniprocessor systems to FPGAs. MPEG RVC eases the development process of decoders by building decoders at a library-component level instead of using monolithic algorithms, and by providing a library of coding tools standardized in MPEG. This paper presents new mechanisms based on the low level virtual machine that allow the conception of a decoder able to dynamically instantiate several RVC decoder descriptions. This decoder, unlike static decoders generated by RVC tools, keeps de facto the features of an RVC description namely portability, scalability and reconfigurability.

关键词： Reconfigurable video coding RVC-CAL actor language Low level virtual machine Network scheduling dataflow programming Code synthesis Multi-core systems

来源：评论

学校读者我要写书评

暂无评论

A lightweight, flow-based toolkit for parallel and distributed bioinformatics pipelines

引用

BMC BIOINFORMATICS 2011年第1期12卷 1-11页

作者： Cieslik, Marcin Mura, Cameron Univ Virginia Dept Chem Charlottesville VA 22904 USA Univ Virginia Hlth Sci Charlottesville VA 22908 USA

Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or 'workflow', is a well-defined protocol, with a specific structure defined by the topology of data-flow interdependencies, and a particular functionality arising from the data transformations applied at each step. In computer science, the dataflow programming (DFP) paradigm defines software systems constructed in this manner, as networks of message-passing components. Thus, bioinformatic workflows can be naturally mapped onto DFP concepts. Results: To enable the flexible creation and execution of bioinformatics dataflows, we have written a modular framework for parallel pipelines in Python ('PaPy'). A PaPy workflow is created from re-usable components connected by data-pipes into a directed acyclic graph, which together define nested higher-order map functions. The successive functional transformations of input data are evaluated on flexibly pooled compute resources, either local or remote. Input items are processed in batches of adjustable size, all flowing one to tune the trade-off between parallelism and lazy-evaluation (memory consumption). An add-on module ('NuBio') facilitates the creation of bioinformatics workflows by providing domain specific data-containers (e.g., for biomolecular sequences, alignments, structures) and functionality (e.g., to parse/write standard file formats). Conclusions: PaPy offers a modular framework for the creation and deployment of parallel and distributed data-processing workflows. Pipelines derive their functionality from user-written, data-coupled components, so PaPy also can be viewed as a lightweight toolkit for extensible, flow-based bioinformatics data-processing. The simplicity and flexibility of distributed PaPy pipelines may help users bridge the gap between traditional desktop/workstation and grid computing. PaPy is freely distributed as open-source Python code at http://***/PaPy, and includes extensive document

关键词： Data Item Application programming Interface Processing Node Worker Instance dataflow programming

来源：评论

学校读者我要写书评

暂无评论

SCHEDULING OF DYNAMIC dataflow PROGRAMS WITH MODEL CHECKING

SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS WITH MODEL CHECKING

引用

IEEE Workshop on Signal Processing Systems (SiPS)

作者： Ersfolk, Johan Roquier, Ghislain Jokhio, Fareed Lilius, Johan Mattavelli, Marco Abo Akad Univ Turku Finland Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland Turku Ctr Comp Sci Turku Finland

ISBN: (纸本)9781457719219

The scheduling at compile-time of dynamic dataflow programs is still an open problem. This paper presents some initial results showing that scheduling of dynamic portions of CAL dataflow networks can be reduced to static scheduling by the analysis of the state space of network partitions. The CAL sub-network is converted to an equivalent Promela program and analyzed using a state analysis tool (SPIN) identifying deterministic schedules that link recurring network execution states. Therefore, the only dynamic operation of the scheduler remains the guard evaluations between states linked by the obtained deterministic schedules. Experiments show that the number of operations employed by dynamic schedulers is largely reduced when the schedules extracted by the state analysis are employed.

关键词： dataflow programming model checking MPEG-4 decoder

来源：评论

学校读者我要写书评

暂无评论

OPTIMIZATION OF PORTABLE PARALLEL SIGNAL PROCESSING APPLICATIONS BY DESIGN SPACE EXPLORATION OF dataflow PROGRAMS

OPTIMIZATION OF PORTABLE PARALLEL SIGNAL PROCESSING APPLICAT...

引用

IEEE Workshop on Signal Processing Systems (SiPS)

作者： Lucarz, Christophe Mattavelli, Marco Janneck, Jorn W. Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland Lund Inst Technol Lund Sweden

ISBN: (纸本)9781457719219

This paper describes a methodology for the optimization of portable parallel signal processing applications specified by dataflow programs. The use of dataflow as a programming model for signal processing applications targeting parallel platforms provides an important advantage versus the traditional sequential programming paradigm: the portability of parallelism. The paper introduce a design space exploration methodology for exploring alternative implementations in which abstract traces of a program, representing the actual data dependencies of its parts, are first constructed and then analyzed to guide the refactoring and mapping and of the signal processing applications to best match its intended parallel target. The methodology is demonstrated and evaluated in an at-size case study of an MPEG-4 video decoder.

关键词： dataflow programming design space exploration software synthesis multicore systems

来源：评论

学校读者我要写书评

暂无评论

METHODOLOGY FOR THE HARDWARE/SOFTWARE CO-DESIGN OF dataflow PROGRAMS

METHODOLOGY FOR THE HARDWARE/SOFTWARE CO-DESIGN OF DATAFLOW ...

引用

IEEE Workshop on Signal Processing Systems (SiPS)

作者： Roquier, Ghislain Thavot, Richard Mattavelli, Marco Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9781457719219

New generations of multi-core processors and reconfigurable hardware platforms are expected to provide a dramatic increase of processing capabilities. However, one obstacle for exploiting all the promises of such new platforms is the legacy of current applications and the development methodologies used, which is deeply rooted in a sequential way of thinking. A paradigm shift is necessary at all levels of application development to yield portable and efficient implementations, capable of exploiting the full potential of such platforms. dataflow programming is an alternative approach that address the problem of providing portable and scalable parallel applications. dataflow programming is able to explicitly expose the intrinsic parallelism of applications. This paper presents a hardware/software co-design methodology that starting from a unique dataflow program enables, by the direct synthesis of both hardware (HDL) and software components (C/C++), to map a signal processing application onto heterogeneous systems architectures composed by reconfigurable hardware and multi-core processors. Experimental results based on the implementation of the MPEG-4 Simple Profile decoder onto an heterogeneous platform are also provided to show the capabilities and flexibility of the approach.

关键词： dataflow programming hardware/software co-design reconfigurable hardware multi-core processor

来源：评论

学校读者我要写书评

暂无评论

Sampling, Splitting and Merging in Coinductive Stream Calculus

Sampling, Splitting and Merging in Coinductive Stream Calcul...

引用

10th International Conference on Mathematics of Program Construction

作者： Niqui, Milad Rutten, Jan Centrum Wiskunde and Informatica (CWI) Netherlands Radboud University Nijmegen Netherlands

ISBN: (纸本)9783642133206

We study various operations for partitioning, projecting and merging streams of data. These operations are motivated by their use in dataflow programming and the stream processing languages. We use the framework of stream calculus and stream circuits for defining and proving properties of such operations using behavioural differential equations and coinduction proof principles. We study the invariance of certain well patterned classes of streams, namely rational and algebraic streams, under splitting and merging. Finally we show that stream circuits extended with gates for dyadic split and merge are expressive enough to realise sonic non-rational algebraic streams, thereby going beyond ordinary stream circuits.

关键词： stream calculus dataflow programming coinduction rational stream algebraic stream stream circuit

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Visual dataflow Language for Coordination in Mobile Ad Hoc Networks

A Hybrid Visual Dataflow Language for Coordination in Mobile...

引用

12th International Conference on Coordination Models and Languages (COORDINATION 2010)

作者： Carleton, Andoni Lombide D'Hondt, Theo Vrije Univ Brussel Software Languages Lab B-21050 Brussels Belgium

ISBN: (纸本)9783642134135

Because of the dynamic nature of mobile ad hoc networks and the applications running on top of them, these applications have to be conceived as event-driven architectures. Such architectures are hard to program because coordination between concurrent and distributed mobile components has to be expressed by means of event handlers or callbacks. Applications consisting of disjoint event handlers that are independently triggered (possibly by their environment) exhibit a very implicit control flow that is hard to grasp. This paper presents a visual dataflow language tailored towards mobile applications to express the interaction between mobile components that operate on data streams. By using a visual dataflow language as a separate coordination language, the coarse grained control flow of a mobile application can be specified visually and separately from the fine grained control flow. In its turn, this allows a very explicit view on the control flow of the entire mobile application.

关键词： dataflow programming coordination languages visual programming mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

CODE GENERATION FOR THE MPEG RECONFIGURABLE VIDEO CODING FRAMEWORK: FROM CAL ACTIONS TO C FUNCTIONS

CODE GENERATION FOR THE MPEG RECONFIGURABLE VIDEO CODING FRA...

引用

IEEE International Conference on Multimedia and Expo (ICME 2008)

作者： Wipliez, Matthieu Roquier, Ghislain Raulet, Mickael Nezan, Jean-Francois Deforges, Olivier INSA Rennes Image & Remote Sensing Grp CNRS IETR LabUMR 6164 F-35043 Rennes France

ISBN: (纸本)9781424425709

The MPEG Reconfigurable Video Coding (RVC) framework is a new standard under development by MPEG that aims at providing a unified specification of current MPEG video coding technologies. In this framework, a decoder is built as a configuration of video coding modules taken from the standard "MPEG toolbox library". The elements of the library are specified using the CAL Actor Language (CAL). CAL is a dataflow based language providing computation models that are concurrent and modular. This paper describes a synthesis tool that from a CAL specification automatically generates compilable C-code. Code generators are fundamental supports for the deployment and success of the MPEG RVC framework. This paper focuses on the automatic translation of CAL actions, which is the first step to a complete actor translation. The techniques described here enable to automatically generate C-code according to a finite set of rules. This approach has been used to obtain a C implementation of the IDCT module which is one element of the RVC library. The generated code is validated against the original CAL dataflow program simulated using the Open dataflow environment.

关键词： MPEG reconfigurable video coding CAL actor language dataflow programming software synthesis

来源：评论

学校读者我要写书评

暂无评论

A throughput-driven task creation and mapping for network processors

A throughput-driven task creation and mapping for network pr...

引用

2nd International Conference on High Performance Embedded Architectures and Compilers

作者： Liu, Lixia Li, Xiao-Feng Chen, Michael Ju, Roy D. C. Intel China Res Ctr Ltd Beijing Peoples R China Intel Corp Microproc Technol Lab Santa Clara CA USA

ISBN: (纸本)9783540693376

Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multi-threading and heterogeneous multiprocessing, which usually requires programmers to manually create multiple tasks and map these tasks onto different processing elements. This paper addresses the problem of automating task creation and mapping of network applications onto the underlying hardware to maximize their throughput. We propose a throughput cost model to guide the task creation and mapping with the objective of both minimizing the number of stages in the processing pipeline and maximizing the average throughput of the slowest task simultaneously. The average throughput is modeled by taking communication cost, computation cost, memory access latency and synchronization cost into account. We envision that programmers write small functions for network applications, such that we use grouping and duplication to construct tasks from the functions. The optimal solution of creating tasks from m functions and mapping them to n processors is an NP-hard problem. Therefore, we present-a practical and efficient heuristic algorithm with an 0 ((n + m)m) complexity and show that the obtained solutions produce excellent performance for typical network applications. The entire framework has been implemented in the Open Research Compiler (ORC) adapted to compile network applications written in a domain-specific dataflow language. Experimental results show that the code produced by our compiler can achieve the 100% throughput on the OC-48 input line rate. OC-48 is a fiber optic connection that can handle a 2.488Gbps connection speeds, which is what our targeted hardware was designed for. We also demonstrate the importance of good creation and mapping choices on achieving high throughput. Furthermore, we show that reducing communication cost and efficient resource management are the most important factors for maximizing throughput on the Intel IXP network

关键词： network processors throughput Intel IXP dataflow programming task creation and mapping

来源：评论

学校读者我要写书评

暂无评论

ITKBoard: A visual dataflow language for biomedical image processing

ITKBoard: A visual dataflow language for biomedical image pr...

引用

2nd International Conference on Software and Data Technologies

作者： Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)9789898111050

Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides a complete framework for a range of image processing tasks, and is specifically aimed at segmentation and registration tasks for both two and three dimensional images. This paper describes a visual dataflow language, ITKBoard, designed to simplify building, and more significantly, experimenting with ITK applications. The ease with which image processing experiments can be interactively modified and controlled is an important aspect of the design. The experimenter can focus on the image processing task at hand, rather than worry about the underlying software. ITKBoard incorporates composite and parameterised components, and control constructs, and relies on a novel hybrid dataflow model, combining aspects of both demand and data-driven execution.

关键词： dataflow programming visual programming languages image processing software ITK ITKBoard

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：