Currently many interconnection networks and parallel algorithms exist for message passing computers. Users of these machines wish to determine which message passing computer is best for a given job, and how it will scale with the number of processors and algorithm size. This paper describes a general purpose simulator for message passing multiprocessors (Parsim), which facilitates system modell...

Chartered Society of Massage and Medical Gymnastics, but she is recognised to have been an important motive-force in its progress and development, and she continued her untiring work on its behalf to the end of her life. Her work for midwives is also well known to all who have followed the progress of the movement to improve the standard of midwifery and the status of midwives. The memorial wil...

The use of types to deal with access capabilities of program entities is becoming increasingly popular. In concurrent logic programming, the first attempt was made in Moded Flat GHC in 1990, which gave polarity structures (modes) to every variable occurrence and every predicate argument. Strong moding turned out to play fundamental rôles in programming, implementation and the in-depth understan...

IT SEEMS FITTING to use my last column as editor in chief (EIC) to report on the results of our 2014 board meeting. One of my guiding touch points as EIC has always been my memory of the rst IEEE Software board meeting I attended, in 2007. Given the involvement of so many recognized names in the eld, I expected to nd a lot of ponti cating and some strong personalities to navigate around. What I...

Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory. Not surprisingly the notation used for the te...

GILBERTIAN possibilities are suggested by the announcement that Bavaria is to legislate against gluttons. We are not told what is to constitute gluttony within the law, nor whether the offence is to lie in excess of quality or of quantity. We picture the Restaurant Inspector, with his callipers and portable weighing-machine, operating on each customer before and after dinner, and his yet more t...

A value-passing calculus is a process calculus in which the contents of communications are values chosen from some data domain, and the propositions appearing in the conditionals are formulas constructed from a logic. Previous studies treat the domain models, as well as the logic theories, as unspecified oracles. The open-ended approach leaves open some fundamental issues unanswered. The paper ...

In this report we document a software package under development to allow message passing in the MPI model using the computer algebra system Maple. The new software, called maplle, consists of two components, a set of Maple functions and a MPI/C driver. The maplle system allows the user to easily parallelize Maple algorithms and use message passing functionality familiar to MPI users in a Maple ...

I recently gave a lecture to the faculty and house officers in my department on the topic of submitting a manuscript for publication. I covered how to choose a journal, the importance of following the instructions for authors, responsibilities of authorship, communications with the editor, misuse of figures and tables, linking cited references to Medline and PubMed, what happens at the journal ...

Provenance-aware storage systems (PASS) are a new class of storage system treating provenance as a first-class object, providing automatic collection, storage, and management of provenance as well as query capabilities. We developed the first PASS prototype between 2005 and 2006, targeting scientific end users. Prior to undertaking the provenance challenge, we had focused on provenance collecti...