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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

155 篇 期刊文献
105 篇 会议
5 篇 学位论文
1 册 图书

馆藏范围

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

日期分布

学科分类号

245 篇 工学
- 179 篇 计算机科学与技术...
- 106 篇 软件工程
- 76 篇 电气工程
- 16 篇 信息与通信工程
- 13 篇 控制科学与工程
- 6 篇 机械工程
- 3 篇 材料科学与工程（可...
- 2 篇 仪器科学与技术
- 2 篇 电子科学与技术（可...
- 2 篇 石油与天然气工程
- 2 篇 核科学与技术
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
24 篇 理学
- 13 篇 数学
- 6 篇 物理学
- 3 篇 化学
- 3 篇 生物学
- 2 篇 天文学
- 1 篇 地理学
- 1 篇 系统科学
16 篇 管理学
- 15 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
1 篇 文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学

主题

266 篇 distributed prog...
22 篇 parallel program...
19 篇 distributed syst...
16 篇 concurrent progr...
13 篇 concurrency
9 篇 programming lang...
8 篇 computer science...
8 篇 synchronization
7 篇 mapreduce
7 篇 marshalling
7 篇 distributed appl...
7 篇 scala
7 篇 cloud computing
6 篇 modules
6 篇 java
6 篇 actor model
6 篇 erlang
6 篇 serialisation
6 篇 scientific compu...
5 篇 parallel process...

机构

4 篇 ecole polytech f...
4 篇 imperial coll lo...
3 篇 gran sasso sci i...
3 篇 univ ciencias & ...
3 篇 kth royal inst t...
3 篇 univ calif davis...
2 篇 sharda univ dept...
2 篇 technion israel ...
2 篇 tech univ darmst...
2 篇 ibm corp thomas ...
2 篇 typesafe inc ca ...
2 篇 indiana univ per...
2 篇 tech univ darmst...
2 篇 univ pisa comp s...
2 篇 univ cambridge c...
2 篇 imt inst adv stu...
2 篇 vrije univ bruss...
2 篇 univ maryland co...
2 篇 lulea univ techn...
2 篇 univ costa rica ...

作者

8 篇 haller philipp
5 篇 yoshida nobuko
5 篇 salvaneschi guid...
4 篇 weisenburger pas...
4 篇 miller heather
3 篇 duong tan
3 篇 broll brian
3 篇 lee huamani enri...
3 篇 song kunfang
3 篇 de meuter wolfga...
3 篇 tonci nicolo
3 篇 odersky martin
3 篇 maroti miklos
3 篇 roman-gonzalez a...
3 篇 neykova rumyana
3 篇 andrews gr
3 篇 de bosschere k
3 篇 ciancarini p
3 篇 cook rp
3 篇 ledeczi akos

语言

247 篇 英文
18 篇 其他
1 篇 中文

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

共 266 条记录，以下是171-180 订阅

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

详细简洁

排序：

A new approach for the distributed deployment of centralized algorithms in smart grids

A new approach for the distributed deployment of centralized...

引用

IEEE PES Innovative Smart Grid Technologies Europe (IEEE ISGT-Europe)

作者： Nguyen, T. T. Q. Debusschere, V. Bobineau, Ch. Labonne, A. Boudinet, C. Giap, Q. H. HadjSaid, N. Univ Grenoble Alpes CNRS Grenoble INP G2ELabInst Engn F-38000 Grenoble France Univ Grenoble Alpes CNRS Grenoble INP LIGInst Engn F-38000 Grenoble France Da Nang Univ Technol Da Nang 550000 Vietnam

ISBN: (纸本)9781538682180

distributed algorithms are regularly used to deploy distributed paradigms in smart grids. Computations are executed without any centralized server even in a limited bandwidth network. However, there are still some drawbacks in the proof of convergence as well as a lack of programming abstraction. In this paper, we propose a new approach to the distributed paradigm by using distributed programming in a data manipulation language called Smartlog. A distributed programming methodology will automatically divide a centralized Smartlog program into multiple rules while ensuring the correct transformation of the centralized computations. An application of voltage control in a distribution grid with high penetration of PV systems is used as an illustration of this approach. Two implementations are compared: centralized programming and distributed programming. Both are deployed in a real-time simulation with OPAL-RT and a network of Raspberry Pis. The response time of each implementation is analyzed to evaluate their respective performance, showing that the Smartlog language is particularly appropriate to smart grids in terms of compacity and simplicity.

关键词： distributed programming distributed database over-voltage regulation smart grids Smartlog

来源：评论

学校读者我要写书评

暂无评论

Relating Functional and Imperative Session Types 23rd

Relating Functional and Imperative Session Types

引用

23rd International Conference on Coordination Models and Language (COORDINATION)

作者： Saffrich, Hannes Thiemann, Peter Univ Freiburg Freiburg Germany

ISBN: (纸本)9783030781415;9783030781422

Imperative session types provide an imperative interface to session-typed communication in a functional language. Compared to functional session type APIs, the program structure is simpler at the surface, but typestate is required to model the current state of communication throughout. Most work on session types has neglected the imperative approach. We demonstrate that the functional approach subsumes previous work on imperative session types by exhibiting a typing and semantics preserving translation into a system of linear functional session types. We further show that the untyped backwards translation from the functional to the imperative calculus is semantics preserving. We restrict the type system of the functional calculus such that the backwards translation becomes type preserving. Thus, we precisely capture the difference in expressiveness of the two calculi and conclude that the lack of expressiveness in the imperative calculus is solely due to its type system.

关键词： Session types distributed programming Translation

来源：评论

学校读者我要写书评

暂无评论

Enhancing Java RMI with Asynchrony through Reflection

Enhancing Java RMI with Asynchrony through Reflection

引用

1st International ICST Conference on Communications Infrastructure, Systems and Applications in Europe

作者： Akin, Orhan Erdogan, Nadia Istanbul Tech Univ Inst Informat TR-34469 Istanbul Turkey

ISBN: (纸本)9783642112836

Java RMI's synchronous invocation model may cause scalability challenges when long duration invocations are targeted. One way of overcoming this difficulty is adopting an asynchronous mode of operation. An asynchronous invocation allows the client to continue with its computation after dispatching a call, thus eliminating the need to wait idle while its request is being processed by a remote server. This paper describes an execution framework which extends Java RMI functionality with asynchrony. It is implemented on top of RMI calls, using the thread pooling capability and the reflection mechanism of Java. It differs from previous work as it does not require any external tool, preprocessor, or compiler and it may be integrated with previously developed software as no modification of target remote objects is necessary.

关键词： Asynchronous Communication Asynchronous RMI RMI Reflection parallel programming distributed programming

来源：评论

学校读者我要写书评

暂无评论

Towards logic programming based coordination in virtual worlds

Towards logic programming based coordination in virtual worl...

引用

Workshop on Coordination Technology for Collaborative Applications, at the 2nd Asian Computer Science Conference (ASIAN 96)

作者： Tarau, P Dahl, V De Bosschere, K Univ Moncton Dept Informat Moncton NB E1A 3E9 Canada Simon Fraser Univ Dept Comp Sci Log & Funct Programming Grp Burnaby BC V5A 1S6 Canada Univ Ghent Vakgrp Elekt & Informat Syst B-9000 Ghent Belgium

ISBN: (纸本)354064170X

We propose a unified framework for coordination in multiuser Virtual Worlds, based on our experience with LogiMOO, a BinProlog+Linda based programmable shared Virtual World. LogiMOO adopts unification for pattern retrieval while using exclusively deterministic operations, unlike mast Prolog based Linda systems. Moving beyond the Linda framework LogiMOO is based on, we describe a coordination logic for agent programming based on ideas from (affine) linear logic and Java's synchronized object system as well as a set of new primitives describing uniformly Linda operation, database updates and hypothetical assumptions. The main novelty is that our constructs emphasize an 'object based' approach, with synchronization information built in 'container objects' and allowing more flexible wait/notify negotiations between consumer/producer agent components, as well as inheritance and agent component reuse. Our experiments with agent coding in LogiMOO and Java and interaction with external visual and logic components, show the practicality of our constructs for real life programming.

关键词： coordination languages blackboard-based logic programming distributed programming groupware virtual worlds Internet applications

来源：评论

学校读者我要写书评

暂无评论

Increasing Portability and Reuseability of distributed Control Programs by I/O Access Abstraction

Increasing Portability and Reuseability of Distributed Contr...

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Melik-Merkumians, Martin Wenger, Monika Hametner, Reinhard Zoitl, Alois Vienna Univ Technol Automat & Control Inst A-1040 Vienna Austria

ISBN: (纸本)9781424468508

Current component-based approaches for distributed control systems enable the reuse of mechatronic components, for example specific grippers or conveyor belts, but do not allow full application reuse as the actual hardware configuration is an implicit part of the software solution. In contrast to the current object-oriented or component-based engineering models for automation engineering, this paper will introduce a new Model-Driven Architecture based application and hardware modeling approach. Through separation of the logical application domain and the specific hardware domain the logical application is completely independent of the concrete physical plant configuration. Therefore development time for automation applications can be vastly reduced and software quality can be improved.

关键词： I/O access abstraction automation application component based engineering model concrete physical plant configuration distributed control program distributed programming hardware configuration hardware modeling approach input-output programs logical application domain mechatronic component mechatronics model driven architecture object oriented model object-oriented methods software architecture software quality software solution

来源：评论

学校读者我要写书评

暂无评论

Object Based distributed Data Sharing In Multi-Agent Environment 5

Object Based Distributed Data Sharing In Multi-Agent Environ...

引用

5th IEEE International Conference on Software Engineering and Service Science (ICSESS)

作者： Pataci, Metehan Erdogan, Nadia Istanbul Tech Univ Fac Comp & Informat TR-80626 Istanbul Turkey

ISBN: (纸本)9781479932795

This paper describes a framework which enables distributed object sharing in a multi agent environment. Shared objects are replicated across nodes in the distributed environment so that agents access a local copy rather than a remote one, thus minimizing network traffic. The framework solves issues related to replica coherence, consistency and management. Shared objects are serializable Java objects supported with the multiple reader single writer (MRSW) access model. The framework includes components that act local servers for dynamic object ownership and a system coordinator for managing and monitoring the system, taking solution oriented responsibilities for unwanted/unexpected situations. An interface is provided to enable users to use simple object access methods in a completely transparent manner. Object access requests can be monitored through predefined graphical user interfaces. The system assigns unique identifiers for each access request, thus access calls can be carried out in parallel.

关键词： distributed programming distributed objects object sharing multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Expressing and Composing Actors for Deterministic and Scalable programming in Cloud 9

Expressing and Composing Actors for Deterministic and Scalab...

引用

9th IEEE International Symposium on Service-Oriented System Engineering (SOSE)

作者： Kang Lianghuan Zhan Hanglong Cao Donggang Peking Univ Minist Educ Key Lab High Confidence Software Technol Sch Elect Engn & Comp Sci Beijing Peoples R China

ISBN: (纸本)9781479983568

Actor model is an asynchronous message-passing model for fine-grained concurrency and distributed memory applications. However, it is inherently non-deterministic due to low-level synchronization primitives such as send and receive, leading to high-complexity and error-prone code when programming deterministic applications expressed by actors. In order to to support deterministic actor programming, this paper proposes a high-level programming model named distask. The core solution is to express complex synchronization in a simple and deterministic pattern by introducing features of functional programming. In detail, we design a set of composing operators on distasks in several pre-defined patterns called synchronization strategies. A distask can be composed of other distasks in a deterministic manner instead of non-deterministic communication within original actors. In addition, automatic distribution, scalability and fault handing features are supported to adapt to dynamic Cloud environment. We have implemented distask in a system called UniAS. The implementation language is Erlang, an actor-based industrial language. It is readily applied to several vital distributed memory applications with little compromise of performance.

关键词： Deterministic Concurrency distributed programming Actor Model Erlang

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of Practical MPI Programs

Formal Verification of Practical MPI Programs

引用

14th ACM SIGPLAN Symposium on Principles and Practice of Parallel programming

作者： Vo, Anh Vakkalanka, Sarvani DeLisi, Michael Gopalakrishnan, Ganesh Kirby, Robert M. Thakur, Rajeev Univ Utah Sch Comp Salt Lake City UT 84112 USA Argonne Natl Lab Div Math & Comp Sci Argonne IL 60439 USA

ISBN: (纸本)9781605583976

This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings with the help of a verification scheduler. Unfortunately, the total feasible number of interleavings is exponential, and impractical to examine even for our modest goals. Our earlier publications formalized and implemented a partial order reduction approach that avoided exploring equivalent interleavings, and presented a verification tool called ISP. This paper presents algorithmic and engineering innovations to ISP, including the use of OpenMP parallelization, that now enables it to handle practical MPI programs, including: (i) ParMETIS - a widely used hypergraph partitioner, and (ii) MADRE - a Memory Aware Data Re-distribution Engine, both developed outside our group. Over these benchmarks, ISP has automatically verified up to 14K lines of MPI/C code, producing error traces of deadlocks and assertion violations within seconds.

关键词： Verification MPI Message Passing Interface distributed programming model checking dynamic partial order reduction

来源：评论

学校读者我要写书评

暂无评论

Global abstraction-safe marshalling with hash types 03

Global abstraction-safe marshalling with hash types

引用

8th International Conference on Functional programming (ICFP 03)

作者： Leifer, JJ Peskine, G Sewell, P Wansbrough, K INRIA Rocquencourt Rocquencourt France

ISBN: (纸本)9781581137569

Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent stores. In this paper we combine the two, developing compile-time and run-time semantics for marshalling, that guarantee abstraction-safety between separately-built programs. We obtain a namespace for abstract types that is global, i.e. meaningful between programs, by hashing module declarations. We examine the scenarios in which values of abstract types are communicated from one program to another, and ensure, by constructing hashes appropriately, that the dynamic and static notions of type equality mirror each other. We use singleton kinds to express abstraction in the static semantics;abstraction is tracked in the dynamic semantics by coloured brackets. These allow us to prove preservation, erasure, and coincidence results. We argue that our proposal is a good basis for extensions to existing ML-like languages, pragmatically straightforward for language users and for implementors.

关键词： programming languages ML type theory abstract types marshalling serialisation modules singleton kinds hashing distributed programming lambda calculus

来源：评论

学校读者我要写书评

暂无评论

Web Services as standard of connecting heterogeneous information systems

Web Services as standard of connecting heterogeneous informa...

引用

26th International Conference on Information Technology Interfaces

作者： Palavra, D Lisnjic, D Univ Zagreb Ctr Comp HR-10000 Zagreb Croatia Fac Elect Engn & Comp HR-10000 Zagreb Croatia

ISBN: (纸本)9539676991

Web Services combine the best of both distributed componentization and the World Wide Web [3]. It brings distributed computing to broad range of client applications. Web Services allow access to software components through standard Web protocols such as HTTP, SMTP and XML. In short, a web service could be observed as a component running on the web server, exposed to the world through standard Internet protocols. Using XML and Internet Protocols concept of web service enables use of any technology, any language and any device for both server and client side in client - server model. Field of usage of web service is very large. Whenever there is a need of network communication for two applications, a web service can step in.

关键词： distributed programming Internet web applications web services SOAP

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：