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

Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs

computers, Materials & Continua 2024年第5期79卷 3139-3173页

作者： Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Software Engineering and Distributed System Research Group King Abdulaziz UniversityJeddah21589Saudi Arabia

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关键词： High-performance computing parallel computing software engineering software defect message passing interface deadlock

来源：评论

学校读者我要写书评

暂无评论

Experimental Assessment of Containers Running on Top of Virtual Machines

arXiv

引用

arXiv 2024年

作者： Aqasizade, Hossein Ataie, Ehsan Bastam, Mostafa Department of Computer Engineering University of Mazandaran Babolsar Iran Distributed Computing Systems Research Group University of Mazandaran Babolsar Iran

Over the past two decades, the cloud computing paradigm has gradually attracted more popularity due to its efficient resource usage and simple service access model. Virtualization technology is the fundamental element of cloud computing that brings several benefits to cloud users and providers, such as workload isolation, energy efficiency, server consolidation, and cost reduction. This paper examines the combination of operating system-level virtualization (containers) and hardware-level virtualization (virtual machines). To this end, the performance of containers running on top of virtual machines is experimentally compared with standalone virtual machines and containers based on different hardware resources, including the processor, main memory, disk, and network in a real testbed by running the most commonly used benchmarks. Paravirtualization and full virtualization as well as type 1 and type 2 hypervisors are covered in this study. In addition, three prevalent containerization platforms are examined. © 2024, CC BY.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Enabling Sustainable and Unmanned Facial Detection and Recognition Services With Adaptive Edge Resource

引用

IEEE Transactions on Consumer Electronics 2024年 1-1页

作者： Xiang, Zhengzhe Xue, Xizi Zheng, Zengwei Gao, Honghao Chen, Yuanyi Dustdar, Schahram School of Computer and Computing Science Hangzhou City University Hangzhou China College of Computer Science and Technology Zhejiang University Hangzhou China School of Computer Engineering and Science Shanghai University Shanghai China Distributed Systems Group TU Wien Vienna Austria

Facial recognition techniques are used extensively in areas like online payments, education, and social media. Traditionally, these applications relied on powerful cloud-based systems, but advancements in edge computing have changed this, enabling fast and reliable local processing in complex and extreme environments. However, new challenges arise in availability and durability insurance to make the system run 24/7 with acceptable performance. This paper proposes a novel solution to these challenging settings. First, we use edge devices for local data processing, reducing the need for cloud communication and enhancing user privacy. Second, we implement an adaptive control strategy to improve energy management in these devices. Lastly, we establish a solar-powered energy system to facilitate long-term device operation. The experiments show our approach strikes a balance between performance, quality, and durability, enabling facial recognition systems to work energy-efficiently in complex environments. Meanwhile, considering the limited resources of devices in extreme cases, we also proposed a learning-based approach to accelerate the solution generation. IEEE

关键词： Edge computing Edge computing Energy consumption Energy efficiency Energy Harvesting Face recognition Fifth Industrial Revolution Performance evaluation Real-time systems Resource Allocation Service Management

来源：评论

学校读者我要写书评

暂无评论

Follow-Me AI: Energy-Efficient User Interaction with Smart Environments

arXiv

引用

arXiv 2024年

作者： Saleh, Alaa Donta, Praveen Kumar Morabito, Roberto Motlagh, Naser Hossein Lovén, Lauri Center for Ubiquitous Computing University of Oulu Finland Distributed Systems Group TU Wien Vienna Austria Department of Communication Systems EURECOM France Department of Computer Science University of Helsinki Finland

This article introduces Follow-Me AI, a concept designed to enhance user interactions with smart environments, optimize energy use, and provide better control over data captured by these environments. Through AI agents that accompany users, Follow-Me AI negotiates data management based on user consent, aligns environmental controls as well as user communication and computes resources available in the environment with user preferences, and predicts user behavior to proactively adjust the smart environment. The manuscript illustrates this concept with a detailed example of Follow-Me AI in a smart campus setting, detailing the interactions with the building's management system for optimal comfort and efficiency. Finally, this article looks into the challenges and opportunities related to Follow-Me AI. © 2024, CC BY-NC-ND.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Transformative effects of ChatGPT on modern education: Emerging Era of AI Chatbots

引用

Internet of Things and Cyber-Physical Systems 2024年第1期4卷 19-23页

作者： Gill, Sukhpal Singh Xu, Minxian Patros, Panos Wu, Huaming Kaur, Rupinder Kaur, Kamalpreet Fuller, Stephanie Singh, Manmeet Arora, Priyansh Parlikad, Ajith Kumar Stankovski, Vlado Abraham, Ajith Ghosh, Soumya K. Lutfiyya, Hanan Kanhere, Salil S. Bahsoon, Rami Rana, Omer Dustdar, Schahram Sakellariou, Rizos Uhlig, Steve Buyya, Rajkumar School of Electronic Engineering and Computer Science Queen Mary University of London London United Kingdom Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Raygun Performance Monitoring Wellington New Zealand Center for Applied Mathematics Tianjin University Tianjin China Department of Science Kings Education London United Kingdom Cymax Group Technologies BC Canada QM Academy Queen Mary University of London London United Kingdom Jackson School of Geosciences University of Texas at Austin AustinTX United States Centre for Climate Change Research Indian Institute of Tropical Meteorology Pune India Microsoft Hyderabad India Institute for Manufacturing Department of Engineering University of Cambridge Cambridge United Kingdom Faculty of Computer and Information Science University of Ljubljana Ljubljana Slovenia Machine Intelligence Research Labs AuburnWA United States Faculty of Computing and Data Science FLAME University Maharashtra Pune India Department of Computer Science and Engineering Indian Institute of Technology Kharagpur India Department of Computer Science University of Western Ontario London Canada Sydney Australia School of Computer Science University of Birmingham United Kingdom School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Distributed Systems Group Vienna University of Technology Vienna Austria Department of Computer Science University of Manchester Oxford Road Manchester United Kingdom Laboratory School of Computing and Information Systems The University of Melbourne Australia

ChatGPT, an AI-based chatbot, offers coherent and useful replies based on analysis of large volumes of data. In this article, leading academics, scientists, distinguish researchers and engineers discuss the transformative effects of ChatGPT on modern education. This research discusses ChatGPT capabilities and its use in the education sector, identifies potential concerns and challenges. Our preliminary evaluation shows that ChatGPT perform differently in different subject areas including finance, coding, maths, and general public queries. While ChatGPT has the ability to help educators by creating instructional content, offering suggestions and acting as an online educator to learners by answering questions, transforming education through smartphones and IoT gadgets, and promoting group work, there are clear drawbacks in its use, such as the possibility of producing inaccurate or false data and circumventing duplicate content (plagiarism) detectors where originality is essential. The often reported "hallucinations" within GenerativeAI in general, and also relevant for ChatGPT, can render its use of limited benefit where accuracy is essential. What ChatGPT lacks is a stochastic measure to help provide sincere and sensitive communication with its users. Academic regulations and evaluation practices used in educational institutions need to be updated, should ChatGPT be used as a tool in education. To address the transformative effects of ChatGPT on the learning environment, educating teachers and students alike about its capabilities and limitations will be crucial. © 2023 The Authors

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

The Power of Bamboo: On the Post-Compromise Security for Searchable Symmetric Encryption 30

The Power of Bamboo: On the Post-Compromise Security for Sea...

引用

30th Annual Network and distributed System Security Symposium, NDSS 2023

作者： Chen, Tianyang Xu, Peng Picek, Stjepan Luo, Bo Susilo, Willy Jin, Hai Liang, Kaitai National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab China Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering China Cluster and Grid Computing Lab School of Computer Science and Technology China Huazhong University of Science and Technology Wuhan430074 China Digital Security Group Radboud University Nijmegen Netherlands Department of EECS Institute of Information Sciences The University of Kansas LawrenceKS United States Institute of Cybersecurity and Cryptology School of Computing and Information Technology University of Wollongong WollongongNSW2522 Australia Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 CD Netherlands

ISBN: (纸本)1891562835

Dynamic searchable symmetric encryption (DSSE) enables users to delegate the keyword search over dynamically updated encrypted databases to an honest-but-curious server without losing keyword privacy. This paper studies a new and practical security risk to DSSE, namely, secret key compromise (e.g., a user’s secret key is leaked or stolen), which threatens all the security guarantees offered by existing DSSE schemes. To address this open problem, we introduce the notion of searchable encryption with key-update (SEKU) that provides users with the option of non-interactive key updates. We further define the notion of post-compromise secure with respect to leakage functions to study whether DSSE schemes can still provide data security after the client’s secret key is compromised. We demonstrate that post-compromise security is achievable with a proposed protocol called "Bamboo". Interestingly, the leakage functions of Bamboo satisfy the requirements for both forward and backward security. We conduct a performance evaluation of Bamboo using a real-world dataset and compare its runtime efficiency with the existing forward-and-backward secure DSSE schemes. The result shows that Bamboo provides strong security with better or comparable performance. © 2023 30th Annual Network and distributed System Security Symposium, NDSS 2023. All Rights Reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PupilRec: Leveraging Pupil Morphology for Recommending on Smartphones

PupilRec: Leveraging Pupil Morphology for Recommending on Sm...

引用

作者： Shen, Xiangyu Jiang, Hongbo Liu, Daibo Yang, Kehua Deng, Feiyang Lui, John C. S. Liu, Jiangchuan Dustdar, Schahram Luo, Jun Hunan University College of Computer Science and Electronic Engineering Hunan Changsha410082 China The City University of Hong Kong School of Graduate Studies Hong Kong The Chinese University of Hong Kong Computer Science and Engineering Department Hong Kong Simon Fraser University School of Computing Science BurnabyBCV5A 1S6 Canada Vienna University of Technology Distributed Systems Group Vienna1040 Austria Nanyang Technological University School of Computer Engineering 639798 Singapore

As mobile shopping has gradually become the mainstream shopping mode, recommendation systems are gaining an increasingly wide adoption. Existing recommendation systems are mainly based on explicit and implicit user behaviors. However, these user behaviors may not directly indicate users' inner feelings, causing erroneous user preference estimation and thus leading to inaccurate recommendations. Inspired by our key observation on the correlation between pupil size and users' inner feelings, we consider using the change of pupil size when browsing to model users' preferences, so as to achieve targeted recommendations. To this end, we propose PupilRec as a computer-vision-based recommendation framework involving a mobile terminal and a server side. On the mobile terminal, PupilRec collects users' pupil size change information through the front camera of smartphones;it then preprocesses the raw pupil size data before transmitting them to the server. On the server side, PupilRec utilizes the Tsfresh package and Random Forest algorithm to figure out the key time-series features directly implying user preferences. PupilRec then trains a neural network to fit a user preference model. Using this model, PupilRec predicts user preference to obtain a user-product matrix and further simplifies it by singular value decomposition. Finally, the real-time recommendation is achieved by a collaborative filtering module that retrieves recommended contents to users smartphones. We prototype PupilRec and conduct both experiments and field studies to comprehensively evaluate the effectiveness of PupilRec by recruiting 67 volunteers. The overall results show that PupilRec can accurately estimate users' preference and can recommend products users interested in. © 2014 IEEE.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

distributed AI in Zero-touch Provisioning for Edge Networks: Challenges and Research Directions

arXiv

引用

arXiv 2023年

作者： Hazra, Abhishek Morichetta, Andrea Murturi, Ilir Lovén, Lauri Dehury, Chinmaya Kumar Pujol, Víctor Casamayor Donta, Praveen Kumar Dustdar, Schahram Department of Computer Science and Engineering the Indian Institute of Information Technology Sri City India Communications & Networks Lab Department of Electrical and Computer Engineering National University of Singapore Singapore119260 Singapore Distributed Systems Group TU Wien Vienna1040 Austria Center for Ubiquitous Computing University of Oulu 90014 Finland Institute of Computer Science University of Tartu Tartu51009 Estonia

Zero-touch network is anticipated to inaugurate the generation of intelligent and highly flexible resource provisioning strategies where multiple service providers collaboratively offer computation and storage resources. This transformation presents substantial challenges to network administration and service providers regarding sustainability and scalability. This article combines distributed Artificial Intelligence (DAI) with Zero-touch Provisioning (ZTP) for edge networks. This combination helps to manage network devices seamlessly and intelligently by minimizing human intervention. In addition, several advantages are also highlighted that come with incorporating distributed AI into ZTP in the context of edge networks. Further, we draw potential research directions to foster novel studies in this field and overcome the current limitations. Copyright © 2023, The Authors. All rights reserved.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Theoretically Guaranteed Online Workload Dispatching for Deadline-Aware Multi-Server Jobs

arXiv

引用

arXiv 2021年

作者： Zhao, Hailiang Deng, Shuiguang Yin, Jianwei Dustdar, Schahram Zomaya, Albert Y. School of Computer Science and Technology Wuhan University of Technology Wuhan China The Massachusetts Institute of Technology United States China The Distributed Systems Group The Tu Wien Austria The Centre for Distributed and High-Performance Computing The University of Sydney Australia

Multi-server jobs are imperative in modern computing clusters. A multi-server job has multiple task components and each of the task components is responsible for processing a specific size of workloads. Efficient online workload dispatching is crucial but challenging to co-located heterogeneous multi-server jobs. The dispatching policy should decide (i) where to launch each task component instance of the arrived jobs and (ii) the size of workloads that each task component processes. Existing policies are explicit and effective when facing service locality and resource contention in both offline and online settings. However, when adding the deadline-aware constraint, the theoretical superiority of these policies could not be guaranteed. To fill the theoretical gap, in this paper, we design an α-competitive online workload dispatching policy for deadline-aware multi-server jobs based on the spatio-temporal resource mesh model. We formulate the problem as a social welfare maximization program and solve it online with several well designed pseudo functions. The social welfare is formulated as the sum of the utilities of jobs and the utility of the computing cluster. The proposed policy is rigorously proved to be α-competitive for some α ≥ 2. We also validate the theoretical superiority of it with simulations and the results show that it distinctly outperforms two handcrafted baseline policies on the social welfare. © 2021, CC BY-NC-ND.

关键词： Cluster computing

来源：评论

学校读者我要写书评

暂无评论

The Power of Bamboo: On the Post-Compromise Security for Searchable Symmetric Encryption

arXiv

引用

arXiv 2024年

关键词： Bamboo

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：