Publications
Found 1845 results
Author [ Title
Filters: First Letter Of Last Name is S [Clear All Filters]
Using Prosodic and Lexical Information for Speaker Identification.
Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2002).
(2002). Using Prosody for Automatic Sentence Segmentation of Multi-Party Meetings.
Proceedings of 9th International Conference on Text, Speech and Dialogue (TSD 2006). 629-636.
(2006).
(1997). A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979). VAST: A Unified Platform for Interactive Network Forensics.
Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
(2016). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).
(2009). Very Fast Containment of Scanning Worms.
Proceedings of the 13th USENIX Security Symposium. 29-44.
(2004).
(2007). Viable Protection of High-Performance Networks through Hardware/Software Co-Design.
Proceedings of ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization.
(2017). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A Virtual Spanner for Efficient Face Routing in Multihop Wireless Networks.
Lecture Notes in Computer Science. 4217,
(2006).
(2010).
(2011).
(2014).
Web Caching and Zipf-Like Distributions: Evidence and Implications.
Proceedings of the Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '99). 1, 126-134.
(1999).
(2009).
(2012).
(2012).