The join-calculus is both a name passing calculus and a core language for concurrent and distributed programming. An essential part of its implementation is the compilation of join-patterns. Join-patterns deene new channels and all the synchronizations they take part to at the same time. Relying on the experience based on our two implementations, we study the translation of join-patterns into d...

In this work, we describe a theoretical model that predicts the existence of three patterns of subjects’ behavior in an experimental chamber with concurrent schedules of reinforcements. Two of these patterns were found earlier by Baum (2002). The model is based on the assumption that an organism is a system with internality and that the alternatives are polarized for the subject: one of them pl...

Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concur-rency. While there are many techniques to specify intended concurrent behavior, there are few, if any, techniques to capture and model actual concurrent behavior. This paper presents a technique to discover patterns of co...

When analysing a concurrent program in order to verify its correctness one faces a severe complexity problem: state-spaces corresponding to concurrent programs become tremendously large. To cope with this problem of state-space explosion, two diierent t ypes of approaches have been established: abstraction techniques and partial-order methods. Abstraction aims at reducing the number of states b...

ing Process-to-Function Relations in Concurrent Object-Oriented Applications ? Cristina Videira Lopes ?? , Karl J. Lieberherr College of Computer Science Northeastern University Cullinane Hall Boston, MA 02115, USA email: fcrista, [email protected] Abstract. This paper presents a programming model for concurrent object-oriented applications by which concurrency issues are abstracted and separ...

ing Process-to-Function Relations in Concurrent Object-Oriented Applications ? Cristina Videira Lopes ?? , Karl J. Lieberherr College of Computer Science Northeastern University Cullinane Hall Boston, MA 02115, USA email: fcrista, [email protected] Abstract. This paper presents a programming model for concurrent object-oriented applications by which concurrency issues are abstracted and separ...

BACKGROUND As the understanding of how different aspects of the physical activity (PA) pattern relate to health and disease, proper assessment is increasingly important. In clinical care, self-reports are the most commonly used assessment technique. However, systematic comparisons between questions regarding concurrent or criterion validity are rare, as are measures of predictive validity. The ...

In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried dependencies. They follow the INSPECTOR/EXECUTOR scheme and improve upon previous algorithms with the same generality by allowing concurrent reads of the same location and by increasing the overlap of dependent iterations. ...

Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. While there are many techniques to specify intended concurrent behavior, there are few, if any, techniques to capture and model actual concurrent behavior. This paper presents a technique to discover patterns of con...