Publications
Export 566 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is V [Clear All Filters]
1997. An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 23(6):329-346.
1997. From algorithm parallelism to instruction-level parallelism: An encode-decode chain using prefix-sum. Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures. :260-271.
1997. Navigating static environments using image-space simplification and morphing. Proceedings of the 1997 symposium on Interactive 3D graphics.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
1996. Answering queries using OQL view expressions. In Workshop on Materialized Views, in cooperation with ACM SIGMOD.
1996. Can parallel algorithms enhance serial implementation? Communications of the ACM. 39(9):88-91.
1996. Controlled topology simplification. Visualization and Computer Graphics, IEEE Transactions on. 2(2):171-184.
1996. Dynamic view-dependent simplification for polygonal models. Visualization '96. Proceedings.. :327-334.
1996. Efficient approximate and dynamic matching of patterns using a labeling paradigm. Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on. :320-328.
1996. An empirical exploration of code evolution. International Workshop on Empirical Studies of Software Maintenance.
1996. Evaluating workflow and process automation in wide-area software development. Software Process Technology. :188-193.
1996. A fast parallel algorithm for finding the convex hull of a sorted point set. International Journal of Computational Geometry and Applications. 6:231-242.
1996. FINESSE: a financial information spreadsheet. Information Visualization '96, Proceedings IEEE Symposium on. :70-71,125-70-71,125.
1996. Hybrid network management (communication systems). 16th AIAA International Communications Satellite Systems Conference.
1996. Hybrid network management (communication systems). 16th AIAA International Communications Satellite Systems Conference.
1996. A methodology for query reformulation in CIS using semantic knowledge. International Journal of Cooperative Information Systems. 5(4):431-468.
1996. A Multi-Level Approach to Interlingual MT: Defining the Interface between Representational Languages. International Journal of Expert Systems. 9(1):15-51.
1996. Rounding errors in solving block Hessenberg systems. Mathematics of Computation. 65(213):115-135.