The communication patterns of concurrent programs can be expressed succinctly using behaviours; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system that infers behaviours from a useful fragment of Concurrent ML programs; it is based on previously developed theoretical results and forms the core of a system available on the Internet. By ...

Following our own experience developing a concurrent object-oriented language as well of that of other researchers, we have identified several key problems in the design of a concurrency model compatible with the mechanisms of object-oriented programming. We propose an approach to language design in which an executable notation describing the behaviour of communicating agents is extended by syn...

Design patterns are reusable proven solutions to frequently occurring design problems. To encourage software engineers to use design patterns effectively and correctly throughout the development process, design patterns should be classified and represented formally. In this paper, we apply Object Process Methodology (OPM) for representing and classifying design patterns. OPM enables concurrent ...

desmoplastic small round cell tumor is a rare malignant tumor that occurs primarily in young males. here, a case of small round cell tumor in an adult male successfully treated with a curative concurrent chemoradiotherapy is presented. a 58-year-old man had an intrapelvic tumor. surgical resection was attempted, but the tumor was unresectable. needle biopsy was performed and the diagnosis was s...

We examined how positive and negative reinforcement influenced time allocation, occurrence of problem behavior, and completion of parent instructions during a concurrent choice assessment with 2 preschool-aged children who displayed severe problem behavior in their homes. The children were given a series of concurrent choice options that varied availability of parent attention, access to prefer...

We report on the development of a digital-micromirror-device (DMD)-based multishot snapshot spectral imaging (DMD-SSI) system as an alternative to current piezostage-based multishot coded aperture snapshot spectral imager (CASSI) systems. In this system, a DMD is used to implement compressive sensing (CS) measurement patterns for reconstructing the spatial/spectral information of an imaging sce...

In concurrent programming, lock-free synchronization is veryefficient but difficult to design correctly. This paper presentsa static analysis to show that code blocks are atomic, i.e.,that every execution of the program is equivalent to onein which those code blocks execute without interruption byother threads. Our analysis determines commutativity ofoperations based pri...

We extend contention adapting trees (CA trees), a family of concurrent data structures for ordered sets, to support linearizable range queries, range updates, and operations that atomically operate on multiple keys such as bulk insertions and deletions. CA trees differ from related concurrent data structures by adapting themselves according to the contention level and the access patterns to sca...

Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A typical process-oriented design involves the composition of a large number of small isolated component processes. These concurrent components allow for the scalable parallel execution of the resulting application on both sharedmemory and distributed-memo...

Many Americans who drink alcohol are polydrug users--that is, they also use other psychoactive drugs, such as nicotine, pharmaceuticals, cannabis, and other illicit substances. Polydrug use is a general term that describes a wide variety of substance use behaviors. Different types of polydrug use can be described with regard to the timing of the ingestion of multiple substances. Concurrent poly...