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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

275 篇 distributed prog...
21 篇 parallel program...
19 篇 distributed syst...
16 篇 concurrent progr...
13 篇 concurrency
10 篇 programming lang...
9 篇 java
9 篇 distributed appl...
9 篇 computer science...
8 篇 synchronization
7 篇 mapreduce
7 篇 marshalling
7 篇 scala
7 篇 cloud computing
7 篇 scientific compu...
6 篇 modules
6 篇 actor model
6 篇 erlang
6 篇 serialisation
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 篇 univ kentucky de...
2 篇 imt inst adv stu...
2 篇 vrije univ bruss...
2 篇 univ maryland co...
2 篇 lulea univ techn...

作者

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

语言

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

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

共 275 条记录，以下是191-200 订阅

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

详细简洁

排序：

Skitter: A DSL for distributed Reactive Workflows 5

Skitter: A DSL for Distributed Reactive Workflows

引用

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

作者： Saey, Mathijs De Koster, Joeri De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781450360708

Writing real-time applications that react to vast amounts of incoming data is a hard problem, as the volume of incoming data implies the need for distributed execution on a cluster architecture. We envision such an application can be created as a data processing pipeline which consists of a set of generic, reactive components, which may be reused in other applications. However, there is currently no programming model or framework that enables the reactive, scalable execution of such a pipeline on a cluster architecture. Our work introduces the notion of reactive workflows, a technique that combines concepts from scientific workflows and reactive programming. Reactive workflows enable the integration of these generic components into a single workflow that can be executed on a cluster architecture in a reactive, scalable way. To deploy these reactive workflows, we introduce a domain specific language, called Skitter. Skitter enables developers to write reactive components and compose these into reactive workflows, which can be distributed over a cluster by Skitter's runtime system.

关键词： Scientific Workflows distributed programming Reactive programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Implementing best practices for systems integration and distributed software development in service robotics - The Care-O-bot^®robot family

Implementing best practices for systems integration and dist...

引用

IEEE/SICE International Symposium on System Integration (SII)

作者： Bubeck, Alexander Weisshardt, Florian Sing, Tobias Reiser, Ulrich Haegele, Martin Verl, Alexander Fraunhofer Inst Mfg Engn & Automat IPA Stuttgart Germany

ISBN: (纸本)9781467314978

To date, the complex and diverse demands on robotic software can only be handled by large teams which are often distributed geographically, with each team working on a specific aspect of the robot's functionality. The distributed nature of development and differences in the configuration of standard robot platforms impose particular challenges on the process of system integration. To address these challenges, this paper describes the application of best practices in software engineering to the developer community of the Care-O-bot (R) robot family: strictly defined developer roles, management of platform dependencies by Separation of Concerns, and automated testing. The concrete implementation of these concepts in the development process is demonstrated. By analyzing development activities over the last months we can validate the impact of the concepts in the distributed community.

关键词： automatic test software control engineering computing distributed programming program testing service robots software development management systems software team working

来源：评论

学校读者我要写书评

暂无评论

distributed Network Generation Based on Preferential Attachment in ABS 43rd

Distributed Network Generation Based on Preferential Attachm...

引用

43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)

作者： Azadbakht, Keyvan Bezirgiannis, Nikolaos de Boer, Frank S. CWI Amsterdam Netherlands

ISBN: (纸本)9783319519630;9783319519623

Generation of social networks using Preferential Attachment (PA) mechanism is proposed in the Barabasi-Albert model. In this mechanism, new nodes are introduced to the network sequentially and they attach to the existing nodes preferentially where the preference can be based on the degree of the existing nodes. PA is a classical model with a natural intuition, great explanatory power and interesting mathematical properties. Some of these properties only appear in large-scale networks. However generation of such extra-large networks can be challenging due to memory limitations. In this paper, we investigate a distributed-memory approach for PA-based network generation which is scalable and which avoids low-level synchronization mechanisms thanks to utilizing a powerful programming model and proper programming constructs.

关键词： distributed programming Social network Preferential Attachment Actor model Synchronization

来源：评论

学校读者我要写书评

暂无评论

Towards a computing model for open distributed systems

引用

9th International Conference on Parallel Computing Technologies

作者： Mostefaoui, Achour Univ Rennes 1 IRISA F-35042 Rennes France

ISBN: (纸本)9783540739395

This paper proposes an implementation of the data structure called bag or multiset used by descriptive programming languages (e.g. Gamma, Linda) over an open system. In this model, a succession of "chemical reactions" consumes the elements of the bag and produces new elements according to specific rules. This approach is particularly interesting as it suppresses all unneeded synchronization and reveals all the potential parallelism of a program. An efficient implementation of a bag provides an efficient implementation of the subsequent program. This paper defines a new communication and synchronization model adapted from workqueues used in parallel computing. The proposed model allows to benefit from the potential parallelism offered by this style of programming when only an approximate solution is needed.

关键词： bag data structure chemical reaction distributed programming fault-tolerance open system parallel programming synchronization workqueue

来源：评论

学校读者我要写书评

暂无评论

Observable Atomic Consistency for CvRDTs 8

Observable Atomic Consistency for CvRDTs

引用

8th ACM SIGPLAN International Workshop on programming Based on Actors, Agents, and Decentralized Control (AGERE)

作者： Zhao, Xin Haller, Philipp KTH Royal Inst Technol Stockholm Sweden

ISBN: (纸本)9781450360661

The development of distributed systems requires developers to balance the need for consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) are widely used in eventually consistent systems to reduce concurrency control. However, CRDTs lack consistent totally-ordered operations which can make them difficult to use. In this paper, we propose a new consistency protocol, the observable atomic consistency protocol (OACP). OACP enables a principled relaxation of strong consistency to improve performance in specific scenarios. OACP combines the advantages of mergeable data types, specifically, convergent replicated data types, and reliable total order broadcast to provide on-demand strong consistency. By providing observable atomic consistency, OACP avoids the anomalies of related protocols. We provide a distributed implementation of OACP based on Akka, a widely-used actor-based middleware. Our experimental evaluation shows that OACP can reduce coordination overhead compared to other protocols providing atomic consistency. Our results also suggest that OACP increases availability through mergeable data types and provides acceptable latency for achieving strong consistency.

关键词： atomic consistency eventual consistency actor model distributed programming

来源：评论

学校读者我要写书评

暂无评论

Skoll: distributed continuous quality assurance

Skoll: Distributed continuous quality assurance

引用

26th International Conference on Software Engineering (ICSE 2004)

作者： Memon, A Porter, A Yilmaz, C Nagarajan, A Schmidt, D Natarajan, B Univ Maryland College Pk MD 20742 USA

ISBN: (纸本)0769521630

Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. Since this approach is inadequate for many systems, tools and processes are being developed to improve software quality by increasing user participation in the QA process. A limitation of these approaches is that they focus on isolated mechanisms, not on the coordination and control policies and tools needed to make the global QA process efficient, effective, and scalable. To address these issues, we have initiated the Skoll project, which is developing and validating novel software QA processes and tools that leverage the extensive computing resources of worldwide user communities in a distributed, continuous manner to significantly and rapidly improve software quality. This paper provides several contributions to the study of distributed continuous QA. First, it illustrates the structure and functionality of a generic around-the-world, around-the-clock QA process and describes several sophisticated tools that support this process. Second, it describes several QA scenarios built using these tools and process. Finally, it presents a feasibility study applying these scenarios to a IMLOC+ software package called ACE+TAO. While much work remains to be done, the study suggests that the Skoll process and tools effectively manage and control distributed, continuous QA processes. Using Skoll we rapidly identified problems that had taken the ACE+TAO developers substantially longer to find and several of which had previously not been found Moreover automatic analysis of QA task results often provided developers information that quickly led them to the root cause of the problems.

关键词： software quality quality assurance distributed programming program verification software performance evaluation Skoll distributed continuous quality assurance software testing software profiling distributed continuous QA around-the-world QA process around-the-clock QA process 1MLOC+ software package ACE+TAO

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Language for Reactive distributed Applications at the Edge 3

Aspect-Oriented Language for Reactive Distributed Applicatio...

引用

3rd ACM International Workshop on Edge Systems, Analytics and Networking (EdgeSys)

作者： Kuraj, Ivan Solar-Lezama, Armando MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA

ISBN: (纸本)9781450371322

This paper presents EdgeC, a new language for programming reactive distributed applications. It enables separation of concerns between expressing behavior and controlling distributed aspects, inspired by aspect-oriented language design. In EdgeC, developers express functionality with sequential behaviors, and data allocation, reactivity, consistency, and underlying network with orthogonal specifications. Through such separation, EdgeC allows developers to change functionality and control the shape of resulting distributed behaviors without cross-cutting code, simplifying deployment to the edge. Developers can reason about and test their applications as sequential executions, whilst EdgeC automatically synthesizes low-level distributed code. It handles, with the help of the EdgeC run-time, allocation, communication, concurrency, and coordination, across the specified, potentially non-uniform, network model. We introduce the main features of EdgeC, present the new compiler design, its prototype implementation, the resulting performance, and discuss the potential of the approach for simplifying development of reactive applications over nonuniform networks and achieving performance gains, compared to existing approaches.

关键词： Aspect orientation distributed programming Nonuniform network Separation of concerns

来源：评论

学校读者我要写书评

暂无评论

AErlang: Empowering Erlang with Attribute-Based Communication 19th

AErlang: Empowering Erlang with Attribute-Based Communicatio...

引用

19th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 12th International Federated Conference on distributed Computing Techniques (DisCoTec)

作者： De Nicola, Rocco Duong, Tan Inverso, Omar Trubiani, Catia IMT Inst Adv Studies Lucca Lucca Italy Gran Sasso Sci Inst Laquila Italy

ISBN: (纸本)9783319597461;9783319597454

Attribute-based communication provides a novel mechanism to dynamically select groups of communicating entities by relying on predicates over their exposed attributes. In this paper, we embed the basic primitives for attribute-based communication into the functional concurrent language Erlang to obtain what we call AErlang, for attribute Erlang. To evaluate our prototype in terms of performance overhead and scalability we consider solutions of the Stable Marriage Problem based on predicates over attributes and on the classical preference lists, and use them to compare the runtime performance of AErlang with those of Erlang and X10. The outcome of the comparison shows that the overhead introduced by the new communication primitives is acceptable, and our prototype can compete performance-wise with an ad-hoc parallel solution in X10.

关键词： Attribute-based communication Erlang Concurrency distributed programming Collective adaptive systems Stable marriage

来源：评论

学校读者我要写书评

暂无评论

Let It Recover: Multiparty Protocol-Induced Recovery 2017

Let It Recover: Multiparty Protocol-Induced Recovery

引用

26th International Conference on Compiler Construction (CC)

作者： Neykova, Rumyana Yoshida, Nobuko Imperial Coll London London England

ISBN: (纸本)9781450352338

Fault-tolerant communication systems rely on recovery strategies which are often error-prone (e.g. a programmer manually specifies recovery strategies) or inefficient (e.g. the whole system is restarted from the beginning). This paper proposes a static analysis based on multiparty session types that can efficiently compute a safe global state from which a system of interacting processes should be recovered. We statically analyse the communication flow of a program, given as a multiparty protocol, to extract the causal dependencies between processes and to localise failures. We formalise our recovery algorithm and prove its safety. A recovered communication system is free from deadlocks, orphan messages and reception errors. Our recovery algorithm incurs less communication cost (only affected processes are notified) and overall execution time (only required states are repeated). On top of our analysis, we design and implement a runtime framework in Erlang where failed processes and their dependencies are soundly restarted from a computed safe state. We evaluate our recovery framework on message-passing benchmarks and a use case for crawling webpages. The experimental results indicate our framework outperforms a built-in static recovery strategy in Erlang when a part of the protocol can be safely recovered.

关键词： Multiparty Session Types Recovery distributed programming Erlang Fault-tolerance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：