4809 search results - page 238 / 962 » Scalable Analysis of Scalable Systems |
202
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
211
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
189
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
203
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
213
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Large-scale CMPs with hundreds of cores require a directory-based protocol to maintain cache coherence. However, previously proposed coherence directories are hard to scale beyond...