6978 search results - page 270 / 1396 » On Proofs in System P |
184
click to vote
PC
2000
15 years 6 months ago
2000
The LogP model is a model of parallel computation that characterises a parallel computer system by four parameters: the latency L, the overhead o, the gap g and the number of proc...
194
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. DHT-based P2P systems provide a fault-tolerant and scalable mean to store data blocks in a fully distributed way. Unfortunately, recent studies have shown that if connect...
182
click to vote
TPDS
2010
15 years 5 months ago
2010
—Utilizing the skewed popularity distribution in P2P systems, common in Gnutella and KazaA like P2P applications, we propose an optimal resource (replica or link) placement strat...
167
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
162
click to vote
JCT
2010
15 years 5 months ago
2010
We consider extensions and restrictions of Wythoff’s game having exactly the same set of P positions as the original game. No strict subset of rules give the same set of P posit...