P-Lingua

swMATH27718MaRDI QIDQ39432FDOQ39432

Author name not available (Why is that?)

Official website: http://www.p-lingua.org/wiki/index.php/Main_Page

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 (38)

• 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
• 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
• 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
• Formal verification of P systems with active membranes through model checking
• 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
• pLinguaCore
• jSpin
• BioSPI
• MeCoSim
• PMCGPU
• Formal verification of cP systems using PAT3 and ProB
• WebPS
• Psim
• Electron
• CuSNP
• Simulating and model checking membrane systems using strategies in Maude
• CiteSpace
• Evolutionary design of a simple membrane system
• Alternative representations of P systems solutions to the graph colouring problem
• Current developments on computational modeling using P systems
• A simulation workflow for membrane computing: from MeCoSim to PMCGPU through P-Lingua
• DCBA: simulating population dynamics P systems with proportional object distribution

This page was built for software: P-Lingua