6978 search results - page 177 / 1396 » On Proofs in System P |
162
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper we define a simple experimental setup to analyze the behavior of commercial P2P-TV applications under adverse network conditions. Our goal is to reveal th...
180
click to vote
NAR
2011
14 years 9 months ago
2011
P2CS (http://www.p2cs.org) is a specialized database for prokaryotic two-component systems (TCSs), virtually ubiquitous signalling proteins which regulate a wide range of physiolo...
213
click to vote
JLP
2010
15 years 1 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
162
click to vote
DATE
2010
IEEE
2010
IEEE
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems
15 years 11 months ago
—Parallel programming techniques have become one of the great challenges in the transition from single-core to multicore architectures. In this paper, we investigate the parallel...