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

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

来源：评论

学校读者我要写书评

暂无评论

An improved kangaroo transaction model using surrogate objects for distributed mobile system

An improved kangaroo transaction model using surrogate objec...

引用

10th ACM International Workshop on Data engineering for Wireless and Mobile Access, MobiDE'11

作者： Ravimaran, S. Maluk Mohamed, M.A. Software System Group Department of Computer Science and Engg. M.A.M. College of Engineering Anna University Tiruchirappalli India

ISBN: (纸本)9781450306560

The rapid growth in the use of wireless communication and mobile devices has created a potential for variety of mobile transaction support. The variety of mobile transaction models have already been developed for dealing with different challenging requirements in this environment. However, a transaction management in mobile computing environment faces several challenges such as scarce bandwidth, limited energy resources, asymmetry in wired and wireless connectivity, asymmetry in mobile and fixed hosts, and mobility of host and their limitations. Due to these constraints, data loss, frequent disconnection, unpredicted number of wireless and wired access and high transaction aborts have been occurred. In this paper we propose a new transaction scheme called Surrogate Object based mobile transaction model. The main focus is to support data caching at surrogate object for faster data access and database operations among mobile transactions at different mobile hosts in mobile environment. This is done by creating the surrogate object in the static network to act on behalf of each mobile device. One consequence of using the surrogate object model is that mobile devices would be transparent to the instability of wireless communication. The surrogate object can remain active, maintaining information regarding the current state and plays an active role on behalf of the device and reduces the network congestions, overcomes the asymmetry in wired and wireless access and achieve the low abort rate. The performance of the proposed model for mobile transaction is evaluated and compared in the absence of surrogate object. Results showed that a significant reduction in wireless access and abort probability can be obtained with the proposed model when measuring performance metrics. Copyright © 2011 ACM.

关键词： Mobile telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Tool support for the design of self-optimizing mechatronic multi-agent systems

引用

International Journal on software Tools for Technology Transfer 2008年第3期10卷 207-222页

作者： Burmester, Sven Giese, Holger Münch, Eckehard Oberschelp, Oliver Klein, Florian Scheideler, Peter Software Engineering Group Department of Computer Science University of Paderborn Paderborn Germany System Analysis and Modeling Group Hasso Plattner Institute University of Potsdam Potsdam Germany Control Engineering and Mechatronics University of Paderborn Paderborn Germany Heinz Nixdorf Institute University of Paderborn Paderborn Germany

Complex technical systems, such as mechatronic systems, can exploit networking as well as the computational power available today to achieve an automatic improvement of the technical system performance at run-time through self-optimization. To realize this vision, appropriate means for the design of such self-optimizing mechatronic systems are required. Well-established techniques and tools for the modeling of cognitive behavior, reflective behavior, and control behavior exist. However, to really enable self-optimization and its full potential, these different aspects have to be safely integrated in a manner that remains comprehensible to the designer. In this article, we present how this required integration has been realized at the semantic level by extending the unified modeling language (UML), and at the tool level by integrating the CAE tool CAMeL and the CASE tool Fujaba real-time tool suite. The presented Mechatronic UML approach supports the design of verifiable, complex, reconfigurable mechatronic systems using the multi-agent system metaphor. © Springer-Verlag 2008.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Towards the automatic verification of behavior preservation at the transformation level for operational model transformations 4

Towards the automatic verification of behavior preservation ...

引用

4th Workshop on the Analysis of Model Transformations, AMT 2015 - co-located with the 18th International Conference on Model Driven engineering Languages and systems, MODELS 2015

作者： Dyck, Johannes Giese, Holger Lambers, Leen Schlesinger, Sebastian Glesner, Sabine System Analysis and Modeling Group Hasso Plattner Institute at the University of Potsdam Germany Software Engineering for Embedded Systems Technical University of Berlin Germany

The correctness of model transformations and, in particular, behavior preservation is important for model-driven engineering of high quality software. Behavior preservation verification techniques have been pre-sented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach avail-able for operational model transformations at the transformation level, i.e. for all source and target models specified by an operational model transformation. In this paper, we outline a first approach towards the automatic verification of behavior preservation for operational model transformations at the transformation level extending our previous re-sults for relational model transformations. In particular, we show that in restricted cases the behavior preservation problem for an operational model transformation can be reduced to invariant checking for graph transformation with priorities illustrated by a simple example.

关键词：

来源：评论

学校读者我要写书评

暂无评论

BPMashup: Dynamic execution of RESTful processes

BPMashup: Dynamic execution of RESTful processes

引用

2012 International Conference on Service-Oriented Computing, ICSOC 2012

作者： Xu, Xiwei Weber, Ingo Zhu, Liming Liu, Yan Rimba, Paul Lu, Qinghua Software System Research Group NICTA Australia School of Computer Science and Engineering UNSW Australia Pacific Northwest National Laboratory United States

来源：评论

学校读者我要写书评

暂无评论

Dependability evaluation of complex systems with TimeNET

Dependability evaluation of complex systems with TimeNET

引用

1st Workshop on Dynamic Aspects in Dependability Models for Fault Tolerant systems, DYADEM-FTS 2010, Co-located to the European Dependable Computing Conference, EDCC 2010

作者： Zimmermann, Armin Technische Universität Ilmenau Faculty of Computer Science and Automation System and Software Engineering Group PF 100 565 D-98684 Ilmenau Germany

This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. A rare-event simulation module has been implemented for colored stochastic Pet... 详细信息

ISBN: (纸本)9781605589169

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Deriving architecture design variants for system optimization from design space descriptions expressed using a UML profile

Deriving architecture design variants for system optimizatio...

引用

2017 International Symposium on Model-Driven Approaches for Simulation engineering, Mod4Sim 2017, Part of the 2017 Spring Simulation Multi-Conference, SpringSim 2017

作者： Wichmann, Alexander Bedini, Francesco Maschotta, Ralph Zimmermann, Armin Technische Universität Ilmenau Department of Computer Science and Automation System and Software Engineering Group PO-Box 100 565 Ilmenau98684 Germany

ISBN: (纸本)9781510838260

In complex (dynamic) systems, models are usually too complex for a direct evaluation, and simulation is the method of choice (indirect optimization). Another aspect is the structure of the design space for complex system. In a recent paper of the authors, an approach is presented for design space description with a UML profile-based description of architectural variations of complex dynamic systems. In order to execute a simulation of a system variant, one has to be chosen based on the used heuristic, and specified in a standardized way to be used for constructing the actual simulation model with the use of a library of template models. This paper approaches a method to automatically generated individual UML object models from the design space specification for a given parameter selection. ©2017 Society for Modeling & Simulation International (SCS).

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Towards higher changeability for airplane cabin software

Towards higher changeability for airplane cabin software

引用

15th IASTED International Conference on software engineering and Applications, SEA 2011

作者： Burger, Stefan Heidinger, Emanuel Schneele, Stefan Hummel, Oliver Heinisch, Matthias Fischer, Wolfgang EADS Innovation Works Sensor and System Integration Munich Germany Software Engineering Group University of Mannheim Mannheim Germany Pre-Development Airbus Operations Buxtehude Germany

ISBN: (纸本)9780889869066

The development of airborne software is driven by rigorous safety requirements. Hence, it needs to be certified for adhering to safety standards set by governmental agencies, based on different criticality levels. Additionally, quickly changing technologies and the resulting obsolescence of system parts increase the need for good changeability of avionic software. However, the design of current applications in the cabin of commercial airliners is mainly focussing on safety standards and on a good adjustment to the underling hardware platforms for performance reasons. Changeability has been widely neglected so far. We see component-oriented and strictly layered software architectures as a key enabler to overcome these challenges in the future. In this paper we discuss the fundamentals of a new architectural design for airplane cabin systems, integrating established design principles for modular enterprise systems with high-reliability requirements of aviation systems. Our proposed approach reduces module coupling as well as complexity and hence increases maintainability and changeability of aviation systems. Moreover, it is fully compatible with state-of-the-art aviation standards, such as ARINC 653.

关键词： Obsolescence

来源：评论

学校读者我要写书评

暂无评论

Stream-based event prediction using Bayesian and bloom filters 13

Stream-based event prediction using Bayesian and bloom filte...

引用

2013 4th ACM/SPEC International Conference on Performance engineering, ICPE 2013

作者： Wang, Miao Holub, Viliam Murphy, John O'Sullivan, Patrick Performance Engineering Lab. School of Computer Science and Informatics University College Dublin Dublin Ireland Collaboration Solution System IBM Software Group Dublin Ireland

ISBN: (纸本)9781450316361

Nowadays, enterprise software systems store a large amount of operational information in logs. Manually analysing these data can be time-consuming and error-prone. Although a static knowledge database eases the task to capture recurring problems, maintaining such a knowledge repository requires periodic knowledge updates by domain experts. Moreover, as the repository grows, the problem of memory efficiency will also arise. Our goal is to enable administrators to efficiently capture interesting data in a high volume stream of events in real-time. We are proposing a statistical approach for software applications to be automatically trained with a smaller dataset to efficiently predict interesting data under such conditions. The proposed solution maintains a stable memory usage by migrating keywords from a dynamic data structure to fixed sized data structures (Bloom Filter). In particular, the solution has achieved better prediction results by enhancing the Bayesian theory with belief modifiers. © 2013 ACM.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Human Resource Application Development using Person-Job Matching for Placement of Prospective Employees 5

Human Resource Application Development using Person-Job Matc...

引用

5th International Conference on Advancement in Data Science, E-Learning and Information systems, ICADEIS 2023

作者： Putri, Alifiah Suakanto, Sinung Siswanto, Joko Arifin, Farah Fitriavida Darmawan, Irfan Angela, Dina Telkom University Faculty of Software Engineering Department of Information System Bandung Indonesia Bandung of Institute Technology Industrial Engineering Research Group Bandung Indonesia Faculty of Industrial Engineering Institut Teknologi Harapan Bangsa Information Techology Research Group Bandung Indonesia

ISBN: (纸本)9798350303414

The recruitment process presents a significant challenge for Human Resource (HR) staff, particularly in their ability to objectively assess candidate competencies and align them with job requirements. While qualitative comparisons between resumes and position requirements may yield candidates who appear suitable, this approach proves ineffective in terms of time and cost. Furthermore, many recruiters lack sufficient knowledge of the positions they are hiring for, making it difficult to justify their selection decisions. This research aims to address this challenge by developing an HR person-job matching application for the recruitment of prospective employees. The study focuses on analyzing and designing applications that can quantitatively measure the competencies of candidates and compare them with job requirements using a person-job matching method. The effectiveness of this approach was evaluated by testing it on a sample of employees from small and medium-sized enterprises (SMEs). The study found that out of the 16 employees across three job positions, the person-job matching application achieved an accuracy rate of 75%. This accuracy percentage was determined by comparing the fit value results with the actual conditions of the employees in their respective workplaces. The findings highlight the potential of the HR person-job matching application to enhance the efficiency and effectiveness of recruitment efforts. © 2023 IEEE.

关键词： Job satisfaction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：