Publications
Export 1389 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
2006. Context-sensitive correlation analysis for detecting races. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI). :320-331.
2008. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :37-49.
2004. Copilot - a coprocessor-based kernel runtime integrity monitor. Proceedings of the 13th conference on USENIX Security Symposium - Volume 13. :13-13.
2001. Core semantics of multithreaded Java. Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI '01. :29-38.
2010. COSI: Cloud Oriented Subgraph Identification in Massive Social Networks. Advances in Social Networks Analysis and Mining (ASONAM), 2010 International Conference on. :248-255.
2007. On the Cost of Persistence and Authentication in Skip Lists. Experimental Algorithms. :94-107.
2009. A cost-effective lexical acquisition process for large-scale thesaurus translation. Language resources and evaluation. 43(1):27-40.
2002. COTS-based software development: Processes and open issues. Journal of Systems and Software. 61(3):189-199.
2001. Coverage criteria for GUI testing. Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. :256-267.
1999. Coverage estimation methods for stratified fault-injection. Computers, IEEE Transactions on. 48(7):707-723.
2004. Covering arrays for efficient fault characterization in complex configuration spaces. ACM SIGSOFT Software Engineering Notes. 29:45-54.
2006. Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering. :20-34.
2003. On the Covering Steiner Problem. FST TCS 2003: Foundations of Software Technology and Theoretical Computer ScienceFST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. 2914:244-251.
2003. The CPR model for summarizing video. Proceedings of the 1st ACM international workshop on Multimedia databases. :2-9.
2007. Creating a nationwide wireless detection sensor network for chemical, biological and radiological threats. Gentag White Paper.
2006. Creativity Support Tools: Report From a U.S. National Science Foundation Sponsored Workshop. International Journal of Human-Computer Interaction. 20(2):61-77.
2017. CRISPR-Cas and Contact-Dependent Secretion Systems Present on Excisable Pathogenicity Islands with Conserved Recombination Modules. Journal of Bacteriology. (10)
2006. Cross-Language Access to Recorded Speech in the MALACH Project. Text, Speech and DialogueText, Speech and Dialogue. 2448:197-212.
2006. Cross-Language Access to Recorded Speech in the MALACH Project. Text, Speech and DialogueText, Speech and Dialogue. 2448:197-212.
2007. Cross-layer latency minimization in wireless networks with SINR constraints. Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing. :110-119.
2016. Cross-talk among flesh-eating Aeromonas hydrophila strains in mixed infection leading to necrotizing fasciitis. Proceedings of the National Academy of Sciences. 11312161268(3321029):722-727.