Search Results - computer systems (verification OR modification)

Reconfigurable system design and verification by Hsiung, Pao-Ann, Huang, Chun-Hsian, Santambrogio, Marco D. [ (Marco Domenico)]

Table of Contents: “…Reconfigurable system verification -- 7. Dynamically partially reconfigurable system design implementation…”
Table of contents only

Software engineering reviews and audits by Summers Boyd L.

Embedded systems handbook by Zurawski, Richard

Software engineering of fault tolerant systems by Pelliccione, P. [ (Patrizio)]

Practical systems biology [ by Grierson, Claire, Hetherington, A. M.

NetLibrary

Embedded software by Labrosse, Jean

Table of contents only
Publisher description

Sketch-based interfaces and modeling by Jorge, Joaquim, Samavati, Faramarz

Implementing email security and tokens : current standards, tools, and practices by Turner, Sean H., Housley, Russ , 1959-

Real-time systems : modeling, design, and applications by Cornell, Aurel, Inoescu, Dan

Modified spectral conjugate gradient methods for unconstrained optimization and system of linear equations by Wan Khadijah binti Wan Sulaiman

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

Advanced modelling of management processes in information technology

Digital reference service model of web services application for library information system using formal specification by Zainab Magaji Musa

International assessment of research and development in simulation-based engineering and science by Glotzer, Sharon C.

Hardware description languages [ by Ivory, Leta

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

UML 2 semantics and applications by Lano, Kevin

Feature reduction techniques to enhance face recognition by Zahraddeen Sufyanu

Construction project management based on monte carlo simulation and analytic hierarchical process by Robiah Arifin

Behavioral biometrics for human identification [ intelligent applications by Liang, Wang , 1975-, Xin, Geng , 1978-

Table of Contents: “…Gaze based personal identification -- 13. Speaker verification and identification -- 14. Visual attention for behavioral biometric systems -- 15. …”
Available for Universiti Sultan Zainal Abidin via Gale Virtual Reference Library. Click here to access

Handbook of radiotherapy physics : theory and practice by Mayles, Philip , 1947-, Nahum, A., Rosenwald, J. C.

Table of Contents: “…Patient Dose Computation for Photon Beams -- 27. Patient Dose Computation for Electron Beams -- 28. …”