Publications
Export 3364 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is S [Clear All Filters]
2001. Finding large independent sets of hypergraphs in parallel. Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures. :163-168.
2001. Finding large independent sets of hypergraphs in parallel. Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures. :163-168.
1988. On finding lowest common ancestors: simplification and parallelization. VLSI Algorithms and Architectures. :111-123.
2009. First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL. International Conference on Computational Science and Engineering, 2009. CSE '09. 4:332-339.
2009. First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL. International Conference on Computational Science and Engineering, 2009. CSE '09. 4:332-339.
2008. Fixing ally's growing pains with velocity modeling. Proceedings of the 8th ACM SIGCOMM conference on Internet measurement. :337-342.
2008. Fixing ally's growing pains with velocity modeling. Proceedings of the 8th ACM SIGCOMM conference on Internet measurement. :337-342.
2004. Flexible Control of Data Transfers between Parallel Programs. Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing. :226-234.
2009. Fluency, adequacy, or HTER?: exploring different human judgments with a tunable MT metric Proceedings of the Fourth Workshop on Statistical Machine Translation. :259-268.
2009. Fluency, adequacy, or HTER?: exploring different human judgments with a tunable MT metric Proceedings of the Fourth Workshop on Statistical Machine Translation. :259-268.
2003. Footloose: a case for physical eventual consistency and selective conflict resolution. Mobile Computing Systems and Applications, 2003. Proceedings. Fifth IEEE Workshop on. :170-179.
2009. Formal Representation of Product Design Specifications for Validating Product Design. :1411-1422.
2009. Formal Representation of Product Design Specifications for Validating Product Design. :1411-1422.
2002. Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
2005. A framework for decomposing reputation in MAS into competence and integrity. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. :1253-254.
2008. A Framework for Software Engineering Experimental Replications. Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on. :203-212.
2011. From slacktivism to activism: participatory culture in the age of social media. Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :819-822.
1999. Gate leakage current simulation by Boltzmann transport equation and its dependence on the gate oxide thickness. Simulation of Semiconductor Processes and Devices, 1999. SISPAD '99. 1999 International Conference on. :247-250.
2007. A general framework for reasoning about inconsistency. Proceedings of the International Joint Conference on Artificial Intelligence. :599-604.
2005. Generating testable hypotheses from tacit knowledge for high productivity computing. Proceedings of the second international workshop on Software engineering for high performance computing system applications. :17-21.
2007. GeoDDupe: A Novel Interface for Interactive Entity Resolution in Geospatial Data. Information Visualization, 2007. IV '07. 11th International Conference. :489-496.
2010. Geotagging: using proximity, sibling, and prominence clues to understand comma groups. Proceedings of the 6th Workshop on Geographic Information Retrieval. :6:1–6:8-6:1–6:8.
2010. Geotagging: using proximity, sibling, and prominence clues to understand comma groups. Proceedings of the 6th Workshop on Geographic Information Retrieval. :6:1–6:8-6:1–6:8.