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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 种 纸本馆藏

日期分布

学科分类号

140 篇 工学
- 104 篇 计算机科学与技术...
- 90 篇 软件工程
- 27 篇 电气工程
- 7 篇 信息与通信工程
- 5 篇 控制科学与工程
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 船舶与海洋工程
13 篇 理学
- 5 篇 数学
- 4 篇 物理学
- 3 篇 统计学（可授理学、...
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 海洋科学
3 篇 法学
- 1 篇 法学
- 1 篇 政治学
- 1 篇 社会学
- 1 篇 马克思主义理论
3 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
- 1 篇 农林经济管理
2 篇 经济学
- 2 篇 应用经济学
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 篇 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...
2 篇 iowa state univ ...

作者

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 条记录，以下是111-120 订阅

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

详细简洁

排序：

RxAda: An Ada implementation of the reactiveX API 1

引用

22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)

作者： Mosteo, Alejandro R. I3A Mariano Esquillor S-N Zaragoza 50018 Spain Ctr Univ Def Zaragoza CUD Ctra Huesca S-N Zaragoza 50090 Spain

ISBN: (数字)9783319605883

ISBN: (纸本)9783319605883;9783319605876

The reactiveX API, also known as the reactive Extensions in the. NET world, is a recently popularized reactive programming framework for asynchronous, event-based, multi-threaded programming. Presented by its proponents as a solid tool for applications requiring a simple yet powerful approach to event-driven systems, it has seen favorable adoption in many popular languages. Although Ada has been long-favored by powerful tasking capabilities that reduce the need for additional multithreading support, the reactive approach has properties that are well-suited to the safety and maintainability culture predominant in the Ada world, such as complexity reduction, race-condition and deadlock avoidance, and enhanced maintainability by means of concise and well-defined information flows. This work presents the design for a reactiveX Ada implementation that aims to balance desirable library properties such as compile-time checks, reasonable user-required generic instantiations, and a shallow learning curve for both library clients and maintainers. The Ada programmer can henceforth benefit from the abundant documentation existing for the language-agnostic reactiveX approach without stepping out of the Ada tool chain.

关键词： reactiveX Observer pattern reactive programming Ada 2012

来源：评论

学校读者我要写书评

暂无评论

Unified Library for Dependency-graph Reactivity on Web and Desktop User Interfaces 20

Unified Library for Dependency-graph Reactivity on Web and D...

引用

ACM Southeast Conference (ACMSE)

作者： Marum, Joao Paulo Oliveira Cunningham, H. Conrad Jones, J. Adam Univ Mississippi University MS 38677 USA

ISBN: (纸本)9781450371056

In user interfaces on Web and desktop applications, the system must quickly respond to user inputs and accurately display the result. Current solutions for user interfaces often respond too slowly and display temporarily inaccurate or misleading states, resulting in low user satisfaction. To alleviate this problem, we develop a reactive programming approach that encodes the complex relationships among the user interface components in a dependency graph and then uses the graph to order the updates of the components without violating the dependency constraints. This enables more timely updates and more accurate visualizations, potentially providing users with a more satisfying experience. We evaluate our approach by comparing its performance with important alternative reactive libraries for user interfaces.

关键词： User interface event-driven system dependency graph reactive programming

来源：评论

学校读者我要写书评

暂无评论

Multitier reactive Abstractions

Multitier Reactive Abstractions

引用

ACM SIGPLAN International Conference on Systems, programming, Languages and Applications: Software for Humanity (SPLASH Companion)

作者： Weisenburger, Pascal Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781450344371

Distributed applications are traditionally developed using separate modules for each component in the distributed system, which can even be written in different programming languages. Those modules react on events such as user input, which are produced by other modules, and may in turn produce new events to be handled by different modules. Thus, most distributed applications are reactive in nature. Distributed event-based data flow makes it is hard to reason about the system and therefore makes the development of distributed systems challenging. In this paper, we present language abstractions for distributed reactive programming easing the development of such applications and supporting various distributed architectures.

关键词： Distributed programming reactive programming

来源：评论

学校读者我要写书评

暂无评论

Rhine: FRP with Type-Level Clocks 11

Rhine: FRP with Type-Level Clocks

引用

Haskell Conference

作者： Baerenz, Manuel Perez, Ivan Univ Wien Math Fak Vienna Austria NIA Hampton VA USA

ISBN: (纸本)9781450358354

Processing data at different rates is generally a hard problem in reactive programming. Buffering problems, lags, and concurrency issues often occur. Many of these problems are clock errors, where data at different rates is combined incorrectly. Techniques to avoid clock errors, such as type-level clocks and deterministic scheduling, exist in the field of synchronous programming, but are not implemented in general-purpose languages like Haskell. Rhine is a clock-safe library for synchronous and asynchronous Functional reactive programming (FRP). It separates the aspects of clocking, scheduling and resampling from each other, and ensures clock-safety at the type level. Concurrent communication is encapsulated safely. Diverse reactive subsystems can be combined in a coherent, declarative data-flow framework, while correct interoperability of data at different rates is guaranteed by type-level clocks. This provides a general-purpose framework that simplifies multi-rate FRP systems and can be used for game development, media applications, GUIs and embedded systems, through a flexible API with many reusable components.

关键词： functional reactive programming haskell reactive programming asynchronous programming

来源：评论

学校读者我要写书评

暂无评论

reactive HLA-based Distributed Simulation Systems with RxHLA 18

Reactive HLA-based Distributed Simulation Systems with RxHLA

引用

22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

作者： Falcone, Alberto Garro, Alfredo Univ Calabria Dept Informat Modeling Elect & Syst Engn DIMES Via P Bucci 41C I-87036 Arcavacata Di Rende CS Italy

ISBN: (纸本)9781538650486

Distributed and Real-Time Simulation represents a solid and effective approach to manage the ever-increasing complexity of modern systems. The IEEE 1516-2010 for Modeling and Simulation (M&S) High Level Architecture (HLA) is an interoperability standard for Distributed Simulation (DS) used to support analysis, engineering and training in different research and industrial domains. Using HLA, simulation entities (called Federates) can interact (that is, to publish and/or subscribe ObjectClasses and InteractionClasses, to communicate data, and to synchronize actions) with other Federates in a common simulation environment (called Federation) through the services provided by the Run-Time Infrastructure (RTI) that abstract and hide the details of the computing infrastructures making them communicable. In today's HLA-DS systems, in which simulation entities are highly concurrent, distributed, and the interactions among them are asynchronous, great benefits can derive from the exploitation of reactive approaches, tools and techniques so as to reactively manage the Federates' communication flow instead of handling it through HLA Callbacks. In this context, the paper presents a solution for defining reactive HLA Federates along with the RxHLA software framework that aims at defining and building reactive, concurrent, and distributed time/event-driven simulation components (Federates) in a reactive fashion.

关键词： Distributed Simulation High Level Architecture (HLA) Modeling and Simulation reactive programming

来源：评论

学校读者我要写书评

暂无评论

reactive Object Queries Consistent Views in Object-Oriented Languages 2016

Reactive Object Queries Consistent Views in Object-Oriented ...

引用

15th International Conference on Modularity (MODULARITY)

作者： Lehmann, Stefan Felgentreff, Tim Lincke, Jens Rein, Patrick Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781450340335

Maintaining consistency between data throughout a system using scattered, imperative code fragments is challenging. Some mechanisms address this challenge by making data dependencies explicit. Among these mechanisms are reactive collections, which define data dependencies for collections of objects, and object queries, which allow developers to query their program for a subset of objects. However, on their own, both of these mechanisms are limited. reactive collections require an initial collection to apply reactive operations to and object queries do not update its result as the system changes. Using these two mechanisms in conjunction allows each to mitigate the disadvantage of the other. To do so, object queries need to respond to state changes of the system. In this paper, we propose a combination of both mechanisms, called reactive object queries. reactive object queries allow the developer to declaratively select all objects in a program that match a particular predicate, creating a view. Additionally, views can be composed of other views using reactive operations. All views are automatically updated when the program state changes. To better integrate with existing imperative systems, we provide fine-grained events signaling view updates. We implemented the proposed concepts in JavaScript. Our initial experience with example applications shows that the combined concept eases the integration of reactive mechanisms with object-oriented environments by avoiding scattered update code.

关键词： Events reactive Collections reactive programming Object Queries Object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Ultrametric Semantics of reactive Programs

Ultrametric Semantics of Reactive Programs

引用

26th Annual IEEE Symposium on Logic in Computer Science (LICS)

作者： Krishnaswami, Neelakantan R. Benton, Nick Microsoft Research United States

ISBN: (纸本)9780769544120

We describe a denotational model of higher-order functional reactive programming using ultrametric spaces and nonexpansive maps, which provide a natural Cartesian closed generalization of causal stream functions and guarded recursive definitions. We define a type theory corresponding to this semantics and show that it satisfies normalization. Finally, we show how to efficiently implement reactive programs written in this language using an imperatively updated dataflow graph, and give a separation logic proof that this low-level implementation is correct with respect to the high-level semantics.

关键词： Semantics type theory semiotics Stream function data flow graphs reactive programming LOW LEVEL reactive Language metric space

来源：评论

学校读者我要写书评

暂无评论

Riffle: reactive Relational State for Local-First Applications 23

Riffle: Reactive Relational State for Local-First Applicatio...

引用

36th Annual ACM Symposium on User Interface Software and Technology (UIST)

作者： Litt, Geoffrey Schiefer, Nicholas Schickling, Johannes Jackson, Daniel MIT 77 Massachusetts Ave Cambridge MA 02139 USA Anthropic San Francisco CA USA

ISBN: (纸本)9798400701320

The reactive paradigm for developing user interfaces promises both simplicity and scalability, but existing frameworks usually compromise one for the other. We present Rife, a reactive state management system that achieves both simplicity and scalability by managing the entire state of a web application in a client-side persistent relational database. Data transformations over the application state are defined in a graph of reactive relational queries, providing developers with a simple spreadsheet-like reactivity model. Domain state and UI state are unified within the same system, and efficient incremental query maintenance ensures the UI remains responsive. We present a formative case study of using Rife to build a music management application with complex data and stringent performance requirements.

关键词： UI State Management reactive programming Relational Databases

来源：评论

学校读者我要写书评

暂无评论

C# 7 and .NET Core 2.0 Blueprints: Build effective applications that meet modern software requirements 1

引用

2018年

作者： Dirk Strauss Jas Rademeyer

ISBN: (数字)9781788398138

ISBN: (纸本)9781788396196

Leverage the features of C# 7 and .NET core 2.0 to build real-world .NET core applications About This Book • Easy-to-follow real-world projects that get you up and running with the new features of C# 7 and .NET Core 2.0 • The practical applications will assist you with concepts such as Entity Framework Core, serverless computing, and more in .NET Core 2.0 • Explore OAuth concepts and build *** Core applications using MongoDB Who This Book Is For This book is for .NET developers who would like to master and implement C# 7 and .NET Core 2.0 with practical projects. Basic knowledge of .NET Core and C# is assumed. What You Will Learn • How to incorporate Entity Framework Core to build ASP .NET Core MVC applications • Get hands-on experience with SignalR, and NuGet packages • Working with MongoDB in your *** Core MVC application • Get hands-on experience with .NET Core MVC, Middleware, Controllers, Views, Layouts, Routing, and OAuth • Implementing Azure Functions and learn what Serverless computing means • See how .NET Core enables cross-platform applications that run on Windows, macOS and Linux • Running a .NET Core MVC application with Docker Compose In Detail .NET Core is a general purpose, modular, cross-platform, and open source implementation of .NET. With the latest release of .NET Core, many more APIs are expected to show up, which will make APIs consistent across .Net Framework, .NET Core, and Xamarin. This step-by-step guide will teach you the essential .NET Core and C# concepts with the help of real-world projects. The book starts with a brief introduction to the latest features of C# 7 and .NET Core 2.0 before moving on to explain how C# 7 can be implemented using the object-oriented paradigm. You'll learn to work with relational data using Entity Framework and see how to use *** Core practically. This book will show you how .NET Core allows the creations of cross-platform applications. You'll also learn about SignalR to add real-time func

关键词： C# C# 7 OOP .NET .NET Core *** Core ASP .NET core MVC SignalR Entity Framework NuGet Microservices Serverless computing reactive programming Pattern matching tuples out variables microservices Azure Service Fabric AWS S3 Docker

来源：评论

学校读者我要写书评

暂无评论

VIATRA 3: A reactive Model Transformation Platform 8th

VIATRA 3: A Reactive Model Transformation Platform

引用

8th International Conference on Model Transformation (ICMT) Held as Part of Software Technologies - Applications and Foundations (STAF)

作者： Bergmann, Gabor David, Istvan Hegedus, Abel Horvath, Akos Rath, Istvan Ujhelyi, Zoltan Varro, Daniel Budapest Univ Technol & Econ Dept Measurement & Informat Syst H-1117 Budapest Hungary IncQuery Labs Ltd Budapest Hungary Univ Antwerp Modelling Simulat & Design Lab B-2020 Antwerp Belgium

ISBN: (纸本)9783319211558;9783319211541

Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is difficult due to hidden interference and unspecified interaction between different features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. VIATRA 3 offers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-INCQUERY and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.

关键词： Event-driven transformation Virtual machine reactive programming Source incremental transformations

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：