3178 search results - page 263 / 636 » Survivability Analysis of Networked Systems |
152
click to vote
TITB
2008
15 years 6 months ago
2008
Abstract--This paper presents the application of a componentbased Grid middleware system for processing extremely large images obtained from digital microscopy devices. We have dev...
174
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Over the last two decades FPGAs have become central components for many advanced digital systems, e.g., video signal processing, network routers, data acquisition and military sys...
193
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
200
click to vote
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
The goal of this paper is to identify and discuss scalability issues for the measurement-based analysis of the availability in large-scale networks using IP multicast technology. ...
141
click to vote
IJON
2007
15 years 6 months ago
2007
We incorporate auditory-based features into an unconventional pattern classification system, consisting of a network of spiking neurones with dynamical and multiplicative synapse...