Search Results - (( using function method algorithm ) OR ( software verification using algorithm ))
Search alternatives:
- software verification »
- verification using »
- method algorithm »
- function method »
- using algorithm »
- using function »
-
1
-
2
A controller-agnostic random oracle based intrusion detection method in software defined networks / 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
Case driven TLC model checker analysis in energy scenario
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
A fictitious reference iterative tuning method for buck converter-powered DC motor control system
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
Security system using biometric technology: Design and implementation of voice recognition system (VRS)
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
Development of finite element model for soil-structure interaction
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
-
8
-
9
Face recognition for identify verification in exams locations
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
Feature extraction using active appearance model algorithm with Bayesian classification approach
Published 2013Get full text
Get full text
Get full text
Conference or Workshop Item -
11
-
12
Implementation Of FPGA Based Encryption Chip Using VHD - Data Encryption Standard (DES) Algorithm
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
Building norms-adaptable agents from Potential Norms Detection Technique (PNDT)
Published 2023Short Survey -
14
Performance evaluation metrics for multi-objective evolutionary algorithms in search-based software engineering: systematic literature review
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
A framework of test case prioritisation in regression testing using particle swarm-artificial bee colony algorithm
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
Finding the root of nonlinear function using five bracketing method / Nur Afiqah Mohamed Azhar
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
Feature identification in a real surface metrology analysis by means of Double Iteration Sobel (DIS) / Ainaa Farhanah Mohd Razali
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
Gravitational search – bat algorithm for solving single and bi-objective of non-linear functions
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
Determining the preprocessing clustering algorithm in radial basis function neural network
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
Compatible Pair of Nontrivial Actions for Some Cyclic Groups of 2-Power Order
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
