Effective Bug Hunting With Spin and Modex

Lecture Notes in Computer Science- Germany

doi 10.1007/11537328_3

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2005

Authors

Gerard J. Holzmann

Publisher

Springer Berlin Heidelberg

Related search

LibReplay: Deterministic Replay for Bug Hunting in Sensor Networks

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Effective-One-Body Hamiltonian With Next-To-Leading Order Spin-Spin Coupling

Physical Review D

English

A Technique to Combine Feature Selection With Instance Selection for Effective Bug Triage

International Journal of Science and Research (IJSR)

English

Effective Anisotropic Interactions in Spin Pairs Containing High-Spin Ions With Large Zero-Field Splitting

English

Mine Hunting With Drones

Information & Security: An International Journal

English

Effective Spin-Orbit Couplings in an Analytical Tight-Binding Model of DNA: Spin Filtering and Chiral Spin Transport

Physical Review B

Condensed Matter Physics

Magnetic Materials

English

Quantum Tunneling in Ferromagnetic Nanoparticles Interacting With a Spin Thermostat: Effective Hamiltonian

English

Radiation Reaction for Spinning Bodies in Effective Field Theory. II. Spin-Spin Effects

Physical Review D

English

Hunting for New Drugs With AI

Multidisciplinary

English