Search Results - computer programs (verification OR modification)

Verification of sequential and concurrent programs by Apt, Krzysztof R. , 1949-, Boer, Frank S. de, Olderog, Ernst-Rudiger

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings by Yorav, Karen

Subjects:

Rigorous software development : an introduction to program verification by Almeida, Jose Bacelar

Table of contents only
Contributor biographical information
Publisher description

Modification of scaled steepest descent method for solving unconstrained optimization problems by Rashidah Johari

Modification of Polak-Ribiere-Polyak (PRP) conjugate gradient coefficient for unconstrained optimization problems by Mohamed Ahmed Hamoda

New modification of conjugate gradient method and its hybridization to solve large-scale unconstrained optimization problems by Mouiyad Mahmoud Bani Yousef

Software engineering for students by Bell, Doug , 1944-, Bell, Doug , 1944-

Embedded software by Labrosse, Jean

Table of contents only
Publisher description

Hardware description languages [ by Ivory, Leta

Table of Contents: “…Verilog-AMS and VHDL-AMS -- 10. Lola (computing) and MyHDL -- 11. e (verification language) -- 12. …”
Research World

A new nonliner conjugate gradient coefficient via hybrid of fletcher-reeves and hestenes-stiefel methods for unconstrained optimization problems by Saleh Nazzal al-Suliman

Solving unconstrained optimization problems using modified conjugate gradient parameter with sufficient descent condition by Kamilu Uba Kamfa

A family of CG-type methods via Quasi-Newton updates for solving symmetric systems of nonlinear equations by Kabir, Muhammad Dauda

A new spectral conjugate gradient and its global convergence by Norhaslinda Zull Pakkal

A new kind of conjugate gradient methods for unconstrained optimization by Rabi'u Bashir Yunus

An extension of RMIL and Hybrid conjugate gradient method with global convergence by Nur Syarafina Mohamed

New family of conjugate gradient methods with sufficient descent condition and global convergence for unconstrained optimizations by Ibrahim Jusoh

An alternative formula for conjugate gradient coefficient with descent properties for unconstrained optimization by Ibrahim Sulaiman Mohammed