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 > Theory Of Computation (F) > Computation By Abstract Devices (F.1) > Modes Of Computation (F.1.2) > Parallelism And Concurrency (F.1.2...)  
  1-10 of 86 Reviews about "Parallelism And Concurrency (F.1.2...)": Date Reviewed
  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) [1] 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
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 2004™
Terms of Use
| Privacy Policy