We provide a status update of ISP, our dynamic formal verifier for MPI programs. ISP determines and explores all relevant schedules of an MPI program. The highlights of this paper are (i) a recap of ISP’s features, and (ii) an overview of work in progress, including a graphical explorer for message passing (GEM) and a distributed MPI analyzer (DMA), an adaptation of ISP for the distributed sett...

Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot interfere...

ly ovarioles spit out oocyte-containing cysts “like a sausage machine,” says Daniel St. Johnston. In the process, the cysts are endowed with a clearly defined anterior-posterior polarity axis based on the posterior positioning of the oocyte. “The [axis] is hardwired into the geometry of the ovary,” says St. Johnston. “What we’re describing is the mechanism that transmits this.” That mechanism i...

IT IS WITH AWE AND DEEP RESPECT FOR THE WEIGHTY ACCOMPLISHMENTS OF THOSE WHO HAVE passed before me that I assume the title of Editor-in-Chief of Science, one of less than a handful of journals that can claim to represent the spectrum of scientifi c endeavors and a truly international audience of authors and readers. Each editor-in-chief has come to this position with his (and now her!) own visi...

In this chapter we examine two fundamental, although low-level, approaches to expressing parallelism in programs. Over the years, numerous different approaches to designing and implementing parallel programs have been developed (e.g., see the excellent survey article by Skillicorn and Talia [870]). However, over time, two dominant alternatives have emerged: message passing and multithreading. T...

It is with a proud sense of accomplishment that I am sharing with you this last Editorial during my tenure as your Editor-in-Chief. Since January 1, 2007, I have had the honor and privilege of serving as APJM’s first Editor-in-Chief who is based outside of Asia. Now, after nearly three years and hundreds of manuscripts, I am pleased to announce my editorial retirement and introduce to you our n...

It was while drafting an editorial on the timely subject of publishing ethics that it first came to light that Biology Open (BiO) was one of the journals that received as a submission a spoof article devised by a journalist working for the journal Science (Bohannon, 2013). The article was described as being obviously flawed to any competent scientist. 304 spoof articles were submitted to Open A...

.................................................................................................................................... i Declaration ............................................................................................................................... iii Acknowledgements ........................................................................................................

Background: This study aimed to evaluate the dose calculation accuracy of EclipseTM treatment planning system (TPS) in a heterogeneous chest phantom with the intensity modulated radiotherapy (IMRT) technique using EBT3 film and Delta4. Materials and Methods: Two IMRT plans (A and B) were prepared for radiotherapy of the heterogeneous chest phantom. Plan A was between the left lung and the surro...

This paper studies the characteristics of synchronous ordering of messages. Synchronous ordering of messages deenes synchronous communication based on the causality relation rather than time. We present the necessary characteristics of any algorithm providing deadlock-free synchronous ordering of the messages. We also present the suucient conditions, based on the causality relations, for any al...