Search Results - (( using function method algorithm ) OR ( software verification process algorithm ))
Search alternatives:
- software verification »
- verification process »
- process algorithm »
- method algorithm »
- function method »
- using function »
-
1
-
2
Case driven TLC model checker analysis in energy scenario
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
-
4
Building norms-adaptable agents from Potential Norms Detection Technique (PNDT)
Published 2023Subjects:Short Survey -
5
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 -
6
Development of finite element model for soil-structure interaction
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
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 -
8
A Test Vector Minimization Algorithm Based On Delta Debugging For Post-Silicon Validation Of Pcie Rootport
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
A framework of test case prioritisation in regression testing using particle swarm-artificial bee colony algorithm
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
Fingerprint image segmentation using hierarchical technique
Published 2000Get full text
Get full text
Conference or Workshop Item -
11
Feature identification in a real surface metrology analysis by means of Double Iteration Sobel (DIS) / Ainaa Farhanah Mohd Razali
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
Bundle Sorting Mobile Application
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
-
14
Numerical simulation and experimental verification on distortions induced by wire-arc additive manufacturing components and costing analysis / Keval Priapratama Prajadhiana
Published 2024“…The completed WAAM parts undergone substrate removal process and was measured using a 3D scanner GOM Atos Q. …”
Get full text
Get full text
Thesis -
15
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 -
16
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 -
17
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 -
18
Secure payment parking system (SPS) with Excel database software / Syed Luqman Putra Syed Putra Zainol Alam
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
Noise removal methodologies for lung cancer diagnosis
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
Computational dynamic support model for social support assignments around stressed individuals among graduate students
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
