๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An implementation of an efficient algorithm for bisimulation equivalence

โœ Scribed by Jean-Claude Fernandez


Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
943 KB
Volume
13
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An efficient implementation of an algori
โœ Hadjiconstantinou, E.; Christofides, N. ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 263 KB ๐Ÿ‘ 1 views

In this article, we present an efficient computational implementation of an algorithm for finding the K shortest simple paths connecting a pair of vertices in an undirected graph with n vertices, m arcs, and nonnegative arc lengths. A minimal number of intermediate paths is formed based on the metho

An efficient concurrent implementation o
โœ R. Andonie; A. T. Chronopoulos; D. Grosu; H. Galmeanu ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 202 KB

The focus of this study is how we can efficiently implement the neural network backpropagation algorithm on a network of computers (NOC) for concurrent execution. We assume a distributed system with heterogeneous computers and that the neural network is replicated on each computer. We propose an arc