Microsoft PowerPoint - Deng_2006 - MPQ - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-05-30 09:02:45 Lattice models Quasiparticles Bosons Phonon Hubbard model Heisenberg model Spin model Density matrix renormalization group Ising model Physics Statistical mechanics Condensed matter physics		Microsoft PowerPoint - Deng_2006 Add to Reading List Source URL: www.mpq.mpg.de Download Document from Source Website File Size: 280,15 KB Share Document on Facebook

	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich DocID: 1xVPm - View Document
	Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che DocID: 1tO6n - View Document
	Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1sVQt - View Document
	Monte Carlo Methods for Quantum Spin Models Stefan Wessel Institute for Theoretical Solid State Physics JARA-FIT and JARA-HPC RWTH Aachen University DocID: 1qW7w - View Document