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

Refine Results
  1. 1
  2. 2

    A controller-agnostic random oracle based intrusion detection method in software defined networks / Adnan by Adnan, -

    Published 2016
    “…The verification of the proposed approach is made with current state-of-the-art algorithms. …”
    Get full text
    Get full text
    Thesis
  3. 3

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

    Published 2023
    “…To estimate also the domain related spatial expenses on verification, with respect to the number of software threads utilized, the approximation task has been resolved.…”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
  4. 4

    A fictitious reference iterative tuning method for buck converter-powered DC motor control system by Mohd Syakirin, Ramli, Sian, Seet Meng, Mohd Naharudin, Salim, Hamzah, Ahmad

    Published 2019
    “…Simulation analyses using Matlab Software have been conducted for results validation and verification. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
  5. 5

    Security system using biometric technology: Design and implementation of voice recognition system (VRS) by A. Rashid, Rozeha, Mahalin, Nur Hija, Sarijari, Mohd. Adib, Abdul Aziz, Ahmad Aizuddin

    Published 2008
    “…In this paper, we present an implementation of a security system based on voice identification as the access control key. Verification algorithm is developed using MATLAB (SIMULINK) function blocks which is capable of authenticating a person's identity by his or her voice pattern. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
  6. 6

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

    Published 2014
    “…Results from ANN showed good agreement with the classical method. Therefore,ANN can be used as a powerful tool for prediction of ultimate bearing capacity of layered soil. …”
    Get full text
    Get full text
    Thesis
  7. 7
  8. 8
  9. 9

    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
  10. 10
  11. 11
  12. 12

    Implementation Of FPGA Based Encryption Chip Using VHD - Data Encryption Standard (DES) Algorithm by Lim, Mui Liang

    Published 2006
    “…In third stage, compilation and simulation for source code verification purpose is done to yield the correct output by using Altera Quartus II 5.0 software. …”
    Get full text
    Get full text
    Monograph
  13. 13
  14. 14

    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
  15. 15

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

    Published 2024
    “…Regression test case prioritisation (TCP) is used to revalidate modified software, ensuring its quality before release on the digital market. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
  16. 16

    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
  17. 17

    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 system algorithm is verified and validates on two sloped bumps surface topographies that have been simulated using MATLAB software and measured using the Alicona Infinite Focus Measurement (IFM) device, respectively. …”
    Get full text
    Get full text
    Thesis
  18. 18

    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
  19. 19

    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
  20. 20

    Compatible Pair of Nontrivial Actions for Some Cyclic Groups of 2-Power Order by Sahimel Azwal, Sulaiman, Mohd Sham, Mohamad, Yuhani, Yusof

    Published 2015
    “…Algorithms in Groups, Algorithms and Programming (GAP) software are constructed to create more examples on selected case. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item