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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

41 篇 会议
26 篇 期刊文献
2 篇 学位论文

馆藏范围

69 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

59 篇 工学
- 45 篇 计算机科学与技术...
- 27 篇 电气工程
- 21 篇 软件工程
- 8 篇 信息与通信工程
- 4 篇 电子科学与技术（可...
- 2 篇 控制科学与工程
- 2 篇 网络空间安全
- 1 篇 航空宇航科学与技...
- 1 篇 生物工程
8 篇 理学
- 3 篇 数学
- 3 篇 物理学
- 2 篇 生物学
- 1 篇 化学
5 篇 医学
- 4 篇 临床医学
- 1 篇 药学(可授医学、理...
3 篇 军事学
- 3 篇 军队指挥学
2 篇 艺术学
- 2 篇 音乐与舞蹈学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

69 篇 dataflow program...
8 篇 visual programmi...
4 篇 languages
4 篇 reactive program...
3 篇 stream calculus
3 篇 imperative progr...
3 篇 rational stream
3 篇 coinduction
3 篇 stream circuit
3 篇 concatenative pr...
3 篇 design
3 篇 cal actor langua...
3 篇 algebraic stream
3 篇 end-user program...
3 篇 observer design ...
3 篇 data structure r...
3 篇 constraint solvi...
3 篇 stream processin...
3 篇 incremental comp...
3 篇 reconfigurable v...

机构

5 篇 ecole polytech f...
4 篇 victoria univ we...
2 篇 ietr insa rennes...
2 篇 victoria univ we...
2 篇 intel china res ...
2 篇 lund univ dept c...
2 篇 univ calif berke...
2 篇 turku ctr comp s...
2 篇 naval postgradua...
2 篇 abo akad univ tu...
2 篇 queen mary univ ...
2 篇 radboud univ nij...
2 篇 univ lyon insa l...
1 篇 columbia univers...
1 篇 shutterfly redwo...
1 篇 cea list embedde...
1 篇 tampere univ tec...
1 篇 uppsala univ upp...
1 篇 univ virginia de...
1 篇 inria le chesnay

作者

7 篇 mattavelli marco
6 篇 homer michael
6 篇 raulet mickael
6 篇 roquier ghislain
3 篇 loïc cudennec
3 篇 boutellier jani
3 篇 demetrescu camil
3 篇 lee ea
3 篇 janneck jorn w.
3 篇 wipliez matthieu
3 篇 ribichini andrea
3 篇 finocchi irene
3 篇 niqui milad
3 篇 bhattacharyya ss
2 篇 casseau emmanuel
2 篇 bezati endri
2 篇 rutten jan j. m....
2 篇 yviquel herve
2 篇 morel lionel
2 篇 coimbra miguel e...

语言

66 篇 英文
3 篇 其他

检索条件"主题词=Dataflow programming"

共 69 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Domain-Specific Visual Language for Data Engineering Quality 1

Domain-Specific Visual Language for Data Engineering Quality

引用

1st International Workshop on programming Abstractions and Interactive Notations, Tools, and Environments (PAINT)

作者： De Meo, Alexis Homer, Michael Trove Wellington New Zealand Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand

ISBN: (纸本)9781450399104

Data engineering pipelines process large amounts of information, and ensuring that the quality and integrity of the data is maintained throughout is critical for technical, business, and social reasons. Conventional data quality assurance approaches require a large amount of fine-grained testing code, which is laborious, easy to get out of sync, and inscrutable to non-technical stakeholders. An executable higher-level visual approach to expressing quality requirements can serve as a shared representation of these constraints and their implications for all parties, eliminating repetition while increasing accessibility and maintainability. We present a visual programming language for expressing data quality requirements within a pipeline declaratively, structured as a diagram of compositional data flow, transformation, and validation steps.

关键词： data engineering visual programming dataflow programming

来源：评论

学校读者我要写书评

暂无评论

Interleaved 2D Notation for Concatenative programming 1

Interleaved 2D Notation for Concatenative Programming

引用

1st International Workshop on programming Abstractions and Interactive Notations, Tools, and Environments (PAINT)

作者： Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand

ISBN: (纸本)9781450399104

Concatenative languages use implicit argument passing to provide a concise expression of programs comprising many composed transformation functions. However, they are sometimes regarded as "write-only" languages because understanding code requires mentally simulating the manipulations of the argument stack to identify where values are produced and consumed. All of this difficulty can be avoided with a notation that presents both the functions and their operands simultaneously, which can also ease editing by making available values and functions directly apparent. This paper presents a two-dimensional notation for these programs, comprising alternating rows of functions and operands with arguments and return values indicated by physical layout, and a tool for interactive live editing of programs in this notation.

关键词： concatenative programming visual programming dataflow programming

来源：评论

学校读者我要写书评

暂无评论

Extension of a Task-based model to Functional programming 31

Extension of a Task-based model to Functional programming

引用

31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

作者： Ponce, Lucas M. Lezzi, Daniele Badia, Rosa M. Guedes, Dorgival Univ Fed Minas Gerais Belo Horizonte MG Brazil CNS BSC Barcelona Spain CSIC Barcelona Spain

ISBN: (纸本)9781728141947

Recently, efforts have been made to bring together the areas of high-performance computing (HPC) and massive data processing (Big Data). Traditional HPC frameworks, like COMPSs, are mostly task-based, while popular big-data environments, like Spark, are based on functional programming principles. The earlier are know for their good performance for regular, matrix-based computations;on the other hand, for fine-grained, data-parallel workloads, the later has often been considered more successful. In this paper we present our experience with the integration of some dataflow techniques into COMPSs, a task-based framework, in an effort to bring together the best aspects of both worlds. We present our API, called DDF, which provides a new data abstraction that addresses the challenges of integrating Big Data application scenarios into COMPSs. DDF has a functional-based interface, similar to many Data Science tools, that allows us to use dynamic evaluation to adapt the task execution in runtime. Besides the performance optimization it provides, the API facilitates the development of applications by experts in the application domain. In this paper we evaluate DDF's effectiveness by comparing the resulting programs to their original versions in COMPSs and Spark. The results show that DDF can improve COMPSs execution time and even outperform Spark in many use cases.

关键词： COMPSs Big Data Performance Evaluation dataflow programming

来源：评论

学校读者我要写书评

暂无评论

High-Level Synthesis of dataflow Programs for Signal Processing Systems

High-Level Synthesis of Dataflow Programs for Signal Process...

引用

8th International Symposium on Image and Signal Processing and Analysis (ISPA)

作者： Bezati, Endri Mattavelli, Marco Janneck, Jorn W. Ecole Polytech Fed Lausanne SCI STI MM CH-1015 Lausanne Switzerland Lund Univ Dept Comp Sci S-22100 Lund Sweden

ISBN: (纸本)9789531841948;9789531841870

The growing complexity of signal processing algorithms and platforms poses significant challenges to design methods and implementation tools. High-level dataflow programs, such as those in MPEG's RVC-CAL language, provide abstraction and the opportunity for extensive design-space exploration, but they do raise the problem of efficient automatic synthesis to hardware and software. This paper presents a tool called Xronos that efficiently synthesizes RVC-CAL programs to an RTL-level hardware description and significantly improves on previous efforts in both quality of the resulting implementation and synthesis speed. By directly supporting all the features of the RVC-CAL language, it translates unmodified standard MPEG reference code to a functioning hardware implementation. The paper describes the essential processing architecture of Xronos, the differences from other related approaches and experimental results that show Xronos to produce faster and smaller implementations, while at the same time significantly reducing synthesis times.

关键词： dataflow programming high level IIW synthesis

来源：评论

学校读者我要写书评

暂无评论

Stream processing coalgebraically

Stream processing coalgebraically

引用

10th International Conference on Mathematics of Program Construction

作者： Niqui, Milad Rutten, Jan J. M. M. Radboud Univ Nijmegen NL-6525 ED Nijmegen Netherlands

We study various operations for splitting, partitioning, projecting and merging streams of data. These operations are motivated by their use in dataflow programming and 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. As a featured example we give proofs of results, observed by Moessner, from elementary number theory using our framework. 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 some non-rational algebraic streams, thereby going beyond ordinary stream circuits. (C) 2013 Published by Elsevier B.V.

关键词： Stream calculus dataflow programming Coinduction Rational stream Algebraic stream Stream circuit Moessner's theorem

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress: CalMAR - a Multi-Application dataflow Runtime 13

Work-in-Progress: CalMAR - a Multi-Application Dataflow Runt...

引用

International Conference on Embedded Software (EMSOFT)

作者： Morel, Lionel Selva, Manuel Marquet, Kevin Saysset, Coralie Risset, Tanguy Univ Lyon INSA Lyon CITI F-69621 Villeurbanne France Univ Strasbourg Icube Lab INRIA CAMUS Strasbourg France Univ Lyon INSA Lyon INRIA CITI F-69621 Villeurbanne France

In this paper, we propose a new dataflow runtime that dynamically manages several dataflow applications. We propose an implementation of such a runtime called CalMAR built on top of the RVC-Cal environment, and valida... 详细信息

ISBN: (纸本)9781450351867

关键词： dataflow programming runtime system load-balancing

来源：评论

学校读者我要写书评

暂无评论

Industrial Big Data Analytics Lessons from the trenches 1

Industrial Big Data Analytics Lessons from the trenches

引用

International Workshop on Big Data Software Engineering

作者： Villanustre, Flavio LexisNexis Risk Solut Reed Elsevier Atlanta GA 30303 USA

ISBN: (纸本)9781467370257

Big Data Analytics in particular and Data Science in general have become key disciplines in the last decade. The convergence of Information Technology, Statistics and Mathematics, to explore and extract information from Big Data have challenged the way many industries used to operate, shifting the decision making process in many organizations. A new breed of Big Data platforms has appeared, to fulfill the needs to process data that is large, complex, variable and rapidly generated. The author describes the experience in this field from a company that provides Big Data analytics as its core business.

关键词： Big Data Distributed Algorithms Declarative programming dataflow programming Abstraction Models

来源：评论

学校读者我要写书评

暂无评论

A Reactive System-specific Compilation Chain from Synchronous dataflow Models to FPGA Netlist 10

A Reactive System-specific Compilation Chain from Synchronou...

引用

10th International Conference on Space Mission Challenges for Information Technology

作者： Winandy, Ines Dion, Arnaud Garoche, Pierre-Loic Manni, Florent Univ Toulouse Federat ENAC ISAE SUPAERO ONERA Toulouse France CNES Ctr Natl Etud Spatiales Toulouse France

ISBN: (纸本)9798350384529;9798350384512

Modern Field Programmable Gate Arrays (FPGAs) offer a solution to several issues related to real-time on-board systems, such as guaranteed execution time. They are currently considered as target platforms for space applications. However, the complexity of producing circuits on these components poses a challenge to their widespread adoption. To address this issue, high-level synthesis tools provide another layer of abstraction above the logic circuit design process, for example compiling C code into Hardware Description Languages such as VHDL or Verilog. However, high-level synthesis results are poorly predictable and do not guarantee the efficient use of recent FPGA capabilities provided by new primitives like digital signal processor or random-access memory. In this paper we propose a compilation chain dedicated to reactive systems, ie. controllers, providing a more predictable synthesis process for critical embedded control applications. The implemented solution demonstrates timing performance equivalent to the traditional synthesis process with a more predictable result.

关键词： High Level Synthesis (HLS) Embedded systems Guidance Navigation and Control (GNC) dataflow programming Computer-aided Design (CAD)

来源：评论

学校读者我要写书评

暂无评论

Branching Compositional Data Transformations in jq, Visually 2

Branching Compositional Data Transformations in jq, Visually

引用

2nd ACM SIGPLAN International Workshop on programming Abstractions and Interactive Notations, Tools, and Environments (PAINT)

作者： Homer, Michael Victoria Univ Wellington Wellington New Zealand

ISBN: (纸本)9798400703997

jq is a widely-used command-line tool for filtering and transforming JSON data, in the vein of sed and awk, including a bespoke programming language for writing the filters. The paradigm of that language is unusual: while its appearance is somewhere between a shell pipeline and JavaScript, the language is pure-functional and essentially concatenative, the pipelines branch and interleave data invisibly, implicit output flattening obscures all these effects, and most users are unaware of any of its semantics, leading to confusion when encountering any of these latent elements and difficulty in constructing appropriate non-trivial filters, all the while common debugging techniques are also obstructed by the paradigm. These confusions can be eliminated by visually demonstrating the recursively forking nature of evaluation on actual data, and allowing manipulations of the program or data to be reflected live, but no such tool exists for jq or any similar approaches. We present a visualisation of jq's execution model that makes the branching nature manifest, illustrating its effects on concrete values provided by the user, and editing affordances that allow manipulating the program with reference to real data.

关键词： jq dataflow programming object pipelines stream processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共7页 << < 1 2 3 4 5 6 7 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：