Search Results - (( using function method algorithm ) OR ( software verification process algorithm ))

Refine Results
  1. 1
  2. 2

    Case driven TLC model checker analysis in energy scenario by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil

    Published 2023
    “…Addressing current situation in Ukraine, an energy domain is among the topical spheres, where safety critical business processes take place. To foster the functional safety of corresponding program-algorithmic solutions, the model checking techniques and related tools are applied to the formal specifications of named solutions. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
  3. 3
  4. 4
  5. 5

    Face recognition for identify verification in exams locations by Ng, Suet Eng

    Published 2023
    “…It also needs to be fast for quick verification. The project uses a mix of hardware and software tools. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
  6. 6

    Development of finite element model for soil-structure interaction by Shoaei, Mohammad Dalili

    Published 2014
    “…In order to develop an efficient ANN system, the required algorithm is built through trial and error procedure and then through this process feed-forward network with back-propagation training function is implemented. …”
    Get full text
    Get full text
    Thesis
  7. 7

    Performance evaluation metrics for multi-objective evolutionary algorithms in search-based software engineering: systematic literature review by Nuh, Jamal Abdullahi, Koh, Tieng Wei, Baharom, Salmi, Osman, Mohd Hafeez, Kew, Si Na

    Published 2021
    “…The preliminary results show that remarkable studies were reported without considering performance metrics for the purpose of algorithm evaluation. Based on the 27 performance metrics that were identified, hypervolume, inverted generational distance, generational distance, and hypercube-based diversity metrics appear to be widely adopted in most of the studies in software requirements engineering, software design, software project management, software testing, and software verification. …”
    Get full text
    Get full text
    Article
  8. 8

    A Test Vector Minimization Algorithm Based On Delta Debugging For Post-Silicon Validation Of Pcie Rootport by Toh , Yi Feng

    Published 2017
    “…The proposed methodology is inspired by the Delta Debugging algorithm which is has been used in automated software debugging but not in post-silicon hardware debugging. …”
    Get full text
    Get full text
    Thesis
  9. 9

    A framework of test case prioritisation in regression testing using particle swarm-artificial bee colony algorithm by Ba-Quttayyan, Bakr Salim Abdullah

    Published 2024
    “…The contributions of this study straddle research perspectives of enhancing Regression Testing with Particle Swarm-Artificial Bee Colony Algorithm, and practical perspectives by providing software testing practitioners the TCP framework that can facilitate and accelerate the production of high-quality software products by revealing faults early and reducing time, cost, and human efforts through automation.…”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
  10. 10
  11. 11

    Feature identification in a real surface metrology analysis by means of Double Iteration Sobel (DIS) / Ainaa Farhanah Mohd Razali by Mohd Razali, Ainaa Farhanah

    Published 2022
    “…The results of the verification of the system algorithm on the simulated 3D areal surface topography of a sloped bumps shows that the system algorithm can effectively identified the edges features and segmented them following the shape partem of the surface features of the sloped bumps. …”
    Get full text
    Get full text
    Thesis
  12. 12

    Bundle Sorting Mobile Application by Zulkifley, Muhammad Dzofir Hafiz

    Published 2020
    “…For the next subsection, illustrates more information on the basic application process and software.…”
    Get full text
    Get full text
    Final Year Project
  13. 13
  14. 14
  15. 15

    Finding the root of nonlinear function using five bracketing method / Nur Afiqah Mohamed Azhar by Mohamed Azhar, Nur Afiqah

    Published 2019
    “…Therefore, numerical method in the form of bracketing method is often used to find only the approximate root of the function. …”
    Get full text
    Get full text
    Thesis
  16. 16

    Gravitational search – bat algorithm for solving single and bi-objective of non-linear functions by Abbas, Iraq Tareq

    Published 2018
    “…The second technique is to solve bi-objective functions by using the BOBAT algorithm. The third technique is an integration of BOGSA with BOBAT to produce a BOGSBAT algorithm. …”
    Get full text
    Get full text
    Thesis
  17. 17

    Determining the preprocessing clustering algorithm in radial basis function neural network by S.L. Ang, H.C. Ong, H.C. Law

    Published 2008
    “…Three types of method used in this study to find the centres include random selections, K-means clustering algorithm and also K-median clustering algorithm. …”
    Get full text
    Get full text
    Article
  18. 18

    Secure payment parking system (SPS) with Excel database software / Syed Luqman Putra Syed Putra Zainol Alam by Syed Putra Zainol Alam, Syed Luqman Putra

    Published 2024
    “…Also this project can develop an intelligent online parking payment system that allows users to conveniently check-in using QR code thus making online payment and exit the system with an exit gateway verification code. The project benefits include a more efficient parking process, reduced user waiting times, secure payment processing, and enhanced user experience. …”
    Get full text
    Get full text
    Student Project
  19. 19

    Noise removal methodologies for lung cancer diagnosis by Nur Fatin Razlieya, Mohd Razali

    Published 2019
    “…The development research methodology presented five fundamental stage which are investigation of existing method of noise removal, developing a new method for noise removal, implementation of the noise removal method, verification and validation. Therefore, the algorithm will be developed and implemented in MATLAB software. …”
    Get full text
    Get full text
    Get full text
    Undergraduates Project Papers
  20. 20

    Computational dynamic support model for social support assignments around stressed individuals among graduate students by Al-Shorman, Roqia Rateb

    Published 2020
    “…Also, the study explicitly shows the psychological stress of support recipient can be reduced after the dynamic configuration algorithm process assigned selected social support providers from social support network members. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis