Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2020
Quadratic Simulations of Merlin–Arthur Games
ACM Transactions on Computation Theory (TOCT), Volume 12, Issue 2Article No.: 14, Pages 1–11https://doi.org/10.1145/3389399The known proofs of MA ⊆ PP incur a quadratic overhead in the running time. We prove that this quadratic overhead is necessary for black-box simulations; in particular, we obtain an oracle relative to which MA-TIME (t) ⊈ P-TIME (o(t2)). We also show ...
- research-articleNovember 2013
Managing the network with Merlin
HotNets-XII: Proceedings of the Twelfth ACM Workshop on Hot Topics in NetworksArticle No.: 24, Pages 1–7https://doi.org/10.1145/2535771.2535792This paper presents the Merlin network management framework. With Merlin, administrators express network policy using programs in a declarative language based on logical predicates and regular expressions. The Merlin compiler automatically partitions ...
- chapterJanuary 2013
Internet topology discovery
DataTraffic Monitoring and AnalysisJanuary 2013, Pages 44–81Since the nineties, the Internet has seen an impressive growth, in terms of users, intermediate systems (such as routers), autonomous systems, or applications. In parallel to this growth, the research community has been looking for obtaining and ...
