5863 search results - page 752 / 1173 » On Model-Checking of P Systems |
150
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
—By combining an unstructured protocol with a DHT-based global index, hybrid peer-to-peer (P2P) improves search efficiency in terms of query recall and response time. The major c...
177
click to vote
GRID
2007
Springer
16 years 1 months ago
2007
Springer
—The functional heterogeneity of non-dedicated computational grids will increase with the inclusion of resources from desktop grids, P2P systems, and even mobile grids. Machine f...
187
click to vote
CCECE
2006
IEEE
16 years 28 days ago
2006
IEEE
Biometric systems are designed to identify a person based on physiological or behavioral characteristics. In order to predict the utility of a particular image for identification,...
150
click to vote
DSD
2006
IEEE
16 years 28 days ago
2006
IEEE
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
177
click to vote
ICDCS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...