Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Computation By Abstract Devices (F.1) > Modes Of Computation (F.1.2) > Parallelism And Concurrency (F.1.2...)  
 
Options:
 
  1-10 of 440 Reviews about "Parallelism And Concurrency (F.1.2...)": Date Reviewed
  The logical view on continuous Petri nets
Blondin M., Finkel A., Haase C., Haddad S.  ACM Transactions on Computational Logic 18(3): 1-28, 2017. Type: Article

The reachability problem for standard Petri nets is EXPSPACE hard, and the coverability problem is EXPSPACE complete. However, more efficient algorithms exist for variants of the standard nets. Continuous Petri nets are such a variant that allows ...

Nov 17 2017
  The communication-hiding pipelined BiCGstab method for the parallel solution of large unsymmetric linear systems
Cools S., Vanroose W.  Parallel Computing 651-20, 2017. Type: Article

In the huge matrices used in high-performance computing (HPC), there exist patterns and relations among the members of the matrix that can be utilized to process the matrices in a more efficient way. Most of the discussions concerned with huge mat...

Aug 10 2017
  Decidability and complexity for quiescent consistency
Dongol B., Hierons R.  LICS 2016 (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY,  Jul 5-8, 2016) 116-125, 2016. Type: Proceedings

Quiescent consistency is a correctness constraint for concurrent objects that attempts to improve concurrent-execution performance by accepting a broader range of possible operation sequences than do, for example, linearizability or sequential con...

Mar 1 2017
  Reactive messaging patterns with the actor model: applications and integration in Scala and Akka
Vernon V.,  Addison-Wesley Professional, New York, NY, 2015. 480 pp. Type: Book (978-0-133846-83-6)

In the 1980s, when my academic career started as a researcher into functional and actor programming languages, we were confident that by the turn of the millennium these would be the languages in standard use in industry. It was disappointing to f...

Nov 21 2016
  Python parallel programming cookbook
Zaccone G.,  Packt Publishing, Birmingham, UK, 2015. 262 pp. Type: Book (978-1-785289-58-3)

Devoted to parallel programming in Python, this book is aimed at Python programmers who wish to become more proficient at writing efficient parallel code to realize performance gains. All of the example code in the book is available and allows rea...

Nov 21 2016
  Fundamentals of parallel multicore architecture
Solihin Y.,  Chapman & Hall/CRC, Boca Raton, FL, 2016. 494 pp. Type: Book (978-1-482211-18-4), Reviews: (2 of 2)

Multicore is the default configuration in computing systems today, from smartphones to desktops and servers. Usually independent jobs are done in parallel on these cores, simplifying parallel programming challenges. To achieve meaningful returns f...

Nov 18 2016
  Java threads and the concurrency utilities
Friesen J.,  Apress, Berkeley, CA, 2015. 200 pp. Type: Book (978-1-484216-99-6)

Concurrency is one of the most intrinsic aspects in computer programming and programming languages; Java is not an exception. Handling concurrent threads properly and efficiently requires not only a complete understanding of the problem or context...

Oct 7 2016
  High performance parallelism pearls: volume two
Jeffers J., Reinders J.,  Morgan Kaufmann Publishers Inc., San Francisco, CA, 2015. 592 pp. Type: Book (978-0-128038-19-2)

High performance parallelism pearls is a collection of loosely connected chapters, each one containing a discussion about parallelization or optimization of code in a particular scientific field. The book, written by experts in data centers...

Sep 16 2016
  Directed algebraic topology and concurrency
Fajstrup L., Goubault E., Haucourt E., Mimram S., Raussen M.,  Springer International Publishing, New York, NY, 2016. 167 pp. Type: Book (978-3-319153-97-1)

Introducing the use of ideas from algebraic topology in the study of concurrency is the primary contribution of this book. The basic idea is as follows: suppose that one has a collection of processes that are to run concurrently and that each proc...

Jul 19 2016
   How to compute with Schrödinger's cat: an introduction to quantum computing
Eleanor Rieffel & Wolfgang Polak. YouTube, 01:02:58, published on Feb 4, 2016, stanfordonline, https://www.youtube.com/watch?v=cWGQZ-nMzZA. Type: Video

Quantum computing is a new computing paradigm that is very interesting; this video is good primarily for novices in the field who want to get a flavor of the subject. There are two main reasons why this lecture is interesting. First, it presents t...

Jul 15 2016
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy