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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

96 篇 会议
45 篇 期刊文献
10 册 图书
5 篇 学位论文

馆藏范围

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

日期分布

学科分类号

139 篇 工学
- 104 篇 计算机科学与技术...
- 90 篇 软件工程
- 27 篇 电气工程
- 7 篇 信息与通信工程
- 5 篇 控制科学与工程
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
12 篇 理学
- 5 篇 数学
- 4 篇 物理学
- 3 篇 统计学（可授理学、...
- 2 篇 系统科学
- 1 篇 化学
4 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 农林经济管理
- 2 篇 图书情报与档案管...
3 篇 经济学
- 3 篇 应用经济学
- 1 篇 理论经济学
3 篇 法学
- 1 篇 法学
- 1 篇 政治学
- 1 篇 社会学
- 1 篇 马克思主义理论
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

156 篇 reactive program...
9 篇 java
9 篇 functional react...
7 篇 languages
7 篇 asynchronous pro...
7 篇 concurrency
6 篇 parallelism
6 篇 functional progr...
6 篇 incremental comp...
5 篇 frp
5 篇 domain-specific ...
5 篇 event processing
5 篇 distributed prog...
5 篇 semantics
4 篇 internet of thin...
4 篇 complex event pr...
4 篇 reactive extensi...
4 篇 dataflow program...
4 篇 design
4 篇 haskell

机构

9 篇 tech univ darmst...
4 篇 vrije univ bruss...
4 篇 vrije univ bruss...
3 篇 univ lancaster l...
2 篇 github oxford en...
2 篇 coll france
2 篇 delft univ techn...
2 篇 tech univ darmst...
2 篇 oita univ oita
2 篇 university of te...
2 篇 univ fed pernamb...
2 篇 univ tokyo
2 篇 mit cambridge ma...
2 篇 univ minho braga
2 篇 univ nottingham ...
2 篇 brno university ...
2 篇 ibm res yorktown...
2 篇 univ warwick cov...
2 篇 univ potsdam has...
2 篇 technische unive...

作者

12 篇 salvaneschi guid...
9 篇 de meuter wolfga...
9 篇 mezini mira
6 篇 mandel louis
5 篇 baudart guillaum...
4 篇 oeyen bjarno
4 篇 rutten eric
3 篇 cunningham h. co...
3 篇 demetrescu camil
3 篇 jones j. adam
3 篇 kamina tetsuo
3 篇 weisenburger pas...
3 篇 gueye soguy mak-...
3 篇 zimmerle carlos
3 篇 mogk ragnar
3 篇 nicolay jens
3 篇 ribichini andrea
3 篇 koehler mirko
3 篇 haas julian
3 篇 finocchi irene

语言

148 篇 英文
5 篇 其他
2 篇 中文
1 篇 法文

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

共 156 条记录，以下是21-30 订阅

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

详细简洁

排序：

DISCOPAR: A Visual reactive programming Language for Generating Cloud-Based Participatory Sensing Platforms 5

DISCOPAR: A Visual Reactive Programming Language for Generat...

引用

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

作者： Zaman, Jesse Kambona, Kennedy De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781450360708

Participatory sensing (PS) platforms enable stakeholders to collect, analyse and visualise data for a particular interest. Despite high societal demand, developing a new PS platform remains a labour-intensive, nonreusable process that requires high technical expertise. We present DISCOPAR, a visual reactive flow-based domain-specific language geared towards the construction of reusable citizen observatories. With DISCOPAR, users interact with visual components to implement the various elements of a PS platforms without having to worry about its underlying technological complexities. We validate our approach through experiments using real-world empirical usability studies of ICT-agnostic users. The results show that DISCOPAR allows users with limited technological knowledge to create their own PS platform.

关键词： participatory sensing visual programming reactive programming flow-based programming

来源：评论

学校读者我要写书评

暂无评论

A Web-based Approach using reactive programming for Complex Event Processing in Internet of Things Applications 18

A Web-based Approach using Reactive Programming for Complex ...

引用

33rd Annual ACM Symposium on Applied Computing (ACM SAC)

作者： Zimmerle, Carlos Gama, Kiev Univ Fed Pernambuco UFPE Ctr Informat Recife PE Brazil

ISBN: (纸本)9781450351911

The Internet of things (IoT) has expanded at a fantastic pace in the last years. It will be only a matter of years before every single daily object will contain embedded sensors and actuators connected through the Internet, producing massive amounts of data. Mean-while, efforts are being carried out to enable IoT objects to be accessible through the Web as well. Thanks to those efforts, a new class of graphical tools, namely physical mashups, that explores data flow programming to connect Web components and Internet of things' devices easily, can now be used to build applications that mix the physical world with the virtual one. In parallel, the concept of Complex Event processing has emerged as a response to the increase of data from different types of distributed applications due to the need for (quasi) real-time processing of data. In this paper we propose the combination of both approaches, CEP and WoT mashups, to build a simple approach to tackle this new avalanche of data in the context of IoT applications. We apply reactive programming to implement the CEP operators that we provide as extensions of an existing WoT platform. A use case scenario is presented to demonstrate the approach.

关键词： Internet of Things Web of Things Physical Mashups Complex Event Processing reactive programming

来源：评论

学校读者我要写书评

暂无评论

Functional reactive programming, Refactored 9

Functional Reactive Programming, Refactored

引用

9th ACM SIGPLAN Symposium on Haskell (Haskell 2016)

作者： Perez, Ivan Baerenz, Manuel Nilsson, Henrik Univ Nottingham Nottingham England Univ Bamberg Bamberg Germany

ISBN: (纸本)9781450344340

Functional reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. This paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by bench-marking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.

关键词： functional reactive programming reactive programming stream programming monadic streams Haskell

来源：评论

学校读者我要写书评

暂无评论

Safe Functional reactive programming through Dependent Types

Safe Functional Reactive Programming through Dependent Types

引用

14th ACM SIGPLAN International Conference on Functional programming

作者： Sculthorpe, Neil Nilsson, Henrik Univ Nottingham Sch Comp Sci Nottingham NG7 2RD England

ISBN: (纸本)9781605583327

Functional reactive programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discrete-time signals (hybrid systems). What sets FRP apart from Most other languages for similar applications is its support for systems with dynamic structure and for higher-order reactive constructs. Statically guaranteeing correctness properties of programs is an attractive proposition. This is true in particular for typical application domains for reactive programming such as embedded systems. To that end, many existing reactive languages have type systems or other static checks that guarantee domain-specific properties, such as feedback loops always being well-formed. However, they are limited in their capabilities to support dynamism and higher-order data-flow compared with FRP. Thus, the onus of ensuring such properties of FRP programs has so far been on the programmer as established static techniques do not suffice. In this paper, we show how dependent types allow this concern to be addressed. We present an implementation of FRP embedded in the dependently-typed language Agda, leveraging the type system of the host language to craft a domain-specific (dependent) type system for FRP. The implementation constitutes a discrete, operational semantics of FRP, and as it passes the Agda type, coverage, and termination checks, we know the operational semantics is total, which means our type system is safe.

关键词： dependent types domain-specific languages DSELs FRP functional programming reactive programming synchronous data-flow

来源：评论

学校读者我要写书评

暂无评论

A Functional reactive programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers 38

A Functional Reactive Programming Language for Wirelessly Co...

引用

38th International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Izawa, Yusuke Kadomoto, Junichiro Irie, Hidetsugu Sakai, Shuichi IBM Res Tokyo Japan Univ Tokyo Tokyo Japan

ISBN: (纸本)9798400703843

This work presents the concept of MorphLang, a functional reactive programming language tailored for shape-changeable computers, which are built using wirelessly interconnected chiplets. MorphLang simplifies the programming process for these systems by concentrating on the basic behaviors of individual nodes and their asynchronous communication. The language allows for compilation into binary or Arduino formats, and programs can be transmitted to each node either wirelessly or through physical connections.

关键词： shape-changeable computer reactive programming embedded systems

来源：评论

学校读者我要写书评

暂无评论

Stream Fusion using reactive programming, LINQ and Magic Updates

Stream Fusion using Reactive Programming, LINQ and Magic Upd...

引用

16th International Conference on Information Fusion (FUSION)

作者： Schueller, Gereon Behrend, Andreas Fraunhofer FKIE Fraunhoferstr 20 D-53343 Wachtberg Germany Univ Bonn D-53117 Bonn Germany

ISBN: (纸本)9786058631113

The paradigm of reactive programming has attained more and more interest in recent time. In this paper, we show why reactive programming is a well-suited paradigm for sensor fusion algorithms. As a new contribution, we show how the efficiency of stream-oriented reactive programs can be enhanced by applying the magic update method that originally stems from the field of update propagation in deductive databases.

关键词： Magic Sorcery reactive programming deductive databases Sensor fusion streams Fusion reactions Fusion, biological FUSION fusion (melting)

来源：评论

学校读者我要写书评

暂无评论

The IoT-architecture on the Principles of reactive programming

The IoT-architecture on the Principles of Reactive Programmi...

引用

2017 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

作者： Romanov, Evgeny L. Troshina, Galina V. Novosibirsk State Tech Univ Comp Engn Dept Novosibirsk Russia

ISBN: (纸本)9781538615966

The IoT-system architecture is considered on the basis of the reactive programming paradigm. The generalized types and variables and also program modules are used for data presentation. Communication between the variables and the modules connections are established. The synchronization of variables values and the events transfer about their changes is carried out through these communications. Local communications are supported by the reactive programming system, remote communications are supported by service and the synchronization protocol. The events processing is made with use of the simple interpreted language. The WebAPI server allows clients to operate the server information model, to create own synchronized variables in client applications. The functioning uniform environment of the IoT, or the "clever house", or the distributed system is created on this basis.

关键词： Internet of things clever house reactive programming router cloud service

来源：评论

学校读者我要写书评

暂无评论

Building IoT Systems Using Distributed First-Class reactive programming 10

Building IoT Systems Using Distributed First-Class Reactive ...

引用

10th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom)

作者： De Troyer, Christophe Nicolay, Jens De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781538678992

Contemporary IoT systems are challenging to develop, deploy, and maintain. This is because of their ever-increasing scale, dynamic network topologies, heterogeneity and resource constraints of the involved devices, and failures that may occur as a result of these characteristics. Existing approaches are either not at the right level of abstraction, require developers to learn specialized languages, or miss certain key features to address all these challenges in a uniform manner. In this paper we leverage reactive programming and code mobility to support the entire life-cycle of large-scale IoT systems. Our approach is based on existing programming technologies and offers simple and composable abstractions to developers. We implemented our approach as a middleware called Potato and used it to develop and deploy an IoT application on a Raspberry Pi cluster. We found that using Potato reduces much of the accidental complexity associated with developing and deploying IoT systems, resulting in clean and maintainable programs.

关键词： iot code mobility observables reactive programming

来源：评论

学校读者我要写书评

暂无评论

Automated Refactoring to reactive programming 34

Automated Refactoring to Reactive Programming

引用

34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Koehler, Mirko Salvaneschi, Guido Tech Univ Darmstadt React Programming Technol Darmstadt Germany

ISBN: (纸本)9781728125084

reactive programming languages and libraries, such as reactiveX, have been shown to significantly improve software design and have seen important industrial adoption over the last years. Asynchronous applications which are notoriously error-prone to implement and to maintain greatly benefit from reactive programming because they can be defined in a declarative style, which improves code clarity and extensibility. In this paper, we tackle the problem of refactoring existing software that has been designed with traditional abstractions for asynchronous programming. We propose 2Rx, a refactoring approach to automatically convert asynchronous code to reactive programming. Our evaluation on top-starred GitHub projects shows that 2Rx is effective with common asynchronous constructs and it can provide a refactoring for 91.7% of their occurrences.

关键词： refactoring asynchronous programming reactive programming Java

来源：评论

学校读者我要写书评

暂无评论

Historiographer: Strongly-Consistent Distributed reactive programming with Minimal Locking 38

Historiographer: Strongly-Consistent Distributed Reactive Pr...

引用

38th International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Freeman, Julia Zhou, Timothy Francis Marion Univ Florence SC 29506 USA Univ Illinois Champaign IL USA

ISBN: (纸本)9798400703843

We propose a novel distributed reactive propagation semantics that provides strong consistency guarantees with minimal locking. This is achieved by decoupling reactive propagation from transaction execution, utilizing reactive histories to avoid propagating in-progress or inconsistent results. We formally define soundness properties in terms of histories, and sketch how our semantics upholds them. We implement Historiographer, a runtime incorporating our methods, and conduct a preliminary evaluation demonstrating performance improvements of up to 38% on select benchmarks.

关键词： reactive programming Concurrency Consistency

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：