Explore Numerical program
Numerical program
-
GetMid
Functionality : find median of three real numberMR Num:1 -
ComputePower
Functionality : Perform function of Power in MathMR Num:1 -
Determinant Computations
Functionality : Compute determinant of the matricesMR Num:12 -
Sin
Functionality : Sin function in MathMR Num:10 -
Determinant of a matrix
Functionality : Calculating the determinant of a matrix.MR Num:1 -
Sum of integers in an array
Functionality : Calculating the sum of integers in an array AMR Num:2 -
Sin
Functionality : Calculating the value of the function $sin(x)$.MR Num:1 -
Power-exponential function
Functionality : Power-exponential function in mathMR Num:1 -
GetMid
Functionality : The program is expected to return the median of three real numbers a, b, and cMR Num:2 -
Linear Equations by Gaussian Elimination
Functionality : A program which solves a system of linear equations, $Ax=b$ by using Gaussian elimination where A is the square matrix of coeffcients and $b$ is a column vectorMR Num:2 -
Cos Function
Functionality : Cos function in mathMR Num:21 -
Greatest common divisor
Functionality : compute the greatest common divisor of two integersMR Num:4 -
NormDist
Functionality : Computing the Normal Distribution Probability value of a sectionMR Num:3 -
money exchange service
Functionality : Suppose that $S$ be an expected money exchange service, for example, accepting deal orders in USD and returning deal orders in HKDMR Num:1 -
The Value of Determinant
Functionality : Compute determinant of the matricesMR Num:12 -
The Maximal Value
Functionality : Calculates the maximal value from a set of input dataMR Num:8 -
Detecting Faults in Technical Indicator Computations
Functionality : Detect faults in the computation of two commonly used technical indicators, namely the moving averages (MA) and the relative strength index (RSI).MR Num:8 -
Web Services:ATM
Functionality : The electronic payment service is selected as the subject program.And select the transfer feature for the case study.MR Num:9 -
Wireless metering system
Functionality : A wireless metering system used in two electricpower companies.And in this project, we test the $meter reading function$ enabled by the software inside the RF module.MR Num:1 -
Sum of an array
Functionality : Calculates the sum of integers in an array $a$.MR Num:7 -
MPA:multi precision arithmetic
Functionality : Converting the general relations of operations as metamorphic relations.MR Num:7 -
Rectangle Area Calculation
Functionality : Calculate the area of rectangle.MR Num:5 -
Superficial Area Calculation
Functionality : A superficial area calculation program, which is common for most of the GIS systems.MR Num:7 -
Big Integers
Functionality : An implementation of BigInteger class that supports large integer arithmetic operations that are not supported natively by the compilers.MR Num:3 -
SparseMatrixMultiply
Functionality : Conducting the multiplication of two sparse matricesMR Num:22