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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

ABEL - A Domain Specific Framework for programming with Attribute-Based Communication 21st

ABEL - A Domain Specific Framework for Programming with Attr...

引用

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

作者： De Nicola, Rocco Duong, Tan Loreti, Michele IMT Sch Adv Studies Lucca Italy Gran Sasso Sci Inst Laquila Italy Univ Camerino Camerino Italy

ISBN: (纸本)9783030223977;9783030223960

Attribute-based communication is a promising paradigm for modelling and programming complex interactions in open distributed systems such as collective adaptive systems (CAS). This new paradigm has been formalized in AbC, a kernel calculus with a minimal set of primitives that can be used to model formally verifiable CAS. The calculus assumes an underlying coordination infrastructure that has to guarantee the wanted communication and leaves open the actual implementation of the way communication partners are selected. The proposed implementations of messages exchange for AbC are either not in full agreement with the original semantics or do miss detailed performance evaluations. In this paper, we continue the search for efficient implementations of AbC and present ABEL - a domain specific framework that offers programming constructs with a direct correspondence to those of AbC. We use Erlang to implement ABEL inter- and intra-components interaction that together faithfully model AbC semantics and enable us to verify properties of ABEL program. We also consider a number of case studies and, by experimenting with them, show that it is possible to preserve AbC semantics while guaranteeing good performance. We also argue that even better performances can be achieved if the "strong" AbC requirement on the total order of message delivery is relaxed.

关键词： Attribute-based communication Process calculi distributed programming Erlang

来源：评论

学校读者我要写书评

暂无评论

Wrapping and interoperating bioinformatics resources using CORBA.

引用

Briefings in bioinformatics 2000年第1期1.0卷 9-21页

作者： Stevens, R. Miller, C. Bioinformatics and Information Management Groups University of Manchester Department of Computer Science Oxford Road Manchester M13 9PI United Kingdom

Bioinformaticians seeking to provide services to working biologists are faced with the twin problems of distribution and diversity of resources. Bioinformatics databases are distributed around the world and exist in many kinds of storage forms, platforms and access paradigms. To provide adequate services to biologists, these distributed and diverse resources have to interoperate seamlessly within single applications. The Common Object Request Broker Architecture (CORBA) offers one technical solution to these problems. The key component of CORBA is its use of object orientation as an intermediate form to translate between different representations. This paper concentrates on an explanation of object orientation and how it can be used to overcome the problems of distribution and diversity by describing the interfaces between objects.

关键词： CORBA object orientation interface distributed programming heterogeneity interoperation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：