Support tools for supercomputing

The paper considers the problem of supercomputing support and Internet technologies. The PROGRESS project being developed at the A.P. Ershov Institute of Informatics Systems is discussed. The system is intended to support rapid prototyping of compilers for high-level languages (e.g., Fortran-77, Modula-2, Sisal-90) and for a family of architectures exploiting fine-grained...

kasyanovt.pdf904.88 KB

τ-Equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions

The paper is devoted to the investigation of behavioural equivalences for Petri nets with silent transitions (τ-equivalences). Basic τ-equivalences and back-forth τ-bisimulation equivalences are supplemented by new ones, giving rise to the complete set of equivalence notions in interleaving / true concurrency and linear / branching time semantics. Their interrelations...

tarasyuk.pdf1020.59 KB

New facilities of constraint logic programming

In this paper we focus on new facilities of a logic programming system ECLiPSe and propose a way of using these facilities for implementation of a constraint programming method called Subdefinite Computations. We briefly describe the Interval Domain library which employs the proposed implementaion technique for solving...

yahnot.pdf1.2 MB