Spin model - PDFSEARCH.IO - Document Search Engine

Spin model
Results: 272

#	Item
1	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Model checkers Computing Theoretical computer science Software engineering Formal methods Promela SPIN model checker Model checking Guard Certificate Formal verification Printf format string
2	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 Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2013-03-29 18:25:55
3	Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: spinroot.com - Date: 2012-07-30 14:15:10
4	Monte Carlo Methods for Quantum Spin Models Stefan Wessel Institute for Theoretical Solid State Physics JARA-FIT and JARA-HPC RWTH Aachen University Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-26 13:04:03 Physics Quantum mechanics Electromagnetism Statistical mechanics Heisenberg model Magnetic ordering Quantum magnetism Werner Heisenberg Quantum Monte Carlo Spin Ising model
5	Introduction to Mean-Field Theory of Spin Glass Models Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2015-09-24 14:01:02 Physics Statistical mechanics Theoretical physics Magnetic ordering Quantum mechanics Lattice models Quantum phases Spin glass Ising model Mean field theory Replica trick Spin model
6	PRSRT STD U.S. POSTAGE PAID STONE MT, GA PERMIT NONOW Add to Reading List Source URL: www.sportaviationspecialties.com Language: English - Date: 2013-08-19 11:10:52 Aviation Aeronautics Biplanes Aviation in the United States Flight training Pilot certification in the United States Airplane Wright brothers Model aircraft Air racing Spin Laird Super Solution
7	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:50 Model checkers Corporate finance Economy Business Promela SPIN model checker Model checking Long-running transaction Factoring Mergers and acquisitions Cost
8	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-26 12:08:20 Concurrency control Computing Software engineering Model checkers Software Promela Monitor Mutual exclusion SPIN model checker Lock XC Printf format string
9	Monte Carlo Simulations of Quantum Spin Models Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-03 06:05:13 Physics Quantum mechanics Theoretical physics Statistical mechanics Lattice models Ising model Symbol Heisenberg model Topological quantum computer Potts model