Publications
Export 7151 results:
Author Title Type [ Year] Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
1995. Experimental software engineering: A report on the state of the art. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 17:277-277.
1995. Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
1995. A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
1995. Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
1995. Gauss, Statistics, and Gaussian Elimination. Journal of Computational and Graphical Statistics. 4(1):1-11.
1995. Generating compact code from dataflow specifications of multirate signal processing algorithms. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on. 42(3):138-150.
1995. Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
1995. Genetic enhancement of RNA-processing defects by a dominant mutation in B52, the Drosophila gene for an SR protein splicing factor.. Molecular and Cellular BiologyMol. Cell. Biol.. 15(11):6273-6282.
1995. Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
1995. Global rigidity constraints in image displacement fields. Proceedings of Fifth International Conference on Computer Vision, 1995. :245-250.
1995. Global rigidity constraints in image displacement fields. , Fifth International Conference on Computer Vision, 1995. Proceedings. :245-250.
1995. Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.
1995. On graded QR decompositions of products of matrices. Electronic Transactions on Numerical Analysis. 3:39-49.
1995. How to succeed in graduate school: a guide for students and advisors: part II of II. Crossroads. 1(3):1-6.
1995. How to succeed in graduate school: A guide for students and advisors. International Amateur-Professional Photoelectric Photometry Communications. 58:15-15.
1995. HUMAN VALUE AND THE FUTURE OF TECHNOLOGY. Human factors in information systems: emerging theoretical bases. :355-355.
1995. Hybrid thinning through reconstruction. Document Analysis and Recognition, 1995., Proceedings of the Third International Conference on. 2:632-635vol.2-632-635vol.2.