228 search results - page 22 / 46 » Two Normal Forms for Rewriting P Systems |
CSL
2005
Springer
15 years 3 months ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
60
Voted
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—The success of swarming content delivery has motivated a new approach to live Peer-to-Peer (P2P) streaming that we call mesh-based streaming. In this approach, participa...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
101
click to vote
EUROCRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Joint Sparse Form is currently the standard representation system to perform multi-scalar multiplications of the form [n]P + m[Q]. We introduce the concept of Joint D...