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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

The Structure and Agency Policy Language (SAPL) for Attribute Stream-Based Access Control (ASBAC) 1

引用

2nd International Workshop on Emerging Technologies for Authorization and Authentication (ETAA)

作者： Heutelbeck, Dominic FTK eV Forschungsinst Telekommunikat & Kooperat D-44149 Dortmund Germany

ISBN: (数字)9783030397494

ISBN: (纸本)9783030397494;9783030397487

Current architectures and data flow models for access control are based on request response communication. In stateful or session-based applications monitoring access rights over time this results in polling of authorization services and for Attribute-Based Access Control (ABAC) in the polling of policy information points. This introduces latency or increased load due to polling. Attribute-Stream-based Access Control (ASBAC) is an authorization model based on a publish subscribe pattern mitigating these bottlenecks. ASBAC allows the quasi real time consideration of attribute data streams for access control decisions, such as internet-of-things (IoT) sensor data. This paper introduces the Structure and Agency Policy Language (SAPL) for implementing ASBAC. In addition, the paper describes how ASBAC with SAPL can be implemented by applying a reactive programming model and describes key algorithms for evaluating SAPL policies.

关键词： Attribute-based access control ABAC Attribute stream-based access control ASBAC Data streams reactive programming IoT

来源：评论

学校读者我要写书评

暂无评论

Synchronous cooperative threading model in MSSL 23

Synchronous cooperative threading model in MSSL

引用

38th Annual ACM Symposium on Applied Computing (ACM SAC)

作者： Rammal, Darine Bousdira, Wadoud Dabrowski, Frederic Univ Orleans LIFO Orleans France INSA CVL Blois Loir & Cher France

ISBN: (纸本)9781450395175

We propose a synchronous cooperative threading model for a programming language called MSSL. In MSSL, threads are executed cooperatively by a round-robin scheduler. Meanwhile, shared data between threads does not require the locking primitives for protection. This result is achieved by introducing a new type of smart pointers, named Trc, that combines sharing and mutability. Furthermore, using the notion of logical time, called instants, threads can progress synchronously with a consistent view of the state of signals. Signals are powerful, flexible, and have compelling means of communication. In this paper, we present a subset of the formal semantics of MSSL in the format of structural operational semantics.

关键词： Threads cooperative scheduling reactive programming concurrency memory safety

来源：评论

学校读者我要写书评

暂无评论

reactive Server Interface Design for Real-Time Data Exchange in Multiple Data Source and Clients 9

Reactive Server Interface Design for Real-Time Data Exchange...

引用

9th International Conference on Information and Communication Technology Convergence (ICTC)

作者： Jeon, Dong-cheol Lee, Dae-hyung Hwang, Heejoung Gachon Univ Dept Comp Engn Gyeonggi Do South Korea

ISBN: (纸本)9781538650417

Various types of data are generated through IoT sensors or wearable devices as well as existing mobile and PC devices, and the amount of data to be processed in real-time has increased to quickly show information changes to users. reactive programming is a method for asynchronous programming among developers. It can process many threads efficiently with a small quantity of system resources and can process partial data changes in real-time without changing the whole system. In this paper, we propose an interface design for real-time data exchange server based on HL7 FHIR medical data.

关键词： reactive programming Real-Time Data Exchange Interface

来源：评论

学校读者我要写书评

暂无评论

A Survey on Parallel Architectures and programming Models 43

A Survey on Parallel Architectures and Programming Models

引用

43rd International Convention on Information, Communication and Electronic Technology (MIPRO)

作者： Pervan, Branimir Knezovic, Josip Univ Zagreb Fac Elect Engn & Comp Zagreb Croatia

ISBN: (纸本)9789532330991

In addition to large-scale computers, multicore processors have taken a significant part in all kinds of devices, from personal computers to cell phones. Although programming techniques for parallel systems exist for a while, the development of applications that can appropriately utilize multicores is still challenging in many aspects, especially for full exploitation of the computational resources. Additionally, another challenge is the efficient and easy programming of heterogeneous systems for the complete exploitation of silicon resources. Solutions to making parallel programming more developer-friendly are various programming models that abstract parallelism and concurrency. Implementations of those models need to extend even to lower layers of software parallelism and hardware parallelism as well. This paper gives an overview of parallel architectures and trending programming models for such processing units and systems. It also presents challenges to scalability and portability in parallel systems and presents up to date trends in heterogeneous systems that heavily exploit parallelism.

关键词： parallel architectures parallel programming heterogeneous systems scalability portability domain-specific languages reactive programming

来源：评论

学校读者我要写书评

暂无评论

***: a language to orchestrate web applications 18

***: a language to orchestrate web applications

引用

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

作者： Vidal, Colin Berry, Gerard Serrano, Manuel Univ Nice Cote dAzur Inria Sophia Mediterranee Nice France Coll France Paris France

We are interested in web orchestration, which is the problem of appropriately handling the asynchronous events appearing in program executions. It is known be one of the major difficulties of web programming (see call... 详细信息

ISBN: (纸本)9781450351911

关键词： Web programming reactive programming Orchestration

来源：评论

学校读者我要写书评

暂无评论

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional reactive Programs 16

This Is Driving Me Loopy: Efficient Loops in Arrowized Funct...

引用

16th ACM SIGPLAN International Symposium on Haskell (Haskell)

作者： Keating, Finnbar Gale, Michael B. Univ Warwick Coventry W Midlands England GitHub Oxford England

ISBN: (纸本)9798400702983

Arrowized Functional reactive programming (AFRP) is one approach to writing reactive programs declaratively, based on the arrows abstraction in Haskell. While AFRP elegantly expresses the relationships between inputs and outputs of a reactive system, naive implementations suffer from poor performance. In particular, the loop combinator depends on lazy semantics: this inflicts the overheads of lazy evaluation and simultaneously prevents existing optimisation techniques from being applied to it. We present a novel program transformation which utilises the Arrow and ArrowLoop laws to transform typical uses of loop into restricted forms that have an execution order that is known at compile-time and therefore can be executed strictly. We evaluate the performance gained from our transformations and prove that the transformations are correct.

关键词： Functional reactive programming reactive programming stream programming arrows program transformation

来源：评论

学校读者我要写书评

暂无评论

A Virtual Machine for Higher-Order Reactors 8

A Virtual Machine for Higher-Order Reactors

引用

8th International Conference on the Art, Science, and Engineering of programming (programming)

作者： Oeyen, Bjarno Nicolay, Jens De Meuter, Wolfgang Vrije Univ Brussel Brussels Belgium

ISBN: (纸本)9798400706349

We present the design of a Remus, a virtual machine for reactive (RP) programs - signal-based programs that react automatically to changes - that is currently under development. The design of Remus been tailored specifically for reactive programs: it has a dedicated instruction set and memory model that is compatible with the model of reactive programming. The virtual machine allows reactive programs to be evaluated without needing to compile them to native code, nor by running them on an existing (general-purpose) virtual machine that is not specific to RP. The model of the virtual machine makes it possible to reason over the various behavioural aspects of a reactive program, such as memory consumption, in a language-agnostic way. As an example, we propose a static analysis that aims to eliminate dynamic allocations that occur in dynamic reactive programs: i.e., programs where the dependencies between the signals that make up a program changes at run-time. We show that our virtual machine, supplemented by the results of the analysis, allows for (well-behaved) reactive programs to be evaluated in constant space (i.e. in bounded memory) even when dependencies change or new signals are created programmatically.

关键词： reactive programming Virtual Machine Static Compilation Higher-Order programming

来源：评论

学校读者我要写书评

暂无评论

reactive-based Complex Event Processing: An Overview and Energy Consumption Analysis of *** 19

Reactive-based Complex Event Processing: An Overview and Ene...

引用

33rd Brazilian Symposium on Software Engineering (SBES) / 10th Brazilian Conference on Software (CBSoft)

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

ISBN: (纸本)9781450376518

Complex event processing (CEP) and reactive Languages (RLs) are examples of solutions for the so-called reactive applications. Such applications are designed to detect and react to changes or event occurrences as they happen in a timely fashion. Both CEP and RLs have been developed by different communities, yet some researchers agree that they share certain aspects and could perhaps be integrated. With that in mind, we developed a JavaScript library called *** that leverages the well-known reactive Extensions for JavaScript (RxJS) to offer not only general-purpose stream operations but also CEP ones. The fact of being a JavaScript library allows *** to be used in Web applications and easily embedded into mobile applications. Therefore, it opens many possibilities for CEP in mobile client applications. It also raises the concern of energy efficiency since CEP applications commonly have to deal with a significant number of events, and its continuous operations on data flows may incur significant processing. Even though *** has been designed after RxJS, it was conceived in a loosely coupled way that the underlying reactive library should be easily replaced if needed. In addition to presenting the *** library, in this paper, we investigate if there is any significant change in performance by running an experiment where the replacement of the reactive library used in *** is the main factor analyzed. The experiment was executed in different Android devices, focusing specifically on energy consumption, an essential non-functional requirement in the smartphone realm.

关键词： reactive programming Complex Event Processing Energy Consumption Mobile Devices

来源：评论

学校读者我要写书评

暂无评论

GRASS: Generic reactive Application-Specific Scheduling 6

GRASS: Generic Reactive Application-Specific Scheduling

引用

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

作者： Bloecher, Marcel Eichholz, Matthias Weisenburger, Pascal Eugster, Patrick Mezini, Mira Salvaneschi, Guido Tech Univ Darmstadt Darmstadt Germany USI Lugano Switzerland

ISBN: (纸本)9781450369862

High resource utilization is important to operate compute infrastructures and data centers efficiently. High utilization is achieved by multiplexing several applications over the same physical infrastructure. Yet, with this approach, the different requirements of each application have to be taken into account when scheduling resources. We propose GRASS, a reactive domain-specific abstraction that allows specifying application-tailored resource scheduling policies. We demonstrate how the declarative approach of GRASS enables extension and composition of scheduling policies. Our evaluation shows the performance benefits of considering application-specific information in a composition of scheduling policies that adapt at run time.

关键词： Data Center Resource Scheduling reactive programming

来源：评论

学校读者我要写书评

暂无评论

Distributed Persistent Signals: Architecture and Implementation 9

Distributed Persistent Signals: Architecture and Implementat...

引用

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

作者： Kamina, Tetsuo Ueno, Sota Oita Univ Oita Japan

ISBN: (纸本)9781450399111

A signal in reactive programming (RP) is a function of time whose value is updated automatically without performing explicit re-assignments. SignalJ, a Java-based RP language, provides persistent signals, whose update histories constitute time-series data, i.e., a signal is a function of a specified (possibly past) time. These update histories are stored in a time-series database to facilitate the use of persistent signals in an open, distributed setting. However, currently SignalJ is only used in local systems, and there are several obstacles to making it applicable to distributed systems. In this study, we address this problem by proposing a distributed architecture for the SignalJ runtime platform. This architecture includes an ID resolver that makes persistent signals location-transparent and supports a distributed update propagation mechanism that makes distributed time-series data consistent. We realize this architecture by extending the SignalJ compiler and its runtime library as well as providing an add-on to the time-series database. The effectiveness of this architecture is demonstrated by implementing a simple IoT application using this extension.

关键词： reactive programming Time-series databases SignalJ

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：