1875 search results - page 313 / 375 » Automatic Network Protocol Analysis |
ISCA
2005
IEEE
14 years 2 months ago
2005
IEEE
The traditional approach for characterizing complex systems is to run standard workloads and measure the resulting performance as seen by the end user. However, unique opportuniti...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...
ICCAD
2007
IEEE
14 years 3 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...