Search Sciweavers | Sciweavers

5863 search results - page 220 / 1173

» On Model-Checking of P Systems

212

click to vote

CCGRID
2003
IEEE

173views Distributed And Parallel Com...» more CCGRID 2003»

DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications

16 years 14 days ago

Download dks.sics.se

In this paper, we present DKS(N, k, f), a family of infrastructures for building Peer-To-Peer applications. Each instance of DKS(N, k, f) is a fully decentralized overlay network ...

Luc Onana Alima, Sameh El-Ansary, Per Brand, Seif ...

claim paper

Read More »

201

click to vote

EDBT
2009
ACM

118views Database» more EDBT 2009»

Flower-CDN: a hybrid P2P overlay for efficient query processing in CDN

15 years 11 months ago

Download atlas.lina.univ-nantes.fr

Many websites with a large user base, e.g., websites of nonprofit organizations, do not have the financial means to install large web-servers or use specialized content distributi...

Manal El Dick, Esther Pacitti, Bettina Kemme

claim paper

Read More »

213

click to vote

TSE
2010

110views more TSE 2010»

Proofs from Tests

15 years 5 months ago

Download research.microsoft.com

We present an algorithm Dash to check if a program P satisﬁes a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajaman...

claim paper

Read More »

130

click to vote

ISCAS
2007
IEEE

81views Hardware» more ISCAS 2007»

On the Persistency of Excitation for Blind Channel Estimation in Cyclic Prefix Systems

16 years 1 months ago

Download www.systems.caltech.edu

Borching Su, P. P. Vaidyanathan

claim paper