Home > Tags: spin (Total 8 Records)
Programming the Propeller with Spin: A Beginner's Guide to Parallel Processing (Tab Electronics)
Programming By:Harprit Sandhu 2010-06-18 00:00:00
ISBN10:0071716661 ISBN13:9780071716666
Parallel Processing With the PropellerMade Easy! "This book should find a place on any Propellerhead's bookshelf, between Parallax's Propeller Manual and its Programming and Customizing the Multicore Propeller volumes." Make: 24 Programming the Propeller with Spin: A Beginner's Guide to Parallel Pro Programming
Tags: programming guide electronics processing parallel spin tab propeller
Principles of the Spin Model Checker (Springer)
Programming By:Mordechai Ben-Ari 2008-01-07 00:00:00
ISBN10:1846287693 ISBN13:9781846287695
The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an int spin model checker, spin spinspider, superb tool, important concepts, concurrent programs
Programming the Propeller with Spin: A Beginner's Guide to Parallel Processing (Tab Electronics)
Programming By:Harprit Sandhu 2010-00-00 00:00:00
ISBN10:0071716661 ISBN13:
Parallel Processing With the Propeller Made Easy! "This book should find a place on any Propellerhead's bookshelf, between Parallax's Propeller Manual and its Programming and Customizing the Multicore Propeller volumes." Make: 24 Programming the Propeller with Spin: A Beginner's Guide to Parallel P parallel processing, multicore propeller volumes, propeller i/o techniques, propeller manual, propeller chip
Tags: programming guide electronics processing parallel spin tab propeller
Principles of the Spin Model Checker
Programming By:Mordechai Ben-Ari 2008-01-08 00:00:00
ISBN10:1846287693 ISBN13:9781846287695
The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an int spin model checker, spin model checkerthe, spin spinspider, superb tool, concurrent programs
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Computer Science By:Jaco van der Pol, Michael Weber 2010-12-09 00:00:00
ISBN10:3642161634 ISBN13:9783642161636
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) pdf downloadProduct Description: This book constitutes the refereed proceeding 17th international spin, international spin workshop, model checking, model checking software, computer
Tags: computer software model international lecture science issue proceedings netherlands spin checking enschede
Statistical Physics of Spin Glasses and Information Processing: An Introduction (International Series of Monographs on Physics)
Computer Science By:Hidetoshi Nishimori 2001-09-27 00:00:00
ISBN10:0198509413 ISBN13:9780198509417
The present book provides the reader with a general perspective of an interdisciplinary field between statistical physics and information sciences/engineering. It is virtually the only book on the subject, except for a collection of papers published fourteen years ago. The field is expanding quite r spin glasses, international series, information processing, statistical physics, general perspective
Tags: information series processing international statistical physics monographs spin glasses
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Databases By:Klaus Havelund, Rupak Majumdar, Jens Palsberg 2008-09-11 00:00:00
ISBN10:3540851135 ISBN13:9783540851134
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 15th international spin, international spin workshop, computer science, model checking, model checking software
Tags: computer software model international lecture science los issue proceedings theoretical spin checking angeles
Principles of the Spin Model Checker
Graphics Programs By:Mordechai Ben-Ari 2008-00-00 00:00:00
ISBN10:1846287693 ISBN13:
"Principles of Spin" is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool spin, spin model, spin model checker, integrated development environment, tool
