Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zelkowitz MV.  2009.  An update to experimental models for validating computer technology. Journal of Systems and Software. 82(3):373-376.
Zelkowitz MV.  1977.  Effects of structured programming on PL/I programmers. Software: Practice and Experience. 7(6):793-795.
Zelkowitz MV, Wallace DR, Binkley DW.  2003.  Experimental validation of new software technology. SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 12:229-263.
Zelkowitz MV, Buckley FJ.  1992.  Standards-are software engineering process standards really necessary? Computer. 25(11):82-84.
Zelkowitz MV.  1980.  Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
Zelkowitz MV, Basili VR, Asgari S, Hochstein L, Hollingsworth J, Nakamura T.  2005.  Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.
Zelkowitz MV.  2006.  PIT: A macro‐implemented implementation language. Software: Practice and Experience. 2(4):337-346.
Zelkowitz MV, Yeh RT, Hamlet RG, Gannon JD, Basili VR.  1984.  Software Engineering Practices in the US and Japan. Computer. 17(6):57-66.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Zelkowitz MV, Lyle JR.  1981.  Implementation of language enhancements. Computer Languages. 6(3–4):139-153.
Zelkowitz MV.  2012.  What have we learned about software engineering? Communications of the ACM. 55(2):38-39.
Zellner ML, Riolo R, Rand W, Page SE, Brown DG, Fernandez LE.  2003.  The interaction between zoning regulations and residential preferences as a driver of urban form. Proceedings of the 2003 UTEP Distinguished Faculty and Student Symposium.
Zellner ML, Page SE, Rand W, Brown DG, Robinson DT, Nassauer J, Low B.  2009.  The emergence of zoning policy games in exurban jurisdictions: Informing collective action theory. Land Use Policy. 26(2):356-367.
Zellner ML, Riolo RL, Rand W, Brown DG, Page SE, Fernandez LE.  2010.  The problem with zoning: nonlinear effects of interactions between location preferences and externalities on land use and utility. Environment and Planning B: Planning and Design. 37(3):408-428.
Zeman D, Resnik P.  2008.  Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
Zha XF, Sriram RD, Gupta SK.  2005.  Information and Knowledge Modeling for Computer Supported Micro Electro-Mechanical Systems Design and Development.
Zhai K, Hu Y, Williamson S, Boyd-Graber J.  2012.  Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
Zhai K, Boyd-Graber J, Asadi N, Alkhouja M.  2012.  Mr. LDA: A Flexible Large Scale Topic Modeling Package using Variational Inference in MapReduce. Proceedings of ACM International Conference on World Wide Web, 2012.
Zhai K, Boyd-Graber J, Asadi N.  2011.  Using Variational Inference and MapReduce to Scale Topic Modeling. arXiv:1107.3765.
Zhai K, Boyd-Graber J.  2013.  Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. PDF icon 2013_icml_infvoc.pdf (985.1 KB)
Zhang D, Cleaveland R.  2005.  Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
Zhang K, Andrade H, Raschid L, Sussman A.  2005.  Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
Zhang W, Abhayapala TD, Kennedy RA, Duraiswami R.  2010.  Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
Zhang D, Cleaveland R.  2005.  Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.

Pages