5863 search results - page 252 / 1173 » On Model-Checking of P Systems |
166
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we consider two popular peer-to-peer TV (P2P-TV) systems: PPLive, one of the today most widely used P2P-TV systems, and Joost, a promising new generation applicat...
196
click to vote
ICPPW
2009
IEEE
15 years 5 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...
172
click to vote
FUIN
2008
15 years 7 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
183
click to vote
FUIN
2008
15 years 7 months ago
2008
Spiking neural P systems simulate the behavior of neurons sending signals through axons. Recently, some applications concerning Boolean circuits and sorting algorithms have been pr...
201
click to vote
NC
2008
15 years 7 months ago
2008
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems...