3342 search results - page 547 / 669 » Symbolic Robustness Analysis |
158
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
: In this paper, we have proposed a time efficient, energy saving and robust broadcast/multicast protocol for reconfigurable cluster-based sensor network. In our broadcast protocol...
164
click to vote
ISBI
2007
IEEE
16 years 23 days ago
2007
IEEE
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
169
click to vote
ISQED
2007
IEEE
16 years 23 days ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...
153
click to vote
ISVLSI
2007
IEEE
16 years 23 days ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
182
click to vote
P2P
2007
IEEE
16 years 22 days ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...