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

Edge Intelligence 1

引用

1000年

作者： Javid Taheri Schahram Dustdar Albert Zomaya Shuiguang Deng

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers

arXiv

引用

arXiv 2024年

作者： Hunhold, Laslo Quinlan, James Parallel and Distributed Systems Group University of Cologne Cologne Germany Department of Computer Science University of Southern Maine Portland ME United States

Solving sparse linear systems lies at the core of numerous computational applications. Consequently, understanding the performance of recently proposed alternatives to the established IEEE 754 floating-point numbers, such as bfloat16 and the tapered-precision posit and takum machine number formats, is of significant interest. This paper examines these formats in the context of widely used solvers, namely LU, QR, and GMRES, with incomplete LU preconditioning and mixed precision iterative refinement (MPIR). This contrasts with the prevailing emphasis on designing specialized algorithms tailored to new arithmetic formats. This paper presents an extensive and unprecedented evaluation based on the SuiteSparse Matrix Collection—a dataset of real-world matrices with diverse sizes and condition numbers. A key contribution is the faithful reproduction of SuiteSparse’s UMFPACK multifrontal LU factorization and SPQR multifrontal QR factorization for machine number formats beyond single and double-precision IEEE 754. Tapered-precision posit and takum formats show better accuracy in direct solvers and reduced iteration counts in indirect solvers. Takum arithmetic, in particular, exhibits exceptional stability, even at low precision. © 2024, CC BY.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Supporting mobility in content-based publish/subscribe middleware

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2672卷 103-122页

作者： Fiege, Ludger Gärtner, Felix C. Kasten, Oliver Zeidler, Andreas Department of Computer Science Databases Distributed System Group D-64283 Darmstadt Germany School of Computer and Communication Sciences Distributed Programming Laboratory CH-1015 Lausanne Switzerland Department of Computer Science Distributed Systems Group CH-8092 Zurich Switzerland

Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for static systems where users as well as the underlying system structure were rather fixed. We study the question whether existing pub/sub middleware can be extended to support mobile and location-dependent applications. We first analyze the requirements of such applications and distinguish two orthogonal forms of mobility the system-centric physical mobility and an application-centric logical mobility (where users are aware that they are changing location). We introduce location-dependent subscriptions as a suitable means to exploit the power of the event-based paradigm in mobile applications. Briefly spoken, location-dependency refines a subscription to accept only events related to a mobile user's current location. Implementations for both forms of mobility are presented within the content-based pub/sub middleware REBECA, drawing from its refined routing capabilities (namely, covering and merging). © IFIP International Federation for Information Processing 2003.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

Interconnectedness of complex systems of internet of things through social network analysis for disaster management

Interconnectedness of complex systems of internet of things ...

引用

2012 4th International Conference on Intelligent Networking and Collaborative systems, INCoS 2012

作者： Zelenkauskaite, Asta Bessis, Nik Sotiriadis, Stelios Asimakopoulou, Eleana Department of Telecommunications Indiana University Bloomington IN United States Distributed and Intelligent Systems Research Group University of Derby Derby United Kingdom Department of Computer Science and Technology University of Bedfordshire Luton United Kingdom

ISBN: (纸本)9780769548081

This visionary paper presents the Internet of Things paradigm in terms of interdependent dynamic dimensions of objects and their properties. Given that in its current state Internet of Things (IoT) has been viewed as a paradigm based on hierarchical distribution of objects, evaluation of the dynamic nature of the hierarchical structures faces challenges in its evaluation and analysis. Within this in mind, our focus is on the area of complex social networks and the dynamic social network construction within the context of IoT. This is by highlighting and addressing the tagging issues of the objects to the real-world domain such as in disaster management, these are in relation to their hierarchies and interrelation within the context of social network analysis. Specifically, we suggest to investigate and deepen the understanding of the IoT paradigm through the application of social network analysis as a method for interlinking objects - and thus, propose ways in which IoT could be subsequently interlinked and analyzed through social network analysis approach - which provides possibilities for linking of the objects, while extends it into real-world domain. With this in mind, we present few applications and key characteristics of disaster management and the social networking analysis approach, as well as, foreseen benefits of its application in the IoT domain. © 2012 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Disaster management and profile modelling of IoT objects: Conceptual parameters for interlinked objects in relation to social network analysis

Disaster management and profile modelling of IoT objects: Co...

引用

2012 4th International Conference on Intelligent Networking and Collaborative systems, INCoS 2012

ISBN: (纸本)9780769548081

In recent years, the emergence of ubiquitous and pervasive computing suggests the radical transformation of the Internet to incorporate physical objects. The transformation suggests the enabling of a new form of communication and interaction style that incorporates people, their smart devices and their physical objects through the utilization of distributed sensors spread in the environment. In this study, we propose extending Internet of Things (IoT) by modelling an IoT enabled smart environment as a whole, representing the dynamic communication and interaction among all objects (users, devices, physical objects and sensors). This is by recognizing and categorizing objects' properties in the form of a generic profile. We also reflect this in a disaster management context. That is by identifying which of the parameters of these smart objects are fixed, constant and persistent over time and which parameters are actually change over time, i.e. those characterized by their transient and dynamic nature. Thus, through the process of communication and interaction of the objects, we analyze parameters by demonstrating their static and/or dynamic properties as well as those supporting context-aware variables which are evident in disaster scenarios. To achieve these goals, we designed the persistent or temporal relationships to encompass internal information of smart-objects, along with their characteristics that actually depict their capacity to offer services to users by properties' matchmaking. The interlinked relationships represent a 'social network' providing a terrain of flexible scenarios that would lead to tailored parameters to fit user preferences. To enable communication among them in a dynamic dimension we utilized a distributed topology in which communication could occur indirectly between objects. Finally, we detailed a generic - but equally applicable for disaster management - case scenario in which we used graph theory to demonstrate how embedded intelligenc

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

An open QoS architecture for CORBA applications

An open QoS architecture for CORBA applications

引用

International Symposium on Object-Oriented Real-Time distributed Computing

作者： F. Siqueira V. Cahill Distributed Systems Group Department of Computer Science Trinity College Dublin Ireland

distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying computing platform. CORBA, in particular, provides a media streaming mechanism that can be used both for media streaming and for associating QoS requirements with media streams. Despite defining the interfaces of the media streaming mechanism, the corresponding specification does not prescribe how QoS is enforced at low levels by the middleware. This paper describes the design and implementation of a QoS architecture, called Quartz, which has been integrated with CORBA in order to provide a framework that allows applications to transfer real-time media in open systems. This framework is employed to model and simulate a pattern recognition mechanism for use in an automated manufacturing cell, which is also described and analysed in this paper.

关键词： Streaming media Middleware computer architecture Programming profession distributed computing Real time systems Open systems Analytical models Pattern recognition Manufacturing automation

来源：评论

学校读者我要写书评

暂无评论

Dejay: unifying concurrency and distribution to achieve a distributed Java

Dejay: unifying concurrency and distribution to achieve a di...

引用

Technology of Object-Oriented Languages and systems (TOOLS)

作者： M. Boger F. Wienberg W. Lamersdorf Department of Computer Science Distributed Systems Group University of Hamburg Hamburg Germany

In the development of distributed programs, two different concepts have to be considered, each being quite complex even on its own: concurrency and distribution. For both concepts, similar problems like synchronization and communication need to be addressed, yet they are treated with completely different mechanisms. The paper presents Dejay, a programming language based on Java that unifies concurrency and distribution into the single mechanism of virtual processors. This allows a considerable simplification for the development of distributed or concurrent programs and makes the transition from a local to a distributed environment seamless.

关键词： Concurrent computing Java Yarn computer science computer languages Process control Sockets

来源：评论

学校读者我要写书评

暂无评论

A dynamic negotiation framework for mobile agents

A dynamic negotiation framework for mobile agents

引用

International Symposium on Agent systems and Applications. International Symposium on Mobile Agents

作者： M.T. Tu C. Seebode W. Lamersdorf Distributed Systems Group Computer Science Department University of Hamburg Hamburg Germany

A framework to integrate negotiation capabilities-particularly components implementing a negotiation strategy-into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composition of negotiating agents from pluggable modules. Strategy modules are further decomposed into parallel execution units based on the notion of an actor system.

关键词： Mobile agents Concrete Protocols computer science Software agents Humans Mobile communication Councils Availability XML

来源：评论

学校读者我要写书评

暂无评论

Extending the event-based programming model to support sensor-driven ubiquitous computing applications

Extending the event-based programming model to support senso...

引用

IEEE International Conference on Pervasive Computing and Communications (PerCom)

作者： Sean Reilly Mads Haahr Distributed Systems Group Department of Computer Science Trinity College Dublin Ireland

We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: Multi-event handlers, event streams and execution policies. We believe that these additional abstractions simplify the task of writing applications in this domain. In this position paper we present the ex-tensions and demonstrate our prototype middleware implemented in C.

关键词： Ubiquitous computing Application software Filters Middleware Peer to peer computing Scalability computer science Educational institutions Writing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications

Database Deadlock Diagnosis for Large-Scale ORM-Based Web Ap...

引用

International Conference on Data Engineering

作者： Zhiyuan Dong Zhaoguo Wang Chuanwei Yi Xian Xu Jinyuan Zhang Jinyang Li Haibo Chen Institute of Parallel and Distributed Systems Shanghai Jiao Tong University Department of Computer Science New York University

Today, most database-backed web applications depend on the database to handle deadlocks. At runtime, the database monitors the progress of transaction execution to detect deadlocks and abort affected transactions. However, this common detect-and-recover strategy is costly to performance as aborted transactions waste CPU *** avoid deadlock-induced performance degradation, developers aim to reorganize the application code to remove deadlocks. Unfortunately, doing so is difficult for web applications. Not only do their implementations include hundreds of thousands of LoCs, but they also use third-party object-relational mapping (ORM) frameworks which hide database access details. Consequently, it is hard for developers to accurately diagnose *** propose WeSEER, a deadlock diagnosis tool for web applications. To overcome the opacity of ORMs, WeSEER performs concolic execution on unit tests to extract a web application’s transactions as a sequence of template statements with symbolic inputs as well as path conditions that enable the sequence. WeSEER then analyzes the extracted transactions based on fine-grained lock modeling to identify potential deadlocks and report the code locations that cause them. We implement WeSEER for Java-based (OpenJDK) web applications, and use it to analyze two popular open-source e-commerce applications, Broadleaf and Shopizer. WeSEER has successfully identified 18 potential deadlocks in Broadleaf and Shopizer. Eliminating these identified deadlocks can result in up to 39.5× and 4.5× throughput improvement for Broadleaf and Shopizer, respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：