Summary of Engineering Research

Architecture and Systems
^ Pai, V. S. and S. Adve . Code transformations to improve memory parallelism . J. Instrucr. Level Parallel (special issue on the best papers from MICRO-32) http://www.jilp.org/vol2 , 2, ( 2000 ).

Artificial Intelligence
^ Harandi, M. T. . Distributed problem solving . In Encyclopedia of Computer Science and Technology, Marcel Dekker, Inc., New York, N.Y , 42 , 23-33 ( 2000 ).

^ Shimshoni, I. and J. Ponce . Probabilistic 3D object recognition . Int. J. Comput. Vision , 36:1 , 51-70 ( 2000 ).

^ Sudsang, A., J. Ponce, and N. Srinivasa . Grasping and in-hand manipulation: geometry and algorithms . Algorithmica , 26 , 466-493 ( 2000 ).

Communications
^ Li, B. and K. Nahrstedt . QualProbes: middleware QOS profiling services for configuring adaptive applications . In Lecture Notes in Computer Science, 1795 (Sventek, Coulson, eds.), ACM Springer-Verlag, New York, N.Y. , 256-272 ( 2000 ).

^ Liu, Z., R.H. Campbell, and M. D. Mickunas . Securing of an active network . In Active Middleware Services (Hariri, Lee, and Raghavendra, eds.), Kluwer Academic Publishers, Boston, Mass. , 128-140 ( 2000 ).

^ Servetto, S., K. Ramchandran, V. Vaishampayan, and K. Nahrstedt . Multiple description wavelet-based image coding . IEEE Trans. Image Process. , 9:5 , 813-826 ( 2000 ).

^ Xu, D., D. Wichadakul, and K. Nahrstedt . Resource-aware middleware for active and configurable distributed services . In Active Middleware Services (Hariri, Lee, and Raghavendra, eds.), Kluwer Academic Publishers, Boston, Mass. , 167-176 ( 2000 ).

Compilers
^ DeRose, L., B. Marsolf, K. Gallivan, E. Gallopoulos, and D. Padua . Design issues in a Matlab-based environment for numerical program development . In Technologies for Computational Science (Houstis, Bramley, and Gallopoulos, eds.), Kluwer Academic Publishers, Boston, Mass. , 315-326 ( 2000 ).

^ Kamin, S. and J. Jones . Annotating Java class files with virtual registers for performance . Concurrency: Practice Exp. , 12:6 , 389-406 ( 2000 ).

^ Lin, Y. and D. Padua . Analysis of irregular single-indexed arrays and its applications in compiler optimizations . In Lecture Notes in Computer Science, 1781 (Watt, ed.), Springer-Verlag, Berlin, Germany , 202-218 ( 2000 ).

^ Padua, D. . The Fortran I compiler . Comput. Sci. Eng. , 12:1 , 70-75 ( 2000 ).

Distributed Systems
^ Agha, G., N. Jamali, and C. Varela . Agent naming and coordination: actor-based models and infrastructures . In Coordination of Internet Agents: Models, Technologies and Applications (Omicini, Zambonelli, Klusch, and Tolksdorf, eds.), Springer-Verlag, Berlin, Germany , Chapter 9 ( 2000 ).

^ Agha, G., P. Thati, and R. Ziaei . Actors: A model for reasoning about open distributed systems . In Formal Methods for Distributed Process—An Object Oriented Approach (Bowman and Derrick, eds.), Cambridge University Press, Cambridge, England , 281-320 (2000 ).

^ Ballesteros, F. J., R. Jimenez, M. Patiño, F. Kon, S. Arevalo, and R. H. Campbell . Using interpreted composite calls to improve operating system services . Software Practice Exper. , 30:6 , 589-615 ( 2000 ).

^ Varela, C. and G. Agha . A hierarchical model for coordination of concurrent activities . In Lecture Notes in Computer Science, 1594, Springer-Verlag, Berlin, Germany , 166-182 ( 2000 ).

Dynamic Configuration
^ Kon, F. and R. H. Campbell . Dependence management in component-based distributed systems . IEEE Concurrency , 8:1 , 26-36 ( 2000 ).

High-Performance Computing
^ Vetter, J. S. and D. A. Reed . Real-time performance monitoring, adaptive control, and interactive steering of computational grids . Int. J. High Perf. Comput. Appl. , Winter , 357-366 ( 2000 ).

Logic Design
^ Muroga, S., S. Minato, Y. Nakamura, K. Yoshikawa, K. Yano, N. Takagi, H. Tago, and C. R. Baugh . Logic design (Section V) . In VLSI Handbook (Chen ed.), CRC Press and IEEE Press, Boca Raton, Fla. , ( 2000 ).

Numerical and Scientific Computing
^ Heath, M. T. and W. A. Dick . Virtual prototyping of solid propellant rockets . Comput. Sci. Eng. , 2:2 , 21-32 ( 2000 ).

^ Skeel, R. D. and K. Srinivas . Nonlinear stability analysis of area-preserving integrators . SIAM J. Numer. Anal. , 38 , 129-148 ( 2000 ).

^ Zou, G., R.D. Skeel, and S. Subramaniam . Biased Brownian dynamics for rate constant calculation . Biophys. J. , 79 , 638-645 ( 2000 ).

Parallel Computing
^ Adve, V. S. and R. Sakellariou . Application representations for multi-paradigm performance modeling of large-scale parallel scientific codes . Int. J. High Perf. Comput. Appl. , 14:4 , 304-316 ( 2000 ).

^ Adve, V. S., R. Bagrodia, J.C. Browne, E. Deelman, A. Dube, E. Houstis, J. Rice, R. Sakellariou, D. Sundaram-Stukel, P. J. Teller, and M. K. Vernon . POEMS: end-to-end performance design of large parallel adaptive computational systems . IEEE Trans. Software Eng. , 26:11 , 1027-1048 ( 2000 ).

Programming Languages
^ Kamin, S. and W. Harrison . Metacomputation-based compiler architecture . In Lecture Notes in Computer Science 1837, Springer-Verlag, Berlin, Germany , 28-50 ( 2000 ).

Reflective Middleware
^ Kon, F., M. Román, P. Liu, J. Mao, T. Yamane, L.C. Magalhu'atilde'es, and R. H. Campbell . Monitoring, security, and dynamic configuration with the dynamic TAO reflective ORB . In Lecture Notes in Computer Science, 1795, Springer-Verlag, Berlin, Germany , 121-143 ( 2000 ).

Software Engineering
^ Kamin, S., Callahan, M., and L. Clausen . Lightweight and generative components II: binary-level components . In Lecture Notes in Computer Science 1924,Springer-Verlag, Berlin, Germany , 213-229 ( 2000 ).