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...)
All Media Types
1-10 of 86 Reviews about "
Parallelism And Concurrency (F.1.2...)
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 anomali...
Jul 13 2015
Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
Scholliers C., Tanter E., De Meuter W. Science of Computer Programming 8052-64, 2014. Type: Article
Scholliers et al. have designed and implemented a mechanism that allows message control within an actor to be parallelized. For example, in a dining philosophers example, the philosopher requests two forks; the order in which the forks...
Apr 4 2014
Epistemic strategies and games on concurrent processes
Chatzikokolakis K., Knight S., Palamidessi C., Panangaden P. ACM Transactions on Computational Logic 13(4): 1-35, 2012. Type: Article
Among the early process algebras, Hoare’s communicating sequential processes (CSP)  had an explicit syntax of process names, which could be thought of as “agents” that executed the processes. The commun...
Apr 1 2013
Fast asynchronous Byzantine agreement and leader election with full information
Kapron B., Kempe D., King V., Saia J., Sanwalani V. ACM Transactions on Algorithms 6(4): 1-28, 2010. Type: Article
This substantial monograph addresses two open problems in the field of distributed computing: the Byzantine agreement problem and the leader election problem. The context is a model that is asynchronous with full information and involv...
Nov 11 2010
A theory of contracts for Web services
Castagna G., Gesbert N., Padovani L. ACM Transactions on Programming Languages and Systems 31(5): 1-61, 2009. Type: Article
In Web-based computing, services and clients must agree on their contract--the order of the messages to be exchanged--in order to have a successful conversation. In particular, it must be possible to decide whether th...
Jul 1 2010
Transactions on Petri nets and other models of concurrency I (Lecture Notes In Computer Science 5100)
Jensen K., Aalst W., Billington J. Springer-Verlag, Berlin, Heidelberg, 2008. Type: Divisible Book
This volume contains 13 selected papers from the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which was held in Siedlce, Poland, in June 2007. They cover a wide range of topics...
Nov 2 2009
Handbook of parallel computing: models, algorithms and applications
Rajasekaran S., Reif J., TAYLOR AND FRANCIS, 2007. Type: Book
For a mature, established discipline, a handbook is often a comprehensive repository of proven knowledge that a practitioner uses as a reference, or perhaps as a source of ideas for brainstorming. Parallel computing is, however, anythi...
Nov 17 2008
Concurrency, graphs and models: essays dedicated to Ugo Montanari on the occasion of his 65th birthday (Lecture Notes in Computer Science 5065)
Degano P., Nicola R., Meseguer J., Springer Publishing Company, Incorporated, 2008. 810 pp. Type: Book (9783540686767)
I became familiar with Ugo Montanari’s work while doing my PhD in computer graphics in the 1970s. I referred to three of his papers in my thesis, including his first publication. Forty years later, his work continues. Nearly ...
Oct 24 2008
CONCUR 2006 - Concurrency Theory: 17th International Conference, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science 4137)
Baier C., Hermanns H., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 525 pp. Type: Book (9783540373766)
Concurrency has proven to be a tough problem in our computational paradigm. This book includes 34 papers presented at the 17th International Conference on Concurrency Theory. As with most books based on conference proceedings, it cover...
Mar 6 2007
Boundedness undecidability for synchronized nets
Devillers R., Van Begin L. Information Processing Letters 99(5): 208-214, 2006. Type: Article
Petri nets provide a graphical representation of concurrent, discrete-event, dynamic systems. This paper answers questions about synchronized Petri nets (SPNs): “Are the nets bounded?” “Which p...
Jan 10 2007
Reproduction in whole or in part without permission is prohibited. Copyright 2004 Reviews.com™