Publications

Export 1858 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2001
Sims S, Cleaveland R, Butts K, Ranville S.  2001.  Automated Validation of Software Models. Automated Software Engineering, International Conference on. :91-91.
Basili VR, Tesoriero R, Costa P, Lindvall M, Rus I, Shull F, Zelkowitz MV.  2001.  Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop. Product Focused Software Process Improvement. :110-125.
Oard D, Levow GA, Cabezas C.  2001.  CLEF experiments at Maryland: Statistical stemming and backoff translation. Cross-Language Information Retrieval and Evaluation. :176-187.
Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J.  2001.  Cyclone User's Manual, Version 0.1. 3. Computer Science Technical Reports.
Beynon MD, Kurc T, Catalyurek U, Chang C, Sussman A, Saltz J.  2001.  Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
Beynon MD, Kurc T, Catalyurek U, Chang C, Sussman A, Saltz J.  2001.  Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
Krishnamurthy S, Sanders WH, Cukier M.  2001.  A dynamic replica selection algorithm for tolerating timing faults. :107-116.
Bhat GS, Cleaveland R, Groce A.  2001.  Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
Cleaveland R, Sokolsky O.  2001.  Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
Basili VR, Costa P, Lindvall M, Mendonca M, Seaman C, Tesoriero R, Zelkowitz MV.  2001.  An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
Barrett C, Cook D, Hicks G, Faber V, Marathe A, Marathe M, Srinivasan A, Sussmann Y, Thornquist H.  2001.  Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
Bhatia M, Chi P, Chong W, Josyula DP, Okamoto Y, Perlis D, Purang K.  2001.  Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
Bhatia M, Chi P, Chong W, Josyula DP, Okamoto Y, Perlis D, Purang K.  2001.  Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
Chang CF, Varshney A, Ge QJ.  2001.  Haptic and aural rendering of a virtual milling process. ASME 2001 Design Engineering Technical Conference and Computers and Information in Engineering Conference, Pittsburgh, PA. :105-113.
Chang CF, Varshney A, Ge QJ.  2001.  Hierarchical image-based and polygon-based rendering for large-scale visualizations. Hierarchical and Geometrical Methods in Scientific VisualizationHierarchical and Geometrical Methods in Scientific Visualization.
Chang C, Kurc T, Sussman A, Catalyurek U, Saltz J.  2001.  A hypergraph-based workload partitioning strategy for parallel data aggregation. Proceedings of the Eleventh SIAM Conference on Parallel Processing for Scientific Computing.
Chang C, Kurc T, Sussman A, Catalyurek U, Saltz J.  2001.  A hypergraph-based workload partitioning strategy for parallel data aggregation. Proceedings of the Eleventh SIAM Conference on Parallel Processing for Scientific Computing.
Basili VR, Lindvall M, Costa P.  2001.  Implementing the Experience Factory concepts as a set of Experience Bases. Proc. 13th Int’l Conf. Software Eng. and Knowledge Eng. :102-109.
Fedder GK, Blanton S, Carley LR, Gupta SK, Koester D.  2001.  Integrated Microelectromechanical System (MEMS) Inertial Measurement Unit (IMIMU).
Cukier M, Lyons J, Pandey P, Ramasamy HV, Sanders WH, Pal P, Webber F, Schantz R, Loyall J, Watro R.  2001.  Intrusion tolerance approaches in ITUA. 64
Meng H, Chen B, Khudanpur S, Levow G-A, Lo W-K, Oard D, Schone P, Tang K, Wang H-M, Wang J.  2001.  Mandarin-English Information (MEI): investigating translingual speech retrieval. Proceedings of the first international conference on Human language technology research. :1-7.
Beynon MD, Sussman A, Catalyurek U, Kurc T, Saltz J.  2001.  Performance optimization for data intensive grid applications. Active Middleware Services, 2001. Third Annual International Workshop on. :97-105.
Craver SA, Wu M, Liu B, Stubblefield A, Swartzlander B, Wallach DS, Dean D, Felten EW.  2001.  Reading between the lines: Lessons from the SDMI challenge. Proceedings of the 10th USENIX Security Symposium. :13-17.
Segal MR, Cummings MP, Hubbard AE.  2001.  Relating amino acid sequence to phenotype: analysis of peptide-binding data. Biometrics. 57(2):632-642.
Camarero JA, Fushman D, Sato S, Giriat I, Cowburn D, Raleigh DP, Muir TW.  2001.  Rescuing a destabilized protein fold through backbone cyclization. Journal of Molecular Biology. 308(5):1045-1062.

Pages