Understanding concurrent object-oriented software execution is not a trivial task. This is mainly due to the interleaving of threads, and multiple flows of control that result in different outputs being produced at successive executions of the program. We believe that visualisation can be of assistance to developers in expediting the comprehension of concurrent object-oriented software. In this...

A multidatabase system is a system that supports data access to a collection of preexisting autonomous database systems. Concurrency control in such an environment is much more diicult in nature than that in centralized or distributed (homogeneous) database systems. Many factors, especially the autonomies, bring diiculties to it. In this paper, we classify the multidatabase environment into val...

The CRCW PRAM under dynamic fail-stop (no restart) processor behavior is a fault-prone multiprocessor model for which it is possible to both guarantee reliability and preserve eeciency. To handle dynamic faults some redundancy is necessary in the form of many processors concurrently performing a common read or write task. In this paper we show how to signiicantly decrease this concurrency by bo...

The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular concurrency control scheme in a persistent object system limits its usefulness to a particular class of application, in contrast to the generality intended by the provision of persistence. One solution is to provide a f...

We propose a new method for accelerating the computation of concurrency relation, that is all pairs places in Petri net can be marked together. Our approach relies on state space abstraction, involves mix between structural reductions and linear algebra, data-structure specifically designed our task. algorithms are implemented tool, called Kong, we test large collection models used during 2020 ...

Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this paper, we present an object model named Task.0, and Task-object Coupling (ToC) programming technique which uses Task.0 objects. This approach is designed to increase the level of reusability, expandability, modifiabili...

A hybrid granularity model is proposed for general concurrent solution. It is applied to the triangular factorization of a dense matrix ranging in size from 4 to 1024. Concurrency is achieved at two levels: (!) with small (micro) task granularity and (2) with large (blocked) task granularity. Rdevano~ to a many-proccssax CRAY X-MP is demonstrated by simulation.