P-Lingua

swMATH27718MaRDI QIDQ39432FDOQ39432

Author name not available (Why is that?)

Described by source

• Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
• An Overview of P-Lingua 2.0
• A P-Lingua based simulator for tissue P systems

Cited In (28)

• A sublinear Sudoku solution in cP systems and its formal verification
• Alternative space definitions for P systems with active membranes
• Membrane computing models and robot controller design, current results and challenges
• Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
• Simulation challenges in membrane computing
• Evolutionary Design of a Simple Membrane System
• The computational complexity of tissue P systems with evolutional symport/antiport rules
• Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem
• Modelling and verification of weighted spiking neural systems
• A computational modeling for real ecosystems based on P systems
• An empirical evaluation of P system testing techniques
• The environment as a frontier of efficiency in tissue P systems with communication rules
• Parallel simulation of population dynamics P systems: updates and roadmap
• Current Developments on Computational Modeling Using P Systems
• Spatial calculus of looping sequences
• Simulating a P system based efficient solution to SAT by using GPUs
• Test generation from P systems using model checking
• Solving the N-queens problem using dP systems with active membranes
• Spiking neural P systems with rules on synapses and anti-spikes
• Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
• Designing a new software tool for digital imagery based on P systems
• A linear time complexity of breadth-first search using P system with membrane division
• Formal verification of cP systems using PAT3 and ProB
• DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
• Simulating and model checking membrane systems using strategies in Maude
• Formal Verification of P Systems with Active Membranes through Model Checking
• Alternative representations of P systems solutions to the graph colouring problem
• A simulation workflow for membrane computing: from mecosim to PMCGPU through \(\mathrm{P}\)-lingua

This page was built for software: P-Lingua