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

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

来源：评论

学校读者我要写书评

暂无评论

A Study of Two Types of Introductory Exercise Problems for Network Programming Learning with Python 23

A Study of Two Types of Introductory Exercise Problems for N...

引用

11th International Conference on computer and Communications Management, ICCCM 2023

作者： Lu, Xiqin Funabiki, Nobuo Ueda, Kiyoshi Kao, Wen-Chung Department of Information and Communication Systems Distributed System Design Lab. Okayama University Okayama Japan Department of Computer Science Control Software Lab. Nihon University Koriyama Japan Department of Electrical Engineering National Taiwan Normal University Taipei Taiwan

ISBN: (纸本)9798400707735

Network programming is the act of writing computer codes for communications between programs or processes in different computers across networks. It is crucial for applications and services using networks, including e-commerce, gaming, and social media. However, university courses of educating it are very limited. As a result, it has become important to develop and offer IT tools to support self-studies of network programming by novices. In this paper, we present a study of two types of introductory exercise problems, namely, Grammar-concept Understanding Problem (GUP) and Comment Insertion Problem (CIP), for self-studies of five basic network protocols of TCP/IP, ARP, SMTP, POP3, and SSH with Python. A GUP instance requests to answer the keyword such as a library function in the given source code that corresponds to the grammar concept described in the question. A CIP instance requests to insert the comment at each blank of the code. String matching is adopted to mark any answer at the browser-based answer interface. Through solving them, it is expected to understand the meaning of important words and the code structure for network programming. As preliminary evaluations, we generated six GUP and CIP instances respectively, and assigned them to 10 students in Okayama University, Japan. The results confirmed that the proposal is proper for novices to learn network programming with Python. © 2023 ACM.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

SatCooper: Enhancing Cooperative Inference Analytics for Satellite Service via Multi-exit DNNs

引用

IEEE Transactions on Mobile Computing 2025年

作者： Zhang, Qiyang Wang, Shangguang Guan, Jinglong Donta, Praveen Kumar Ma, Xiao Prasad, RangaRao Venkatesha Dustdar, Schahram Liu, Xuanzhe Peking University School of Computer Science Beijing100871 China Beijing University of Posts and Telecommunications State Key Laboratory of Networking and Switching Technology Beijing China Stockholm University Department of Computer and Systems Sciences Kista16455 Sweden Beiyou Shenzhen Institute Shenzhen China Netherlands TU Wien Distributed System Group Wien1040 Austria UPF Barcelona Spain

As a key technology of intelligent satellite-enabled services in B5G or 6G networks, deploying Deep Neural Networks (DNN) models on satellites has been a notable trend, catering to the daily demand for extensive computing-intensive and latency-sensitive tasks. The computing resources are strategically deployed on satellites where sensor data is generated or collected, facilitating the fine-grained computational inference of DNN-based tasks. However, no prior study has comprehensively explored the crucial inference challenges-e.g., the trade-off between the number of tasks completed and accuracy and partitioning models in multi-exit models-in the resource-constrained space environment. Effective scheduling frameworks cater to various streams of inference tasks are scarce because inference performance may deviate from the ideal situation due to changes in task system status, such as task profiles and network state. To this end, we first formulate a gain-aware in-orbit computing inference problem to strike a proper trade-off between inference latency and the number of tasks completed by dynamically selecting optimal early exit points and model partitioning points. We propose an offline dynamic programming-based algorithm that provides an effective solution when comprehensive system details are to be predicted. We have developed an online learning-based method to schedule inference tasks with uncertain and dynamic system statuses in real-world situations. Our evaluation shows that, compared to baseline methods, the online learning-based algorithm can improve task gain by an average of 87.3% across various tasks. © 2002-2012 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Implicit Multi-Scale Swin Transformer Network for Image Denoising

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Zhang, Qi Ding, Yuwei Zhang, Weiqi Zhu, Yian Zhang, Bob Lin, Jerry Chun-Wei Harbin Institute of Technology at Weihai School of Economics and Management Weihai China Nanjing University State Key Laboratory for Novel Software Technology Nanjing China Northwestern Polytechnical University School of Computer Science Xi’an China Northwestern Polytechnical University Yangtze River Delta Research Institute Taicang China University of Macau PAMI Research Group Department of Computer and Information Science Taipa China Department of Distributed Systems and IT Devices Electrical Engineering and Mathematical Sciences Silesian university of technology Poland

Image denoising has been used in various edge computing scenarios such as consumer electronics to improve the image quality and user experience. Existing image denoising methods based on Convolutional Neural Networks (CNNs) and vision Transformers achieve good performance by empirically utilizing residual neural network (ResNet) as basic component. However, ResNet lacks interpretability in network design and also long-term memory of features, potentially restricting the performance of denoising networks. In this paper, we propose an Implicit Multi-scale Swin Transformer Network (IMSNet) for image denoising, which introduces the implicit Euler scheme from the feature memory perspective. Specifically, densely connected implicit feature extraction blocks (IFEBs) are designed to learn the residual mapping between noisy and clean images. The IFEB reformulates the initial skip connection of ResNet based on the implicit Euler discretization, providing both network interpretability and long-term memory. In IFEB, the multi-scale swin Transformer block (MSB) is designed as the implicit layer to capture spatial details and non-local contextual information at different scales. Additionally, a cross-layer feature fusion block (CLFF) is proposed to further improve feature reuse capabilities. Compared to existing denoising networks, the extensive experiments demonstrate the superior performance of our IMSNet in various image denoising tasks, and the flexibility in the practical applications with proposed light model on resource-restricted platforms such as consumer electronic devices. © 1975-2011 IEEE.

关键词： Image denoising

来源：评论

学校读者我要写书评

暂无评论

Evidence-Based Quality-Aware Agile software Development Process: Design and Evaluation

SSRN

引用

SSRN 2023年

作者： Karhapää, Pertti Behutiye, Woubshet Seppänen, Pertti Rodríguez, Pilar Oivo, Markku Franch, Xavier Martinez-Fernandez, Silverio López, Lidia Choraś, Michal Bagnato, Alessandra Aaramaa, Sanja Partanen, Jari University of Oulu Oulu90014 Finland Department of Service and Information System Engineering UPC-BarcelonaTech Barcelona08034 Spain Kaiserslautern67663 Germany ITTI Sp. z o.o Poznan61-612 Poland University of Science and Technology UTP Univerisy of Science and Technology Bydgoszcz5-796 Poland Softeam Paris75016 France Nokia Oy Oulu90620 Finland Bittium Wireless Ltd. Oulu90590 Finland University of Puget Sound United States Dep. Of Languages Computer Systems and Software Engineering Faculty of Computer Science Universidad Politécnica de Madrid Spain Dep. ESSI GESSI Research Group UPC-BarcelonaTech Barcelona08034 Spain Centro Nacional de Supercomputacíon Barcelona08034 Spain

Context Agile software development (ASD) aims to deliver high-quality software. However, software quality often gets less attention due to focus on *** an evidence-based quality-aware ASD process that organizations can use to create a more quality-aware development process and improve software *** methodUsing design science research, we collaborated with four organizations applying ASD in different contexts. Involving a total of 35 practitioners, we designed company-specific evidence-based quality-aware ASD processes, which were validated through simulated scenarios, implemented, and evaluated by the practitioners. ResultsA general ASD process model, derived from the company-specific models, was created, which shows the specific activities, frequencies, roles, and development phases where evidence can be used to improve software quality. The new process model contributed towards improved bottleneck identification, release readiness, and quality issues prioritization. We also learned that companies must be mindful of the rules that determine the use of evidence. Conclusion Integrating the use of quality related evidence into the ASD process can make it quality-aware, supporting software quality management, and enabling timely reaction through fast feedback loops. The evidence-based quality-aware ASD process is applicable in any Scrum-like ASD process. Applicability in other forms of ASD, however, requires further research. © 2023, The Authors. All rights reserved.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

AI-based Fog and Edge Computing: A systematic Review, Taxonomy and Future Directions

arXiv

引用

arXiv 2022年

作者： Iftikhar, Sundas Gill, Sukhpal Singh Song, Chenghao Xu, Minxian Aslanpour, Mohammad Sadegh Toosi, Adel N. Du, Junhui Wu, Huaming Ghosh, Shreya Chowdhury, Deepraj Golec, Muhammed Kumar, Mohit Abdelmoniem, Ahmed M. Cuadrado, Felix Varghese, Blesson Rana, Omer Dustdar, Schahram Uhlig, Steve School of Electronic Engineering and Computer Science Queen Mary University of London London United Kingdom University of Kotli Azad Jammu & Kashmir Azad Kashmir Kotli Pakistan Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Department of Software Systems and Cybersecurity Faculty of Information Technology Monash University Australia Csiro DATA61 Australia Center for Applied Mathematics Tianjin University Tianjin China The Pennsylvania State University PA United States Naya Raipur India Abdullah Gül University Kayseri Turkey Department of Information Technology National Institute of Technology Jalandhar India Spain School of Computer Science University of St Andrews United Kingdom School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Distributed Systems Group Vienna University of Technology Vienna Austria

Resource management in computing is a very challenging problem that involves making sequential decisions. Resource limitations, resource heterogeneity, dynamic and diverse nature of workload, and the unpredictability of fog/edge computing environments have made resource management even more challenging to be considered in the fog landscape. Recently Artificial Intelligence (AI) and Machine Learning (ML) based solutions are adopted to solve this problem. AI/ML methods with the capability to make sequential decisions like reinforcement learning seem most promising for these type of problems. But these algorithms come with their own challenges such as high variance, explainability, and online training. The continuously changing fog/edge environment dynamics require solutions that learn online, adopting changing computing environment. In this paper, we used standard review methodology to conduct this systematic Literature Review (SLR) to analyze the role of AI/ML algorithms and the challenges in the applicability of these algorithms for resource management in fog/edge computing environments. Further, various machine learning, deep learning and reinforcement learning techniques for edge AI management have been discussed. Furthermore, we have presented the background and current status of AI/ML-based Fog/Edge Computing. Moreover, a taxonomy of AI/ML-based resource management techniques for fog/edge computing has been proposed and compared the existing techniques based on the proposed taxonomy. Finally, open challenges and promising future research directions have been identified and discussed in the area of AI/ML-based fog/edge computing. Copyright © 2022, The Authors. All rights reserved.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

Results of the Ontology Alignment Evaluation Initiative 2022 17

Results of the Ontology Alignment Evaluation Initiative 2022

引用

17th International Workshop on Ontology Matching, OM 2022

作者： Pour, Mina Abd Nikooie Algergawy, Alsayed Buche, Patrice Castro, Leyla J. Chen, Jiaoyan Dong, Hang Fallatah, Omaima Faria, Daniel Fundulaki, Irini Hertling, Sven He, Yuan Horrocks, Ian Huschka, Martin Ibanescu, Liliana Jiménez-Ruiz, Ernesto Karam, Naouel Laadhar, Amir Lambrix, Patrick Li, Huanyu Li, Ying Michel, Franck Nasr, Engy Paulheim, Heiko Pesquita, Catia Saveta, Tzanina Shvaiko, Pavel Trojahn, Cassia Verhey, Chantelle Wu, Mingfang Yaman, Beyza Zamazal, Ondrej Zhou, Lu Linköping University Swedish E-Science Research Center Linköping Sweden Heinz Nixdorf Chair for Distributed Information Systems Friedrich Schiller University Jena Germany UMR IATE INRAE University of Montpellier France ZB MED Information Centre for Life Sciences Germany Department of Computer Science The University of Manchester United Kingdom Department of Computer Science University of Oxford United Kingdom Information School The University of Sheffield Sheffield United Kingdom University of Lisbon Portugal Institute of Computer Science-FORTH Heraklion Greece Data and Web Science Group University of Mannheim Germany Fraunhofer Institute for High-Speed Dynamics Ernst-Mach-Institut EMI Germany Université Paris-Saclay INRAE AgroParisTech UMR MIA Paris-Saclay France City University of London United Kingdom Fraunhofer FOKUS Institute for Applied Informatics University of Leipzig Germany University of Stuttgart Germany University of Gävle Sweden University Côte d'Azur CNRS Inria France Albert Ludwig University of Freiburg Germany LASIGE Faculdade de Ciências Universidade de Lisboa Portugal Trentino Digitale SpA Trento Italy Institut de Recherche en Informatique de Toulouse France World Data System International Technology Office United States Australian Research Data Commons Australia ADAPT Centre Trinity College Dublin Ireland Prague University of Economics and Business Czech Republic TigerGraph Inc. United States SIRIUS University of Oslo Norway

The Ontology Alignment Evaluation Initiative (OAEI) aims at comparing ontology matching systems on precisely defined test cases. These test cases can be based on ontologies of different levels of complexity and use different evaluation modalities. The OAEI 2022 campaign offered 14 tracks and was attended by 18 participants. This paper is an overall presentation of that campaign. © 2022 Copyright for this paper by its authors.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Design of a Cryptographically Secure Pseudo Random Number Generator with Grammatical Evolution

Research Square

引用

Research Square 2021年

作者： Ryan, Conor Kshirsagar, Meghana Vaidya, Gauri Cunningham, Andrew Sivaraman, R. Biocomputing and Developmental Systems Group Lero The Science Foundation Ireland Research Centre for Software Computer Science and Information System Department University of Limerick LimerickV94 T9PX Ireland Intel Research and Development Ireland Limited LeixlipW23 CX68 Ireland Department of Electronics Communication Engineering School of Electrical and Electronics Engineering Shanmugha Arts Science Technology and Research Academy Deemed to be University Thanjavur613401 India

This work investigates the potential of evolving an initial seed with Grammatical Evolution (GE), for the construction of cryptographically secure (CS) pseudo-random number generator (PRNG). We harness the flexibility of GE as an entropy source for returning initial seeds. The initial seeds returned by GE demonstrate an average entropy value of 7.920261600000001 which is extremely close to the ideal value of 8. The initial seed combined with our proposed approach, control_flow_incrementor, is used to construct both, GE-PRNG and GE-CSPRNG. The random numbers generated with CSPRNG meet the prescribed National Institute of Standards and Technology (NIST) SP800-22 requirements. Monte Carlo simulations established the efficacy of the PRNG. The experimental setup was designed to estimate the value for pi, in which 100,000,000 random numbers were generated by our system and which resulted in returning the value of pi to 3.146564000, with a precision up to six decimal digits. The random numbers by GE-PRNG were compared against those generated by Python’s rand() function for sampling. The sampling results, when measured for accuracy against twenty-nine real world regression datasets, showed that GE-PRNG had less error when compared to Python’s rand() against the ground truths in seventeen of those, while there was no discernible difference in the remaining twelve. © 2021, CC BY.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

Self-Awareness for Autonomous systems

引用

PROCEEDINGS OF THE IEEE 2020年第7期108卷 971-975页

作者： Dutt, Nikil Regazzoni, Carlo S. Rinner, Bernhard Yao, Xin Nikil Dutt (Fellow IEEE) received the Ph.D. degree from the University of Illinois at Urbana–Champaign Champaign IL USA in 1989.""He is currently a Distinguished Professor of computer science (CS) cognitive sciences and electrical engineering and computer sciences (EECS) with the University of California at Irvine Irvine CA USA. He is a coauthor of seven books. His research interests include embedded systems electronic design automation (EDA) computer architecture distributed systems healthcare Internet of Things (IoT) and brain-inspired architectures and computing.""Dr. Dutt is a Fellow of ACM. He was a recipient of the IFIP Silver Core Award. He has received numerous best paper awards. He serves as the Steering Committee Chair of the IEEE/ACM Embedded Systems Week (ESWEEK). He is also on the steering organizing and program committees of several premier EDA and embedded system design conferences and workshops. He has served on the Editorial Boards for the IEEE Transactions on Very Large Scale Integration (VLSI) Systems and the ACM Transactions on Embedded Computing Systems and also previously served as the Editor-in-Chief (EiC) for the ACM Transactions on Design Automation of Electronic Systems. He served on the Advisory Boards of the IEEE Embedded Systems Letters the ACM Special Interest Group on Embedded Systems the ACM Special Interest Group on Design Automationt and the ACM Transactions on Embedded Computing Systems. Carlo S. Regazzoni (Senior Member IEEE) received the M.S. and Ph.D. degrees in electronic and telecommunications engineering from the University of Genoa Genoa Italy in 1987 and 1992 respectively.""He is currently a Full Professor of cognitive telecommunications systems with the Department of Electrical Electronics and Telecommunication Engineering and Naval Architecture (DITEN) University of Genoa and a Co-Ordinator of the Joint Doctorate on Interactive and Cognitive Environments (JDICE) international Ph.D. course started initially as EU Erasmus Mundus Project and

Autonomous systems are able to make decisions and potentially take actions without direct human intervention, which requires some knowledge about the system and its environment as well as goal-oriented reasoning. In computer systems, one can derive such behavior from the concept of a rational agent with autonomy (“control over its own actions”), reactivity (“react to events from the environment”), proactivity (“act on its own initiative”), and sociality (“interact with other agents”) as fundamental properties \n[1]\n. Autonomous systems will undoubtedly pervade into our everyday lives, and we will find them in a variety of domains and applications including robotics, transportation, health care, communications, and entertainment to name a few. \nThe articles in this month’s special issue cover concepts and fundamentals, architectures and techniques, and applications and case studies in the exciting area of self-awareness in autonomous systems.

关键词： Special issues and sections Autonomous systems Self-aware Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Entrans: Leveraging kinetic energy harvesting signal for transportation mode detection

arXiv

引用

arXiv 2018年

作者： Lany, Guohao Xu, Weitao Ma, Dong Khalifa, Sara Hassan, Mahbub Hu, Wen Department of Electrical and Computer Engineering Duke University DurhamNC27708 United States College of Computer Science and Software Engineering Shenzhen University China School of Computer Science and Engineering University of New South Wales Sydney Australia Distributed Sensing Systems research group Data61 CSIRO Australia

Monitoring the daily transportation modes of an individual provides useful information in many application domains, such as urban design, real-time journey recommendation, as well as providing location-based services. In existing systems, accelerometer and GPS are the dominantly used signal sources for transportation context monitoring which drain out the limited battery life of the wearable devices very quickly. To resolve the high energy consumption issue, in this paper, we present EnTrans, which enables transportation mode detection by using only the kinetic energy harvester as an energy-efficient signal source. The proposed idea is based on the intuition that the vibrations experienced by the passenger during traveling with different transportation modes are distinctive. Thus, voltage signal generated by the energy harvesting devices should contain sufficient features to distinguish different transportation modes. We evaluate our system using over 28 hours of data, which is collected by eight individuals using a practical energy harvesting prototype. The evaluation results demonstrate that EnTrans is able to achieve an overall accuracy over 92% in classifying five different modes while saving more than 34% of the system power compared to conventional accelerometer-based approaches. Copyright © 2018, The Authors. All rights reserved.

关键词： Accelerometers

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：