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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

55 篇 会议
12 篇 期刊文献
3 篇 学位论文
2 册 图书

馆藏范围

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

日期分布

学科分类号

67 篇 工学
- 48 篇 软件工程
- 40 篇 计算机科学与技术...
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 2 篇 电子科学与技术（可...
- 1 篇 仪器科学与技术
- 1 篇 信息与通信工程
- 1 篇 航空宇航科学与技...
4 篇 艺术学
- 3 篇 艺术学理论
- 3 篇 音乐与舞蹈学
- 1 篇 设计学（可授艺术学...
2 篇 理学
- 2 篇 数学
2 篇 医学
- 2 篇 临床医学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

72 篇 functional react...
9 篇 design
9 篇 reactive program...
8 篇 languages
8 篇 haskell
8 篇 temporal logic
5 篇 embedded systems
5 篇 stream programmi...
5 篇 arrows
4 篇 type systems
4 篇 dataflow
4 篇 liveness
4 篇 theory
4 篇 functional progr...
4 篇 modal types
4 篇 concurrency
3 篇 linear logic
3 篇 synchronous data...
3 篇 frp
3 篇 guarded recursio...

机构

4 篇 it univ copenhag...
3 篇 tokyo inst techn...
2 篇 github oxford en...
2 篇 ost univ appl sc...
2 篇 max planck inst ...
2 篇 alcatel lucent b...
2 篇 natl inst aerosp...
2 篇 yale univ new ha...
2 篇 microsoft resear...
2 篇 univ nottingham ...
2 篇 univ warwick cov...
2 篇 univ nottingham ...
1 篇 univ nottingham ...
1 篇 univ bamberg bam...
1 篇 univ texas san a...
1 篇 ctr wiskunde & i...
1 篇 microsoft corp r...
1 篇 mirea russian te...
1 篇 inesc tec porto
1 篇 alcatel lucent b...

作者

8 篇 perez ivan
5 篇 watanabe takuo
5 篇 nilsson henrik
5 篇 krishnaswami nee...
4 篇 bahr patrick
3 篇 jeffrey alan
3 篇 mogelberg rasmus...
3 篇 hudak paul
3 篇 moriguchi sosuke
2 篇 benton nick
2 篇 graulund christi...
2 篇 de meuter wolfga...
2 篇 praseed pai
2 篇 peter abraham
2 篇 van der ploeg at...
2 篇 edmonson william
2 篇 keating finnbar
2 篇 winograd-cort da...
2 篇 schmidli eliane ...
2 篇 jeltsch wolfgang

语言

69 篇 英文
3 篇 其他

检索条件"主题词=Functional reactive programming"

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

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

详细简洁

排序：

FranTk - A declarative GUI language for Haskell 00

FranTk - A declarative GUI language for Haskell

引用

5th ACM SIGPLAN International Conference on functional programming (ICFP)

作者： Sage, M Univ Glasgow Dept Comp Sci Glasgow G12 8QQ Lanark Scotland

ISBN: (纸本)9781581132021

FranTk is a new high level library for programming Graphical User Interfaces (GUIs) in Haskell. It is based on Fran (functional reactive Animation), and uses the notions of Behaviors and Events to structure code. Behaviors are time-varying, reactive values. They can be used to represent the state of an application. Events are streams of values that occur at discrete points in time. They can be used, for instance, to represent user input. FranTk allows user interfaces to be structured in a more declarative manner than has been possible with previous functional GUI libraries. We demonstrate, through a series of examples, how this is achieved, and why it is important. These examples are elements of a prototype, Air Traffic Control simulator. FranTk uses a binding to the popular Tcl/Tk toolkit to provide a powerful set of platform independent set of widgets. It has been released as a Haskell library that runs under Hugs and GHC.

关键词： Graphical User Interfaces Haskell functional reactive programming

来源：评论

学校读者我要写书评

暂无评论

FRP IoT Modules as a Scala DSL 4

FRP IoT Modules as a Scala DSL

引用

4th ACM SIGPLAN International Workshop on reactive and Event-Based Languages and Systems (REBLS)

作者： Calus, Ben Reynders, Bob Devriese, Dominique Noorman, Job Piessens, Frank Katholieke Univ Leuven Imec DistriNet B-3001 Leuven Belgium

ISBN: (纸本)9781450355155

With Internet of Things applications growing in size and popularity, physical sensor networks are more often running multiple complex applications. It becomes increasingly important to maintain these event-driven programs on embedded systems. Traditionally, event-driven applications such as sensor network applications are written using an imperative style of programming where different callback routines are registered to handle events. As the application complexity grows, the inverted control flow and reliance on shared global state makes this style of programming hard to maintain. Furthermore, sensor network applications are inherently distributed and are written by manually managing code-bases of sub-applications that go on all nodes separately. If security is important, the programmer needs to manually interface with low-level security primitives because there is no built-in notion of components. We propose a more maintainable approach where the developer essentially writes a first-order FRP program, containing code fragments in an embedded subset of C. From this FRP program, we generate efficient C code to be run on every node. Every module of the FRP program is compiled to a separate C module, making it easy to deploy modules to different nodes, and to enhance the security of the application by isolating modules from other software running on the nodes. Our implementation is based on a Scala EDSL that we use to let the user conveniently embed fragments of C code. The annotated C code gets compiled to Sancus, a security architecture for IoT nodes that supports the secure and distributed execution of the generated modules.

关键词： functional reactive programming DSL Scala

来源：评论

学校读者我要写书评

暂无评论

Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems 9

Towards Introducing Asynchronous Tasks to an FRP Language fo...

引用

6th International Workshop on reactive and Event-Based Languages and Systems (REBLS)

作者： Yokoyama, Akihiko Moriguchi, Sosuke Watanabe, Takuo Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781450399111

Emfrp is a functional reactive programming language designed for small embedded systems. By imposing certain restrictions on the language mechanism, the language guarantees the termination of the update process for each time-varying value and enables static determination of the amount of memory required for execution. This allows Emfrp programs to run safely even in resource-constrained execution environments. However, the abovementioned restrictions make it difficult to write time-consuming operations (heavy tasks) such as graph structure construction and exploration based on external data. Moreover, since Emfrp updates time-varying values synchronously, a naive implementation of such heavy tasks using external function calls will result in a slow response time to input. Some existing programming languages provide asynchronous processing mechanisms to ensure descriptiveness and responsiveness for heavy tasks. In this study, we propose a method to introduce heavy tasks into reactive programs naturally by introducing language mechanisms equivalent to asynchronous processing mechanisms, such as future and promise, into Emfrp. In this paper, we first discuss the problems with a naive implementation of heavy tasks in Emfrp, then explain the proposed method based on an example, and discuss the language runtime implementation.

关键词： functional reactive programming asynchronous tasks promise embedded systems

来源：评论

学校读者我要写书评

暂无评论

Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design 15

Semantic Mapping from SysML to FRP: to Enable Executable and...

引用

15th Annual IEEE International Systems Conference (SysCon)

作者： Huang, Jingwei Khallouli, Wael Holly, Handley A. H. Edmonson, William Ahmed, Trisha Kibret, Nadew Old Dominion Univ Engn Management & Syst Engn Norfolk VA 23529 USA NC A&T State Univ Elect & Comp Engn Greensboro NC USA

ISBN: (纸本)9781665444392

The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modeling languages and tools that accommodate Digital Engineering. This paper presents our research on semantic mapping from System Modeling Language (SysML) to functional reactive programming (FRP) with the goal of developing computing mechanisms with functional reactive programming to support executable and verifiable SysML model specification.

关键词： Digital Engineering Model-Based Systems Engineering SysML functional reactive programming Semantic mapping Executable & verifiable systems design Modeling language and tools

来源：评论

学校读者我要写书评

暂无评论

The Essence of Reactivity 16

The Essence of Reactivity

引用

16th ACM SIGPLAN International Symposium on Haskell (Haskell)

作者： Perez, Ivan Dedden, Frank KBR NASA Ames Res Ctr Moffett Field CA 94035 USA Syst F Comp The Hague Netherlands

ISBN: (纸本)9798400702983

reactive programming, functional reactive programming, event-based programming, stream programming, and temporal logic all share an underlying commonality: values can vary over time. These languages differ in multiple ways, including the nature of time itself (e.g., continuous or discrete, dense or sparse, implicit or explicit), on how much of the past and future can be referenced, on the kinds of values that can be represented, as well as the mechanisms used to evaluate expressions or formulas. This paper presents a series of abstractions that capture the essence of different forms of time variance. By separating the aspects that differentiate each family of formalisms, we can better express the commonalities and differences between them. We demonstrate our work with a prototype in Haskell that allows us to write programs in terms of a generic interface that can be later instantiated to different abstractions depending on the desired target.

关键词： abstraction stream programming time variance temporal logic functional reactive programming compilation domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

Supporting the Creation of Dynamic, Interactive Virtual Environments 07

Supporting the Creation of Dynamic, Interactive Virtual Envi...

引用

ACM Symposium on Virtual Reality Software and Technology

作者： Blom, Kristopher J. Beckhaus, Steffi Univ Hamburg Hamburg Germany

ISBN: (纸本)9781595938633

Virtual Reality's expanding adoption makes the creation of more interesting dynamic, interactive environments necessary in order to meet the expectations of users accustomed to modern computer games. In this paper, we present initial explorations of using the recently developed functional reactive programming paradigm to support the creation of such environments. The functional reactive programming paradigm supports these actions by providing tools that match both the user's perception of the dynamics of the world and the underlying hybrid nature of such environments. Continuous functions with explicit time dependencies describe the dynamic behaviors of the environment and discrete event mechanisms provide for modifying the active behaviors of the environment. Initial examples show how this paradigm can be used to control dynamic, interactive Virtual Environments.

关键词： Interactive Dynamic Virtual Environments Virtual Reality functional reactive programming

来源：评论

学校读者我要写书评

暂无评论

Causal Commutative Arrows and Their Optimization

Causal Commutative Arrows and Their Optimization

引用

14th ACM SIGPLAN International Conference on functional programming

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

ISBN: (纸本)9781605583327

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 kind of non-interference property of concurrent computations. We also add an init operator, and identify a crucial law that captures the causal nature of arrow effects. We call the resulting computational model causal commutative arrows. To study this class of computations in more detail, we define an extension to the simply typed lambda calculus 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 combined with stream fusion, the overall methodology can result in speed-ups of greater than two orders of magnitude.

关键词： Languages Performance Theory functional programming Arrows functional reactive programming Dataflow Language Stream Processing Program Optimization

来源：评论

学校读者我要写书评

暂无评论

DynCam: A reactive Multithreaded Pipeline Library for 3D Telepresence in VR 18

DynCam: A Reactive Multithreaded Pipeline Library for 3D Tel...

引用

Virtual Reality International Conference - Laval Virtual (VRIC)

作者： Schroeder, Christoph Sharma, Mayank Teuber, Joern Weller, Rene Zachmann, Gabriel Univ Bremen Bremen Germany CERN Geneva Switzerland

ISBN: (纸本)9781450353816

We contribute a new library, DynCam, for real-time, low latency, streaming point cloud processing with a special focus on telepresence in VR. Our library combines several RGBD-images from multiple distributed sources to a single point cloud and transfers it through a network. This processing is organized as a pipeline that supports implicit multithreading. The pipeline uses functional reactive programming to describe transformations on the data in a declarative way. In contrast to previous libraries, DynCam is platform independent, modular and lightweight. This makes it easy to extend and allows easy integration into existing applications. We have prototypically implemented a telepresence application in the Unreal Engine. Our results show that DynCam outperforms competing libraries concerning latency as well as network traffic.

关键词： Collaborative Distributed VR functional reactive programming Point Clouds RGBD Streaming Latency Measurement

来源：评论

学校读者我要写书评

暂无评论

Funky Grooves: Declarative programming of Full-Fledged Musical Applications 19th

Funky Grooves: Declarative Programming of Full-Fledged Music...

引用

19th International Symposium on Practical Aspects of Declarative Languages (PADL)

作者： Nilsson, Henrik Chupin, Guerric Univ Nottingham Sch Comp Sci Nottingham England ENSTA ParisTech Palaiseau France

ISBN: (纸本)9783319516769;9783319516752

There are many systems and languages for music that essentially are declarative, often following the synchronous dataflow paradigm. As these tools, however, are mainly aimed at artists, their application focus tends to be narrow and their usefulness as general purpose tools for developing musical applications limited, at least if one desires to stay declarative. This paper demonstrates that functional reactive programming (FRP) in combination with reactive Values and Relations (RVR) is one way of addressing this gap. The former, in the synchronous dataflow tradition, aligns with the temporal and declarative nature of music, while the latter allows declarative interfacing with external components as needed for full-fledged musical applications. The paper is a case study around the development of an interactive cellular automaton for composing groove-based music.

关键词： functional reactive programming reactive values and relations Synchronous dataflow Hybrid systems Music

来源：评论

学校读者我要写书评

暂无评论

functional reactive Types 14

Functional Reactive Types

引用

Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) / 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

作者： Jeffrey, Alan Alcatel Lucent Bell Labs Murray Hill NJ 07974 USA

ISBN: (纸本)9781450328869

functional reactive programming (FRP) is an approach to streaming data with a pure functional semantics as time-indexed values. In previous work, we showed that Linear-time Temporal Logic (LTL) can be used as a type system for discrete-time FRP, and that functional reactive primitives perform two roles: as combinators for building streams of data, and as proof rules for constructive LTL. In this paper, we add a third role, by showing that FRP combinators can be used to define streams of types, and that these functional reactive types can be viewed both as a constructive temporal logic, and as the types for functional reactive programs. As an application of functional reactive types, we show that past-time LTL (pLTL) can be extended with FRP to get a logic pLTL+FRP. This logic is expressed as streams of boolean expressions, and so bounded satisfiability of pLTL can be translated to Satisfiability Modulo Theory (SMT). Thus, pLTL+FRP can be used as a constraint language for problems which mix properties of data with temporal properties.

关键词： functional reactive programming Dependent Types Temporal Logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：