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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是51-60 订阅

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

详细简洁

排序：

Settable and Non-Interfering Signal Functions for FRP How a First-Order Switch is More Than Enough 14

Settable and Non-Interfering Signal Functions for FRP How a ...

引用

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

作者： Winograd-Cort, Daniel Hudak, Paul Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9781450328739

functional reactive programming (FRP) provides a method for programming continuous, reactive systems by utilizing signal functions that, abstractly, transform continuous input signals into continuous output signals. These signals may also be streams of events, and indeed, by allowing signal functions themselves to be the values carried by these events (in essence, signals of signal functions), one can conveniently make discrete changes in program behavior by "switching" into and out of these signal functions. This higher-order notion of switching is common among many FRP systems, in particular those based on arrows, such as Yampa. Although convenient, the power of switching is often an overkill and can pose problems for certain types of program optimization (such as causal commutative arrows [14]), as it causes the structure of the program to change dynamically at run-time. Without a notion of just-in-time compilation or related idea, which itself is beset with problems, such optimizations are not possible at compile time. This paper introduces two new ideas that obviate, in a predominance of cases, the need for switching. The first is a noninterference law for arrows with choice that allows an arrowized FRP program to dynamically alter its own structure (within statically limited bounds) as well as abandon unused streams. The other idea is a notion of a settable signal function that allows a signal function to capture its present state and later be restarted from some previous state. With these two features, canonical uses of higher-order switchers can be replaced with a suitable first-order design, thus enabling a broader range of static optimizations.

关键词： functional reactive programming Arrows Arrow-Choice Switch

来源：评论

学校读者我要写书评

暂无评论

Frenetic: A Network programming Language 11

Frenetic: A Network Programming Language

引用

16th ACM SIGPLAN International Conference on functional programming (ICFP 11)

作者： Foster, Nate Harrison, Rob Freedman, Michael J. Monsanto, Christopher Rexford, Jennifer Story, Alec Walker, David Cornell Univ Ithaca NY 14853 USA Princeton Univ Princeton NJ 08544 USA

ISBN: (纸本)9781450308656

Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern features-they are usually defined at the low level of abstraction supplied by the underlying hardware and they fail to provide even rudimentary support for modular programming. As a result, network programs tend to be complicated, error-prone, and difficult to maintain. This paper presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies. Unlike prior work in this domain, these constructs are-by design-fully compositional, which facilitates modular reasoning and enables code reuse. This important property is enabled by Frenetic's novel run-time system which manages all of the details related to installing, uninstalling, and querying low-level packet-processing rules on physical switches. Overall, this paper makes three main contributions: (1) We analyze the state-of-the art in languages for programming networks and identify the key limitations;(2) We present a language design that addresses these limitations, using a series of examples to motivate and validate our choices;(3) We describe an implementation of the language and evaluate its performance on several benchmarks.

关键词： Languages Design Network programming languages domain-specific languages functional reactive programming OpenFlow

来源：评论

学校读者我要写书评

暂无评论

A Scratchpad Memory-Based Execution Platform for functional reactive Systems and its Static Timing Analysis 22

A Scratchpad Memory-Based Execution Platform for Functional ...

引用

22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTSCA)

作者： Kazemi, Zeinab Cheng, Albert M. K. Univ Houston Dept Comp Sci Houston TX 77204 USA

ISBN: (纸本)9781509024797

Priority-based functional reactive programming (P-FRP) is a new variant of FRP to model reactive applications in real-time systems. In P-FRP, when the currently running task is preempted by an arriving higher-priority task, the lower-priority running task is aborted and the higher-priority task will execute. The lower-priority task restarts when the higher-priority one completes. However, unlike the preemptive model, when a task aborts, all the changes made by this task are discarded. That is to say, when an aborted ask restarts, it should execute from the beginning. In order to provide a realistic Worst-Case Response Time (WCRT) of the tasks in P-FRP, it is therefore mandatory to derive a realistic Worst Case Execution Time (WCET) of each task. Previous studies have ignored memory latency in the derivation of the WCRT, making the resulting estimate inaccurate and unrealistic. Furthermore, these studies have also assumed that the WCET of each task is known a priori. In this paper, we introduce a scratchpad memory (SPM)-based platform for executing P-FRP tasks and an approach to determine the WCET of the tasks by considering the memory cost of the aborted tasks. We first compute the WCET of a task in a P-FRP system, and then calculate the memory penalty caused by preemption. In the next step, we derive the WCRT of the task sets in P-FRP by considering memory latency in the proposed platform. Experimental results from the derivations of the WCET and WCRT using task sets from the SNU real-time benchmarks and randomly generated tasks are presented to validate this approach.

关键词： Architecture FRP functional reactive programming functional reactive Systems P-FRP Response Time Scratchpad Memory Timing Analysis

来源：评论

学校读者我要写书评

暂无评论

Flapjax: A programming Language for Ajax Applications 09

Flapjax: A Programming Language for Ajax Applications

引用

24th Annual ACM Conference on Object-Oriented programming, Systems, Languages and Applications

作者： Meyerovich, Leo A. Guha, Arjun Baskin, Jacob Cooper, Gregory H. Greenberg, Michael Bromfield, Aleks Krishnamurthi, Shriram Univ Calif Berkeley Berkeley CA 94720 USA Brown Univ Providence RI 02912 USA Univ Penn Philadelphia PA 19104 USA Microsoft Corp Redmond WA 98052 USA

ISBN: (纸本)9781605587660

This paper presents Flapjax, a language designed for contemporary Web applications. These applications communicate with servers and have rich, interactive interfaces. Flapjax provides two key features that simplify writing these applications. First, it provides event streams, a uniform abstraction for communication within a program as well as with external Web services. Second, the language itself is reactive: it automatically tracks data dependencies and propagates updates along those dataflows. This allows developers to write reactive interfaces in a declarative and compositional style. Flapjax is built on top of JavaScript. It runs on unmodified browsers and readily interoperates with existing JavaScript code. It is usable as either a programming language ( that is compiled to JavaScript) or as a JavaScript library, and is designed for both uses. This paper presents the language, its design decisions, and illustrative examples drawn from several working Flapjax applications.

关键词： Languages Design JavaScript Web programming functional reactive programming

来源：评论

学校读者我要写书评

暂无评论

Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems 6

Towards a Statically Scheduled Parallel Execution of an FRP ...

引用

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

作者： Sakurai, Yoshitaka Watanabe, Takuo Tokyo Inst Technol Dept Comp Sci Tokyo Japan

ISBN: (纸本)9781450369862

This paper presents an automatic parallelization method for a pure FRP language designed for embedded systems. Recent advances in microprocessor technology make it possible to use multicore processors even in resource-constrained embedded systems. To fully utilize such processors with a pure FRP language, we propose a method for parallelizing signal graph updates. The method is based on a static scheduling algorithm because it should run with a simple RTOS or without the help of operating systems. To evaluate the proposed method, we implemented a parallelizing compiler for XFRP, a pure FRP language for embedded systems. In this paper, we describe the parallelizing method and show some preliminary evaluation results using Linux-based systems that demonstrate the effectiveness of the method.

关键词： functional reactive programming Parallelization Scheduling Embedded Systems

来源：评论

学校读者我要写书评

暂无评论

The Beauty and Elegance of functional reactive Animation 11

The Beauty and Elegance of Functional Reactive Animation

引用

11th ACM SIGPLAN International Workshop on functional Art, Music, Modelling, and Design (FARM)

作者： Perez, Ivan Unaffiliated United States

ISBN: (纸本)9798400702952

It has been over 20 years since Elliott and Hudak published functional reactive Animation, which outlined the principles of interactive programming in functional languages. As a result, functional reactive programming (FRP) has seen numerous implementations and been applied to areas like robotics, physics simulations, game programming and user interfaces. Term FRP has itself broadened, and nowadays covers continuous-time purely functional abstractions and discrete-time reactive implementations. This paper presents a series of FRP animations in a current implementation. With a main focus on clarity and meaning, we explore three independent dimensions: space, time, and color. We demonstrate that, when embraced fully, functional programming can result in declarative constructs that are aesthetically beautiful and notationally elegant.

关键词： functional reactive programming animations graphics simulations physics

来源：评论

学校读者我要写书评

暂无评论

Fault-Tolerant Swarms 7

Fault-Tolerant Swarms

引用

7th IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT)

作者： Perez, Ivan Goodloe, Alwyn Edmonson, William Natl Inst Aerosp Hampton VA 23666 USA NASA Langley Res Ctr Hampton VA 23665 USA NC A&T State Univ Greensboro NC USA

ISBN: (纸本)9781728115443

Safety-critical systems must be engineered to be ultra-reliable. Redundancy is critical to tolerate faults that cannot be eliminated by using ruggedized or hardened computing. The use of small satellites allows new missions to be cost-effective, but it also introduces new problems in terms of robustness and fault handling. Apart from the inherent problems of working in a distributed setting, small sats normally lack the redundancy needed to deal with pernicious faults due to constraints on weight, cost and complexity. This paper presents and evaluates fault tolerance mechanisms in a swarm of satellites considered as a whole, making it robust to the failure of one or more satellites. The evaluation is performed with a computer model augmented with the properties desired from our system. We use a random testing tool to inject faults in different parts of our model and evaluate the fault detection and fault correction mechanisms we propose. Our results support the suitability of the proposed fault model, fault tolerant architecture, and evaluation methodology.

关键词： fault tolerance satellites cubesats nanosats swarms functional reactive programming quickcheck testing system verification

来源：评论

学校读者我要写书评

暂无评论

Wormholes: Introducing Effects to FRP

Wormholes: Introducing Effects to FRP

引用

2012 Haskell Symposium

作者： Winograd-Cort, Daniel Hudak, Paul Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9781450315746

functional reactive programming (FRP) is a useful model for programming real-time and reactive systems in which one defines a signal function to process a stream of input values into a stream of output values. However, performing side effects (e. g. memory mutation or input/output) in this model is tricky and typically unsafe. In previous work, Winograd-Cort et al. [2012] introduced resource types and wormholes to address this problem. This paper better motivates, expands upon, and formalizes the notion of a wormhole to fully unlock its potential. We show, for example, that wormholes can be used to define the concept of causality. This in turn allows us to provide behaviors such as looping, a core component of most languages, without building it directly into the language. We also improve upon our previous design by making wormholes less verbose and easier to use. To formalize the notion of a wormhole, we define an extension to the simply typed lambda calculus, complete with typing rules and operational semantics. In addition, we present a new form of semantic transition that we call a temporal transition to specify how an FRP program behaves over time and to allow us to better reason about causality. As our model is designed for a Haskell implementation, the semantics are lazy. Finally, with the language defined, we prove that our wormholes indeed allow side effects to be performed safely in an FRP framework.

关键词： Design Languages functional reactive programming Arrows Resource Types Stream Processing Side Effects Causality

来源：评论

学校读者我要写书评

暂无评论

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations 1

A Software Architecture Based on Coarse-Grained Self-Adjusti...

引用

1st ACM SIGPLAN International Workshop on functional Software Architecture (FUNARCH) - functional programming in the Large

作者： Wehr, Stefan Univ Appl Sci Offenburg Germany

ISBN: (纸本)9798400702976

Ensuring that software applications present their users the most recent version of data is not trivial. Self-adjusting computations are a technique for automatically and efficiently recomputing output data whenever some input changes. This article describes the software architecture of a large, commercial software system built around a framework for coarse-grained self-adjusting computations in Haskell. It discusses advantages and disadvantages based on longtime experience. The article also presents a demo of the system and explains the API of the framework.

关键词： software architecture self-adjusting computations functional reactive programming push pull Haskell

来源：评论

学校读者我要写书评

暂无评论

A Library-Based Approach to Context-Dependent Computation with reactive Values 2016

A Library-Based Approach to Context-Dependent Computation wi...

引用

15th International Conference on Modularity (MODULARITY)

作者： Inoue, Hiroaki Igarashi, Atsushi Kyoto Univ Grad Sch Informat Kyoto 6068501 Japan

ISBN: (纸本)9781450340335

Language constructs for programming context-dependent computation are required in recent software development, where context information influences program behavior, whose description is often scattered around several modules as conditional expressions. The Context-Oriented programming (COP) community has revealed that context-dependent computations should be modularized into partially defined methods, those partial methods should be adaptable at run-time, and a method dispatching mechanism should take context information into account. Such language constructs enhance modularity of a program. Although contexts are usually reactively changeable, many existing COP approaches do not consider the relation between contexts and reactive information. In this paper, we develop a Scala library for context-dependent computations, based on the idea of contexts as reactive values, which are well studied in the field of functional reactive programming. We also show that dynamic binding is useful to control how reactive values influence context dependent functions;it provides context caching to prevent unexpected reactions.

关键词： Context-oriented programming functional reactive programming Dynamic binding Scala

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：