books about: concurrency     books:       Programming WCF Services (Programming)49 reviews Juval Lowy O'Reilly Media, Inc., 2007 A great read for developers with a basic understanding of wcf This book is pretty comprehensive. I started learning WCF with the 15-part web series provided by Mrs. Bustamante that accompanies her book. Learning WCF: A Hands-on Guide I highly recommend her read if you are getting started. However, if you have some familiarity with WCF - this one will take you further. It has plenty of easy-to-understand code samples and a wonderful best practice ...             The Definitive Guide to Terracotta: Cluster the JVM for Spring, Hibernate and POJO Scalability (The ...3 reviews Terracotta, Inc. Apress, 2008 A Must have book to buy to understanding Terracotta Best Practices A must have book to buy to understanding Terracotta Best Practices,I personally was an early adopter and has had much success, Terracotta has proven over the years to help ease the development of HA systems, that scale from the start...this book has real world examples (not just Hello Worlds! Programs) ..to build and deploy systems backed by Terracotta for your enterprise.             Programming Erlang: Software for a Concurrent World25 reviews Joe Armstrong Pragmatic Bookshelf, 2007 Very good intro to Erlang This book was well worth the money even if you don't intend to program in Erlang. It gives a very good over view of an alternative model of parallel programming that is currently not heavily used. The model emphasizes reliability by not having any shared state. I went on to use this model in C++ projects.             UNIX Systems Programming: Communication, Concurrency and Threads (2nd Edition)23 reviews Kay Robbins, Steve Robbins Prentice Hall PTR, 2003 practical it is This is the type of book that doesn't leave you with more questions than it answers. It doesn't just discuss the concepts and then you're on your own for coding. It gives you enough code and explanation so that you can implement mutex locks, semaphores, threads, etc. It doesn't force you to go search online for code samples. I refer to this book often, and not just when writing code for Unix.             Java Concurrency in Practice50 reviews Brian Goetz, Tim Peierls, ... Addison-Wesley Professional, 2006 The best book on Java concurrency out there. As others have written, this is the best book out there on Java concurrency. I am a decent journeyman coder, not a guru, and this helped me wrap my head around what is involved with concurrency. Concurrency is in many ways orthogonal to the rest of Java programming, so it's good to get a clear and authoritative guide. I still avoid multi-threading whenever possible, but if I have to go there, I ...             Concurrency: State Models and Java Programs5 reviews Jeff Magee, Jeff Kramer Wiley, 2006 Concurrency fundamentals using a model-based approach I have used the first edition of this textbook in a course on concurrent and real-time systems at The University of Queensland since 2001, and I am looking forward to using the second edition from next year. This textbook is an excellent introductory textbook to concurrency (in Java) in that it focuses on the foundations of concurrency, rather than the latest features and tricks in programming ...             Erlang Programming Francesco Cesarini, Simon Thompson O'Reilly Media, Inc., 2009             The Art of Multiprocessor Programming5 reviews Maurice Herlihy, Nir Shavit Morgan Kaufmann, 2008 A great book on concurrent programming! This is a great, lucid - and PRACTICAL book on concurrent programming in general. It's equally applicable if you're programming for a multi-core CPU ... or if you're simply programming threads ... or even if you're programming a cluster. Half the book is about "theory" (written in a thoroughly engaging, easy-to-follow style), the remaining half about "practice": various tips and tricks ...             Principles of the Spin Model Checker1 review Mordechai Ben-Ari Springer, 2008 Very good Introduction into SPIN and Promela. I'm a computer science student and have used SPIN during my bachelor thesis. I highly recommend this book to every one who wants's to use SPIN. The book is written in a straightforward way that can easily be understood.             Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (The Morgan ...4 reviews Gerhard Weikum, Gottfried Vossen Morgan Kaufmann, 2001 Up-to-date ... sends an old friend into semi-retirement Before this book was published my primary reference and personal favorite TP book was "Transaction Processing: Concepts and Techniques" by Jim Gray and Andreas Reuter. At over 1100 pages that book thoroughly covered the basics and drilled down into the nuances of transaction processing in a way unmatched by other books on the topic since it was first published in 1993. This book changes that by ...             Concurrency Control and Recovery in Database Systems1 review Philip A. Bernstein, Vassos Hadzilacos, ... Addison Wesley Publishing Company, 1987 Best book for Transaction Manangement & Concurrency Control The Concurrency Control and Recovery in Database Systems, by Bernstein, Hadzilacos and Goodman is the jewel for the Theory of Transaction Management and Concurrency Control in Database Systems. Despite of the fact that it is out of print (the last edition going back to 1987), it is still consider up to date and the best source for important aspects of the implementation of the transaction ...             Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS ... Javier Esparza, Keijo Heljanko Springer, 2008 Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by ...             Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, ... Springer, 2008 This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and ...             Concurrency in Ada5 reviews Alan Burns, Andy Wellings Cambridge University Press, 1998 ESSENTIAL & EXCELLENT for every PROFESSIONAL PROGRAMMER Ada has been one of few languages which provides facilities for concurrent programming, but readings for the feature had been limited. This book is not only the first but also an excellent guide to the capability of the new Ada standard. It covers, 1.�@The Ada Language 2. The Nature and Uses of Concurrent Programming 3. Inter-Process Communication 4. Ada Task Types and Objects 5. The ...             Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, ... Springer, 2008 This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and ...             Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (The Morgan Kaufmann ...1 review Axel Jantsch Morgan Kaufmann, 2003 Now I understand how "modelling" covers many spheres... The writer of this book, Dr. Axel Jantsch, is a professor at the Royal Institute of Technology in Stockholm, Sweden. As a postgraduate student at the Technical University of Denmark, I have participated Dr. Jantsch's course whose curriculum was dictated by this book. Dr. Jantsch is a splendid lecturer and his a pioneer in his comprehensive, yet highly-readable, cover of modelling technieques for ...             Concurrency: State Models & Java Programs5 reviews Jeff Magee, Jeff Kramer John Wiley & Sons, 1999 This is could be a classic CS book This book does not belong with other Java books. This is a real computer science textbook that should be sitting next to Rivest's Algorithms book. The use of Java is incidental and makes the book very accessible without detracting from the issues at hand. It has to be one of the most well conceived computer science books ever written. The material covered is maddeningly difficult to ...             Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)1 review Wan Fokkink Springer, 2000 Wondefully well written This is a delightful new presentation of Process Algebra, which was much needed since the classic text by Baeten and Weijland is getting outdated. In comparison, I find Fokkink's text more easy to digest, more precise and going significantly further. Indeed, it should be for a theory that has evolved rapidly in the last decade. Process Algebra is on its way to become the tool to build ...             Database Concurrency Control: Methods, Performance, and Analysis (Advances in Database Systems) Alexander Thomasian Springer, 1996 Database Concurrency Control: Methods, Performance and Analysis is a review of developments in concurrency control methods for centralized database systems, with a quick digression into distributed databases and multicomputers, the emphasis being on performance. The main goals of Database Concurrency Control: Methods, Performance and Analysis are to succinctly specify various concurrency control methods; to describe models for ...              search for books algorithms, communication, compilers, computation, computing, concurrency, concurrent, conference, definitive, hibernate, information, international, introduction, kaufmann, languages, management, monographs, multiprocessor, partial-order, performance, principles, proceedings, programming, scalability, selected, terracotta, theoretical, transactional, unfoldings, verification books:    Kindle - Amazon's New Wireless Reading Device This is the future of book reading. I have used it and love it! randomly chosen book: Exposing the Accuser of the Brethren (Discernment) home  impressum - about us