Results 11 to 20 of about 60,674 (237)
SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes [PDF]
, 2011 This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate ...
Timmer, Mark
core +2 more sources
Unlocking Blocked Communicating Processes
, 2015 We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring ...
Francalanza, Adrian +2 more
core +4 more sources
Open Transactions on Shared Memory [PDF]
, 2015 Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implementations admit isolated transactions only, which are not adequate when we have to coordinate communicating processes. To this end,
A. Mansutti +12 more
core +3 more sources
On the power of parallel communicating grammar systems with right-linear components [PDF]
RAIRO - Theoretical Informatics and Applications, 1997 Summary: We settle here two problems concerning the generative power of parallel communicating grammar systems with right-linear components: (1) each linear language can be generated by a non-centralized returning system, (2) the family of languages generated by centralized returning systems is incomparable with the family of languages generated by non-
Sorina Dumitrescu, Gheorghe Paun
openaire +2 more sources
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
, 2009 We consider parallel communicating pushdown automata systems (PCPA) and define a property called known communication for it. We use this property to prove that the power of a variant of PCPA, called returning centralized parallel communicating pushdown ...
Bianca Truthe +14 more
core +2 more sources
Partially-commutative context-free languages [PDF]
, 2012 The paper is about a class of languages that extends context-free languages (CFL) and is stable under shuffle. Specifically, we investigate the class of partially-commutative context-free languages (PCCFL), where non-terminal symbols are commutative ...
Bas Luttik +17 more
core +2 more sources
Parsing Based on Grammar and Automata Systems [PDF]
, 2015 Tato práce se zabývá syntaktickou analýzou s využitím systémů paralelně komunikujících zásobníkových automatů. Zejména se zaměřuje na dopady nedeterminismu v jednotlivých komponentách na celý systém.
Šoustar, Jakub
core
Molecular Oncology, EarlyView.Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau +36 more
wiley +1 more source
Grammar Systems and Parsing Based on Them [PDF]
, 2015 Tato práce se věnuje problematice gramatických systémů. Definuje jak kooperující distribuované CD gramatické systémy, tak i paralelně komunikující PC gramatické systémy ve spojení s bezkontextovými gramatikami.
Handlíř, Jaroslav
core
Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy
Advanced Materials, EarlyView.Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa +3 more
wiley +1 more source