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

Proceedings. Second international symposium on databases in parallel and distributed systems

Proceedings of the Second international symposium on databases in parallel and distributed systems

The following topics are dealt with: parallel processing of database operations;parallel machines;parallel joins;parallel algorithms;distributed systems;and distributed query processing.

ISBN: (纸本)0818620528

The following topics are dealt with: parallel processing of database operations;parallel machines;parallel joins;parallel algorithms;distributed systems;and distributed query processing.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings international symposium on databases in parallel and distributed systems

引用

Proceedings international symposium on databases in parallel and distributed systems

The proceedings contains 21 papers. The following topics are dealt with: object-oriented systems;logic-based systems;parallel database systems;parallel form;distributed query processing;transaction processing;and dist... 详细信息

ISBN: (纸本)0818608935

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings international symposium on databases in parallel and distributed systems [front matter]

Proceedings International Symposium on Databases in Parallel...

引用

international symposium on databases in parallel and distributed systems

Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Scalable Verification and Validation of Concurrent and distributed systems (ScaVeri) (Track Summary) 12th

Scalable Verification and Validation of Concurrent and Distr...

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Huisman, Marieke Merz, Stephan Seceleanu, Cristina Univ Twente Enschede Netherlands Univ Lorraine LORIA INRIA CNRS Nancy France Malardalen Univ Vasteras Sweden

ISBN: (纸本)9783031753794;9783031753800

Given the inherent reliance of distributed systems on concurrent programming, coupled with increased hardware concurrency and diversity, ensuring their reliability, safety, and security without compromising performance has become exceedingly challenging. This necessitates scalable verification methods that can accurately capture the behavior of concurrent and distributed systems while providing robust guarantees of compliance with specific requirements. The Scalable Verification and Validation of Concurrent and distributed systems (ScaVeri) track is dedicated to presenting and discussing advancements in formal methods tailored to these systems. Emphasizing scalable techniques and models that have been validated through real-world case studies, the track covers subtopics such as generating correct parallel code, compositional verification with assume-guarantee contracts, enhanced analysis for large-scale systems, and combinations of various analysis techniques, collectively aiming to improve the assurance of diverse and complex distributed computing environments.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

On distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous systems 26th

On Distributed Computing: A View, Physical Versus Logical Ob...

引用

26th international symposium on Stabilization, Safety, and Security of distributed systems

作者： Raynal, Michel Univ Rennes INRIA CNRS IRISA F-35042 Rennes France

ISBN: (纸本)9783031744976;9783031744983

This article presents a short (and partial) history of synchronization in systems made up of asynchronous sequential processes (automata). Among other points, it shows that synchronization (which consists in ordering operations issued by processes on shared objects) has a different flavor according to the fact that the objects are physical objects (such as a printer or a disk) or logical objects (immaterial objects represented by sequences of bits). It then follows from this physical/logical nature of computing objects that mutual exclusion is to physical objects what consensus is to logical objects. The article also addresses recent results on process synchronization in fully anonymous systems (systems in which processes cannot be distinguished one from the other, and where there is a disagreement on the addresses of the memory registers.

关键词： Agreement Algorithm Anonymity Asynchrony Atomicity Concurrency Consensus distributed computing Informatics Liveness Logical (immaterial) object Memory anonymity Mutual exclusion parallel computing Process anonymity Physical object Safety Sequential process Sequential specification Synchronization Total order

来源：评论

学校读者我要写书评

暂无评论

MapReduce model for efficient image retrieval: a Hadoop-based framework

引用

international Journal of Information Technology (Singapore) 2025年第2期17卷 925-939页

作者： Alrahhal, Maher Shukla, Vinod Kumar Postdoctoral Fellow School of Engineering Architecture and Interior Design Amity University Dubai Dubai United Arab Emirates Associate Professor School of Engineering Architecture and Interior Design Amity University Dubai Dubai United Arab Emirates

The rapid proliferation of images, driven by advancements in image-capturing technologies, poses significant challenges to the efficient management and retrieval of images from vast databases. Traditional Content-Based Image Retrieval (CBIR) systems struggle with scalability and complexity, resulting in suboptimal retrieval performance. To address these challenges, this paper explores the integration of CBIR with Hadoop, a well-established distributed computing framework. Hadoop's capability to handle large-scale data processing, utilizing its MapReduce model and Hadoop distributed File System (HDFS), offers a promising solution to enhance the effectiveness and scalability of image retrieval tasks. Our solution combines the strengths of CBIR and Hadoop, using our proposed Full Directional Local Neighbor Pattern (FDLNP) method for feature extraction. This method captures local patterns, color, texture, and directional information to provide a comprehensive image representation, significantly improving retrieval accuracy. We present a detailed design and implementation of this integrated system, emphasizing its two main phases: the offline phase, which constructs the feature database using FDLNP and MapReduce jobs, and the online phase, which extracts features from query images and calculates similarity distances using parallel processing. Experimental results on a Hadoop cluster reveal a significant improvement in processing efficiency, particularly for large datasets, highlighting the advantages of distributed processing in managing extensive image retrieval tasks. The findings indicate that while single-node systems may be suitable for smaller datasets, Hadoop clusters are preferable for larger-scale image databases due to their scalability and concurrent processing capabilities. Integrating CBIR with Hadoop, enhanced by our FDLNP method, provides a powerful tool for organizing and searching images in vast databases, offering improved retrieval performance, scalabi

关键词： Big data processing CBIR CBIR with Hadoop integration Hadoop distributed computing framework Hadoop distributed file system (HDFS) MapReduce model

来源：评论

学校读者我要写书评

暂无评论

Traquest Model 2.0 - A Model for Faster ACID distributed Computing 21st

Traquest Model 2.0 - A Model for Faster ACID Distributed ...

引用

21st international symposium on distributed Computing and Artificial Intelligence, DCAI 2024

作者： B. Rátai, Dániel Horváth, Zoltán Porkoláb, Zoltán Tóth, Melinda ELTE Eötvös Loránd University Faculty of Informatics Budapest Hungary

ISBN: (纸本)9783031809453

The global state of a distributed system is most commonly stored in databases. databases are responsible for ensuring that the data is available, durable, and correct at some level of consistency. However, this approach has its limitations. The computing nodes responsible for the application tier need to constantly communicate over the network to be able to interact with the global state and this comes with a performance limitation. Our Traquest model concept allows us to manage the data and even provide full ACID properties on the application tier level instead of the database level. In most cases, the data can be stored right next to the computation even in the same runtime environment. Our prototype measurements imply, that in some cases a Traquest model-based distributed system can provide even magnitudes larger throughput than the fastest in-memory databases today. The Traquest model also introduces a workaround for the famous CAP theorem by introducing temporary availability. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： ACID CAP theorem distributed computing fault tolerance transaction

来源：评论

学校读者我要写书评

暂无评论

Helios: Efficient distributed Dynamic Graph Sampling for Online GNN Inference 25

Helios: Efficient Distributed Dynamic Graph Sampling for Onl...

引用

30th symposium on Principles and Practice of parallel Programming

作者： Sun, Jie Shi, Zuocheng Su, Li Shen, Wenting Wang, Zeke Li, Yong Yu, Wenyuan Lin, Wei Wu, Fei He, Bingsheng Zhou, Jingren Zhejiang Univ Hangzhou Peoples R China Alibaba Grp Hangzhou Peoples R China Zhejiang Univ Shanghai Inst Adv Study Hangzhou Peoples R China Natl Univ Singapore Singapore Singapore

ISBN: (纸本)9798400714436

Online GNN inference has been widely explored by applications such as online recommendation and financial fraud detection systems, where even minor delays can result in significant financial impact. Real-time dynamic graph sampling enables online GNN inference to reflect the latest graph updates in real-world graphs. However, online GNN inference typically demands millisecond-level latency Service Level Objectives (SLOs) as its performance guarantees, which poses great challenges for existing dynamic graph sampling approaches based on graph databases. The issues mainly arise from two aspects: long tail latency due to imbalanced data-dependent sampling and large communication overhead incurred by distributed sampling. To address these issues, we propose Helios, an efficient distributed dynamic graph sampling service to meet the stringent latency SLOs. The key ideas of Helios are 1) pre-sampling the dynamic graph in an event-driven approach, and 2) maintaining a query-aware sample cache to build the complete K-hop sampling results locally for inference requests. Experiments on multiple datasets show that Helios achieves up to 67x higher serving throughput and up to 32x lower P99 query latency compared to baselines.

关键词： Graph Neural Network distributed System Online Inference

来源：评论

学校读者我要写书评

暂无评论

Brief Announcement: Perpetual Exploration of Triangular Grid by Myopic Oblivious Robots Without Chirality 26th

Brief Announcement: Perpetual Exploration of Triangular Grid...

引用

26th international symposium on Stabilization, Safety, and Security of distributed systems

作者： Das, Raja Goswami, Pritam Sau, Buddhadeb Jadavpur Univ Kolkata India

ISBN: (纸本)9783031744976;9783031744983

Exploration of different network topologies is one of the fundamental problems of distributed systems. The problem has been studied on networks like lines, rings, tori, rectangular grids, etc. In this work, we have considered a rectangle enclosed triangular grid (RETG). A RETG is a part of an infinite triangular grid and the part is enclosed by a rectangle whose one pair of parallel sides aligns with a family of parallel straight lines of the infinite triangular grid. We have studied the problem of perpetual exploration on a RETG using oblivious robots. We have considered the robots with limited visibility i.e. the robots are myopic. Infinite visibility becomes impractical for a very large network. Limited visibility is more practical than infinite visibility. The robots have neither any chirality nor any axis agreement. An algorithm is provided to explore the RETG perpetually without any collision. The algorithm works under a synchronous scheduler. The algorithm requires three robots with two hop visibility.

关键词： Myopic robot Autonomous robots Oblivious robot Triangular grid Perpetual exploration distributed algorithms

来源：评论

学校读者我要写书评

暂无评论

Benchmarking distributed Transactional Database systems 16th

Benchmarking Distributed Transactional Database Systems

引用

16th BenchCouncil international symposium on Benchmarking, Measuring, and Optimizing, Bench 2024

作者： He, Hailin Weng, Siyang Zeng, Lingyang Zhang, Huidong Zhang, Rong Cai, Peng Zhou, Xuan Xu, Quanqing East China Normal University Shanghai China OceanBase Ant Group Hangzhou China

ISBN: (纸本)9789819650316

With the attractive characteristics of scalability, strong consistency, and high availability, distributed databases have attracted much attention. Moreover, application-oriented database development promotes the fast evolution and development of various distributed databases. Then there is a growing need for more precise and comprehensive evaluations to facilitate the selection and deployment of distributed databases. Though there have already been a bunch of benchmarks, we observe that existing benchmarks often fall short in addressing the technical challenges posed by distributed systems and particularly in providing quantitative control to workload for a fair comparison. To address these gaps, we identify five critical evaluation scenarios, focusing on distributed transaction processing, dynamic data scheduling, distributed lock management, distributed clock management, and fault recovery. Based on this analysis, we design and implement Sherry, an evaluation benchmark tool specifically tailored to these scenarios. Through extensive experiments conducted on OceanBase, we expose Sherry’s effectiveness in assessing the key design and optimization of OceanBase which are the inherent challenges for distributed transaction processing. Our findings validate Sherry’s feasibility as a robust benchmarking tool in this domain. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：