Journal of Computer and System Sciences
A Distributed Algorithm for Minimum-Weight Spanning Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to Distributed Algorithms
Introduction to Distributed Algorithms
Distributed Algorithms
Probabilistic regularisation and symmetry in binocular dynamic programming stereo
Pattern Recognition Letters - In memory of Professor E.S. Gelsema
Membrane Systems and Distributed Computing
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Occlusion Detectable Stereo -- Occlusion Patterns in Camera Matrix
CVPR '96 Proceedings of the 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96)
The conformon-P system: a molecular and cell biology-inspired computability model
Theoretical Computer Science
Time and Synchronization in Membrane Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
Asynchronous spiking neural P systems
Theoretical Computer Science
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
Asynchronous spiking neural P system with promoters
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Asynchronous spiking neural P systems: decidability and undecidability
DNA13'07 Proceedings of the 13th international conference on DNA computing
UC'10 Proceedings of the 9th international conference on Unconventional computation
A faster P solution for the Byzantine agreement problem
CMC'10 Proceedings of the 11th international conference on Membrane computing
Time-free spiking neural p systems
Neural Computation
BFS solution for disjoint paths in P systems
UC'11 Proceedings of the 10th international conference on Unconventional computation
A parallel implementation of the thresholding problem by using tissue-like P systems
CAIP'11 Proceedings of the 14th international conference on Computer analysis of images and patterns - Volume Part II
CAIP'11 Proceedings of the 14th international conference on Computer analysis of images and patterns - Volume Part II
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
A membrane computing system mapped on an asynchronous, distributed computational environment
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Asynchronous p systems and p systems working in the sequential mode
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Faster synchronization in P systems
Natural Computing: an international journal
Discovering the membrane topology of hyperdag p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
An adaptive algorithm for p system synchronization
CMC'11 Proceedings of the 12th international conference on Membrane Computing
P systems controlled by general topologies
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Fast distributed DFS solutions for edge-disjoint paths in digraphs
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
Our group's recent quest has been to use P systems to model parallel and distributed algorithms. Several framework extensions are recalled or detailed, in particular, modular composition with information hiding, complex symbols, generic rules, reified cell IDs, asynchronous operational modes, asynchronous complexity. We motivate our proposals via P system models of several well-known distributed algorithms, such as leader election and distributed echo. As another type of application, we mention a dynamic programming algorithm for stereo matching in image processing. We suggest criteria to assess the merits of this modelling approach and offer preliminary evaluations of our proposed additional ingredients, which have been useful in refactoring existing systems and could be useful to the larger P systems community.