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
  Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Constructs and Features (D.3.3) > Concurrent Programming Structures (D.3.3...)  
  1-10 of 143 Reviews about "Concurrent Programming Structures (D.3.3...)": Date Reviewed
  Repairing sequential consistency in C/C++11
Lahav O., Vafeiadis V., Kang J., Hur C., Dreyer D.  PLDI 2017 (Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain,  Jun 18-23, 2017) 618-632, 2017. Type: Proceedings

The standards committee of the C++ programming language defined the C11 memory model. This model provides several notions of consistency for memory reads and writes, with sequentially consistent (SC) being the strongest and most expensive. This pa...

Apr 26 2018
  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
  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
  The Go programming language
Donovan A., Kernighan B.,  Addison-Wesley Professional, Old Tappan, NJ, 2016. 400 pp. Type: Book (978-0-134190-44-0)

In 1978, Brian Kernighan and Dennis Ritchie published The C programming language [1], the first book about C and the definitive guide to the language for decades. Kernighan has now teamed up with Alan Donovan to write The Go programming ...

Jan 22 2016
  JThread, a deadlock-free mutex library
Grande J., Boudol G., Serrano M.  PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy,  Jul 14-16, 2015) 149-160, 2015. Type: Proceedings

Toilers in the orchards of multi-threaded programming can only reap the fruits of concurrent execution through the hard work of access synchronization. This paper describes the jThread library, designed to simplify correct synchronization and enha...

Aug 12 2015
  The BonaFide C analyzer: automatic loop-level characterization and coverage measurement
Aldea S., Llanos D., Gonzalez-Escribano A.  The Journal of Supercomputing 68(3): 1378-1401, 2014. Type: Article

Loops in a software application are a crucial construct that heavily drives resource consumption, both in time and memory. For example, an improper loop boundary may have severe ripple effects, resulting in resource consumption anomalies. To exace...

Jul 13 2015
   Constraints meet concurrency
Mauro J.,  Atlantis Publishing Corporation, Paris, France, 2014. 170 pp. Type: Book (978-9-462390-66-9)

Constraint-based execution and concurrency are valuable allies, but they are not natural ones. This book examines ways in which constraints and concurrency can be brought into harmony. The results reported show how constraints can be trimmed for p...

Oct 1 2014
  Multicore computing: algorithms, architectures, and applications
Rajasekaran S., Fiondella L., Ahmed M., Ammar R.,  Chapman & Hall/CRC, Boca Raton, FL, 2013. 452 pp. Type: Book (978-1-439854-34-1)

Multicore systems have become omnipresent in every aspect of computing. However, programming these architectures and especially achieving the best application performance are difficult tasks, because many different aspects and effects have to be c...

Apr 25 2014
  Proof-directed parallelization synthesis by separation logic
Botinan M., Dodds M., Jagannathan S.  ACM Transactions on Programming Languages and Systems 35(2): 1-60, 2013. Type: Article

The parallelization of sequential programs is a tedious and error-prone task; the incorrect use of synchronization primitives may yield a program that produces different results than the original code, or even different results in different runs. ...

Sep 27 2013
  Formal analysis of event-driven cyber physical systems
Poroor J., Jayaraman B.  SecurIT 2012 (Proceedings of the 1st International Conference on Security of Internet of Things, Kollam, India,  Aug 17-19, 2012) 1-8, 2012. Type: Proceedings

The authors use the term “cyberphysical system” to describe an event-driven computer system where some events must be processed “as soon as possible.” Unlike real-time systems, these systems do not have explicit timing cons...

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