PAPERS PRESENTED AT CONFERENCES AND SYMPOSIA

Artificial Intelligence

CASTANO, F., D. M. GAINES, and C. C. HAYES. Improving feature extraction through closely-coupled integration of fixture analysis. Proc. ASME Winter Ann. Mtg., DE :89 (Atlanta, Ga., Nov. 1996) 13-28 (1996).
DONOHO, S. K. and L. A. RENDELL. Constructive induction using fragmentary knowledge. Proc. 13th Int. Conf. on Machine Learning (Bari, Italy, Jul. 1996) 113-121 (1996).
FU, M. C. and C. C. HAYES. Agent modeling in expert critiquing systems. Proc. AAAI Wkshp. on Agent Modeling (Portland, Ore., Aug. 1996) 30-37 (1996).
GAINES, D. M. and C. C. HAYES. Reconfigurable feature recognition for an adaptable, maintainable CAD/CAPP integration. Proc. ASME Des. Technical Conf. (Irvine, Calif., Aug. 1996) CD-Rom (1996).
GAINES, D. M. and C. C. HAYES. Operator construction: a compact, maintainable representation for real world planners. Proc. AAAI Wkshp. on Theories of Action, Planning, and Contr. Bridging the Gap (Portland, Ore., Aug. 1996) 47-55 (1996).
GAINES, D. M., F. CASTANO, and C. C. HAYES. Achieving flexible CAD/CAPP integration by reasoning from process shape producing capabilities. Proc. AAAI Intell. Mfg. Wkshp. (Albuquerque, N. Mex., Jun. 1996) 53-62 (1996).
GERVASIO, M. T. and G. F. DeJONG. Completable planning: a curative learning approach to the imperfect theory problem. Working Notes, 1996 AAAI Spring Symp. on Planning with Incomplete Inform. for Robot Prob. (Palo Alto, Calif., Mar. 1996) 13-16 (1996).
HAYES, C. C., D. M. GAINES, and M. FU. Some guidelines for knowledge acquisition strategies. Proc. AAAI Spring Symp. (Palo Alto, Calif., Mar. 1996) 25-27 (1996).
HAYES, C. C. and D. M. GAINES. Using near-misses from feature recognition to generate redesign suggestions for increased manufacturability. Proc. ASME Winter Ann. Mtg. DE :89 (Atlanta, Ga., Nov. 1996) 67-78 (1996).
NOBLE, A., D. WILSON, and J. PONCE. On computing aspect graphs of smooth shapes from volumetric data. Proc. 1996 IEEE Wkshp. on Math. Meth. in Biomed. Image Anal. (San Francisco, Calif., Jun. 1996) 299-308 (1996).
PEREZ, E. and L. A. RENDELL. Learning despite concept variation by finding structure in attribute-based data. Proc. 13th Int. Conf. on Machine Learning (Bari, Italy, Jul. 1996) 391-399 (1996).
PEREZ, E. and L. A. RENDELL. Statistical variable interaction: focusing multiobjective optimization in machine learning. Proc. 1st Int. Wkshp. on Machine Learning, Forecasting and Optim. (Leganes, Madrid, Spain, Jul. 1996) 141-152 (1996).
PEREZ, E., R. VILALTA, and L. A. RENDELL. On the importance of change of representation in induction. Proc. 11th Biennial Conf. on Artif. Intell. (Toronto, Ont., Canada, May 1996) 29-34 (1996).
PONCE, J. and Y. GENC. Epipolar geometry and linear subspace methods: a new approach to weak calibration. Proc. 1996 IEEE Conf. on Comput. Vision and Pattern Recognit. (San Francisco, Calif., Jun. 1996) 776-781 (1996).
PONCE, J. On planning immobilizing fixtures for three-dimensional polyhedral parts. Proc. 1996 IEEE Int. Conf. on Robot. and Automat. (Minneapolis, Minn., Apr. 1996) 509-514 (1996).
VIJAYAKUMAR, B., D. J. KRIEGMAN, and J. PONCE. Structure and motion of curved 3D objects from monocular silhouettes. Proc. 1996 IEEE Conf. on Comput. Vision and Pattern Recognit. (San Francisco, Calif., Jun. 1996) 327-334 (1996).

Communications Networks

NAHRSTEDT, K. and J. SMITH. New algorithms for admission control and scheduling to support multimedia feedback remote control applications. Proc. IEEE Int. Conf. on Multimedia Syst. and Comput. (Hiroshima, Japan, Jun. 1996) 532-539 (1996).
NAHRSTEDT, K., A. HOSSAIN, and S-M. KANG. A probe-based algorithm for QoS specification and adaptation. Proc. 4th Int. IFIP Wkshp. on Quality of Service (Paris, France, Mar. 1996) 89-100 (1996).

Computer-aided Design of Digital Systems

GUPTA, R. Analysis of operation delay and execution rate constraints for embedded systems. Proc. Des. Automat. Conf. (Las Vegas, Nev., Jun. 1996) 601-604 (1996).
GUPTA, R. Opportunities and pitfalls in HDL-based IC design. Proc. ICCAD (Austin, Tex., Oct. 1996) 56-57 (1996).
GUPTA, R. A framework for interactive timing constraint analysis of embedded systems. 4th Int. Wkshp. on Codesign (Pittsburgh, Penn., Mar. 1996).
GUPTA, R. and A. CHIEN. MORPH: a system architecture for robust high performance using customization. Proc. Symp. on Frontiers of Massively Parallel Comput. Frontiers '96 (Annapolis, Md., Oct. 1996).
GUPTA, R., A. CHIEN, A. DASDAN, and B. ZHANG. Rapid architectural design and validation using program-driven simulations. High-Level Des., Validation and Test Wkshp. (Oakland, Calif., Nov. 1996).
GUPTA, R., K-S. CHUNG, and C. L. LIU. An algorithm for synthesis of system-level interface circuits. Int. Conf. on Comput.-aided Des. (Santa Clara, Calif., Nov. 1996).
GUPTA, R. and J. LI. HDL optimizations using timed decision tables. Proc. Des. Automat. Conf. (Las Vegas, Nev., Jun. 1996) 51-54 (1996).
GUPTA, R. and J. LI. Control optimization using behavioral don't cares. Proc. Int. Symp. on Circuits and Syst. (Atlanta, Calif., May 1996) 404-407 (1996).
GUPTA, R., R. SUN, and C. L. LIU. Congestion-balanced placement for FPGAs. 5th ACM Physical Des. Wkshp. (Oxnard, Calif., Apr. 1996) 163-168 (1996).

Computer Architecture and Systems

MALUMBRES, M. P., J. DUATO, and J. TORRELLAS. An efficient implementation of tree-based multicast routing in wormhole networks. Proc. Int. Symp. on Parallel and Distrib. Process. (San Antonio, Tex., Oct. 1996) 30-33 (1996).
NGUYEN, A., M. MICHAEL, A. SHARMA, and J. TORRELLAS. The augmint multiprocessor simulation toolkit for Intel x86 architectures. Proc. 1996 IEEE Int. Conf. on Comput. Des. (Austin, Tex., Oct. 1996) 486-490 (1996).
RAYNAUD, A., Z. ZHANG, and J. TORRELLAS. Distance-adaptive update protocols for scalable shared-memory multiprocessors. Proc. 2nd Int. Symp. on High-Perform. Comput. Archit. (HPCA) (San Jose, Calif., Jan. 1996) 323-334 (1996).
TORRELLAS, J. and D. PADUA. The Illinois aggressive coma multiprocessor project (I-ACOMA). Proc. Frontiers of Massively Parallel Comput. Symp. (Annapolis, Md., Oct. 1996) 106-111 (1996).
TRANCOSO, P. and J. TORRELLAS. The impact of speeding up critical sections with data prefetching and forwarding. Proc. 1996 Int. Conf. on Parallel Process. (Bloomingdale, Ill., Aug. 1996) 79-86 (1996).
XIA, C. and J. TORRELLAS. Improving the data cache performance of multiprocessor operating systems. Proc. 2nd Int. Symp. on High-Perform. Comput. Archit. (HPCA) (San Jose, Calif., Jan. 1996) 85-94 (1996).
XIA, C. and J. TORRELLAS. Instruction prefetching of systems codes with layout optimized for reduced cache misses. Proc. 23rd Ann. Int. Symp. on Comput. Archit. (Philadelphia, Pa., Jun. 1996) 271-282 (1996).
YANG, L. and J. TORRELLAS. Optimizing primary data caches for parallel scientific applications: the pool buffer approach. Proc. Int. Conf. on Supercomput. (Philadelphia, Pa., Jun. 1996) 141-148 (1996).

Design Automation

LIU, C. L., X. CHEN, and P. PAN. A desensitization for power reduction in sequential circuits. Proc. 33rd ACM/IEEE Des. Automat. Conf. (Las Vegas, Nev., Jun. 1996) 795-800 (1996).
LIU, C. L., S. K. DON, P. PAN, and C. Y. LO. Constraint relaxation in graph-based compaction. Proc. 5th ACM/SIGDA Physical Des. Wkshp. (Apr. 1996) 256-261 (1996).
LIU, C. L. and A. MATHUR. A timing driven reconfiguration for fault tolerance and yield enhancement in FPGAs. Proc. Euro. Des. and Test Conf. (Mar. 1996) 165-169 (1996).
LIU, C. L. and P. PAN. A technology mapping to sequential circuits for LUT-based FPGAs for performance. Proc. 4th ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays (Feb. 1996).
LIU, C. L. and P. PAN. Optimal clock period FPGA technology mapping for sequential circuits. Proc. 33rd ACM/IEEE Des. Automat. Conf. (Las Vegas, Nev., Jun. 1996) 720-725 (1996).
LIU, C. L., S. RAMAN, and L. G. JONES. A timing-constrained incremental routing algorithm for symmetrical FPGAs. Proc. Euro. Des. and Test Conf. (Mar. 1996) 170-174 (1996).

Distributed Systems

ISLAM, N., A. DAVE, and R. H. CAMPBELL. Communication compilation for unreliable networks. Proc. 16th Int. Conf. on Distrib. Comput. Syst. (Hong Kong, May 1996) 188-195 (1996).
LI, Y., S. M. TAN, Z. CHEN, and R. H. CAMPBELL. Disk scheduling for the digital library object server with dynamic request priorities. 4th Int. Conf. on Parallel and Distrib. Inform. Syst. (Miami Beach, Fla., Dec. 1996).

Parallel Computing

ADVE, V. S., J. MELLOR-CRUMMEY, M. ANDERSON, K. KENNEDY, J-C. WANG, and D. A. REED. Integrating compilation and performance analysis for data-parallel programs. Debugging and Perform. Tuning for Parallel Comput. Syst. (Simmons, Hayes, Broron, Reed, eds.; IEEE Computer Soc. Press) 25-51 (1996).
BHANDARKAR, M. and L. V. KALE. MICE: a prototype MPI implementation in converse environment. Proc. 2nd MPI Developers Conf. (South Bend, Ind., Jul. 1996) 26-31 (1996).
BLUME, B., R. EIGENMANN, K. FAIGIN, J. GROUT, J. LEE, T. LAWRENCE, J. HOEFLINGER, D. PADUA, Y. PAEK, P. PETERSEN, L. RAUCHWERGER, P. TU, and S. WEATHERFORD. Restructuring programs for high-speed computers with Polaris. Proc. 1996 ICPP Wkshp. on Challenges for Parallel Process. (Bloomingdale, Ill., Aug. 1996) 149-161 (1996).
CHIEN A. A., U. REDDY, J. PLEVYAK, and J. DOLBY. ICC++ a C++ dialect for high performance parallel computing. Proc. Int. Symp. on Object Technol. for Adv. Software (Kanazawa, Japan, Mar. 1996) 76-95 (1996).
DeROSE, L. and D. PADUA. A MATLAB to Fortran 90 translator and its effectiveness. Proc. 10th ACM Int. Conf. on Supercomput. (Philadelphia, Pa., May 1996).
GURSOY, A. and L. V. KALE. Simulating message-driven programs. Proc. Int. Conf. on Parallel Process. III (Chicago, Ill., Aug. 1996) 223-230 (1996).
KALE, L. V., M. BHANDARKAR, N. JAGATHESAN, S. KRISHNAN, and J. YELON. Converse: an interoperable framework for parallel programming. Proc. 10th Int. Parallel Process. Symp. (Honolulu, Hawaii, Apr. 1996) 212-217 (1996).
KIM, J. H. and A. A. CHIEN. Rotating combined queuing: bandwidth and latency guarantees in low-cost, high performance networks. Proc. Int. Symp. on Comput. Archit. (Philadelphia, Pa., 1996) 226-236 (1996).
KRISHNAN, S. and L. V. KALE. Automating parallel runtime optimizations using post-mortem analysis. Proc. 10th ACM Int. Conf. on Supercomput. (Philadelphia, Pa., May 1996) 221-228 (1996).
KRISHNAN, S. and L. V. KALE. Automating runtime optimizations for load balancing in irregular problems. Proc. Conf. on Parallel and Distrib. Process. Technol. and Appl. (San Jose, Calif., Aug. 1996) 1465-1476 (1996).
LAMM, S. E., D. A. REED, and W. H. SCULLIN. Real-time geographic visualization of World Wide Web traffic. Proc. 5th Int. WWW Conf.: Computer Networks and ISDN Syst. (Paris, France, May 1996) 28, 1457-1468 (1996).
MADHYASTHA, T. M., C. L. ELFORD, and D. A. REED. Optimizing input/iutput using adaptive file system policies. Proc. 5th NASA Goddard Conf. on Mass Storage Syst. and Technol. (College Park, Md., Sept. 1996) 493-514 (1996).
MADHYASTHA, T. M. and D. A. REED. Intelligent, adaptive file system policy selection. Proc. Frontiers of Massively Parallel Comput. (Annapolis, Md., Oct. 1996) 172-179 (1996).
PADUA, D. and Y. PAEK. Automatic parallelization for noncoherent Cache multiprocessors. Wkshp. on Lang. and Compilers for Parallel Comput. (Santa Clara, Calif., Aug. 1996).
PAEK, Y. and D. PADUA. Compiling for scalable multiprocessors with Polaris. 1996 SPDP Wkshp. on Challenges in Compiling for Scalable Parallel Syst. (New Orleans, La., Aug. 1996).
PANWAR, R., W. KIM, and G. AGHA. Parallel implementations of irregular problems using high-level actor language. 10th Int. Parallel Process. Symp. (Honolulu, Hawaii, Jun. 1996).
REED, D. A., C. L. ELFORD, T. MADHYASTHA, W. H. SCULLIN, R. A. AYDT, and E. SMIRNI. I/O, performance analysis, and performance data immersion. Invited paper, Proc. MASCOTS '96 (San Jose, Calif., Feb. 1996) 5-16 (1996).
REED, D. A., C. L. ELFORD, T. M. MADHYASTHA, E. SMIRNI, andS. E. LAMM. The next frontier: interactive and closed loop performance steering. Proc. 1996 ICPP Wkshp. on Challenges for Parallel Process. (Bloomingdale, Ill., Aug. 1996) 20-31 (1996).
REED, D. A., M. J. GARDNER, and E. SMIRNI. Performance visualization: 2-D, 3-D, and beyond. Proc. Int. Comput. Perform. and Dependability Symp. (Urbana, Ill., Sept. 1996) 188-197 (1996).
SINHA, A. and L. V. KALE. Towards automatic peformance analysis. Proc. Int. Conf. on Parallel Process. (Chicago, Ill., Aug. 1996) III, 53-60 (1996).
SMIRNI, E., R. A. AYDT, A. A. CHIEN, and D. A. REED. I/O requirements of scientific applications: an evolutionary view. Proc. 5th IEEE Int. Symp. on High Perform. Distrib. Comput. (New York, N.Y., Aug. 1996) 49-59 (1996).
TORRELLAS, J. and D. PADUA. The Illinois aggressive coma multiprocessor project (I-ACOMA). Proc. Frontiers of Massively Parallel Computat. (Annapolis, Md., Oct. 1996) 106-111 (1996).
ZHANG, X., V. KARAMCHETI, T. NG, and A. CHIEN. Processor oriented optimizations for fine-grained COOP languages on distributed memory machines. Proc. Int. Parallel Process. Symp. (Honolulu, Hawaii, Apr. 1996) 235-240 (1996).

Programming Languages

SEFIKA, M., A. SANE, and R. H. CAMPBELL. Architecture-oriented visualization. Proc. Object-Oriented Progr. Syst., Lang. and Appl. (San Jose, Calif., Oct. 1996) 389-405 (1996).

Real-Time Systems

FENG, W. and J. W. S. LIU. Performance of a congestion control scheme on an ATM switch. Proc. Int. Conf. on Networks (Orlando, Fla., Jan. 1996) 225-228 (1996).
GUPTA, R. Software synthesis for embedded systems. Proc. Int. Symp. on Circuits and Syst. (Atlanta, Ga., May 1996) 643-646 (1996).
GUPTA, R. Operation serializability for embedded systems. Euro. Des. and Test Conf. (Paris, France, Mar. 1996).
HUANG, T. Y, J. Y. CHUNG, and J. W. S. LIU. Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs. Proc. 1996 Int. Conf. on Parallel and Distrib. Syst. (Tokyo, Japan, Jun. 1996) 422-428 (1996).
HUANG, T. Y., J. W. S. LIU, and D. TULL. A method for bounding the effect of DMA I/O interference on program execution time. IEEE Real-Time Syst. Symp. (Washington, D.C., Dec. 1996).
NIELSEN, B. and G. AGHA. Semantics for an actor-based real-time language. Proc. 4th Int. Wkshp. on Parallel and Distrib. Real-Time Syst. (Honolulu, Hawaii, Apr. 1996) 223-228 (1996).
PHILP, I. R., K. NAHRSTEDT, and J. W. S. LIU. Scheduling and buffer management for soft real-time VBR traffic in packet switched networks. Proc. 21st Ann. Conf. on Local Comput. Networks (Minneapolis, Minn., Oct. 1996) 143-152 (1996).
PHILP, I. and J. W. S. LIU. End-to-end scheduling in real-time packet switched networks. Proc. 4th Int. Conf. on Network Protocols (Columbus, Ohio, Oct. 1996) 23-30 (1996).
STORCH, M. F. and J. W. S. LIU. DRTSS: a simulation framework for complex real-time systems. Proc. IEEE Real-Time Technol. and Appl. Symp. (Boston, Mass., Jun. 1996) 160-169 (1996).
SUN, J. and J. W. S. LIU. Bounding completion times of jobs with arbitrary release times and variable execution times. IEEE Real-Time Syst. Symp. (Washington, D.C., Dec. 1996).
SUN, J. and J. W. S. LIU. Synchronization of tasks with end-to-end deadlines. Proc. IEEE Int. Conf. on Distrib. Comput. Syst. (Hong Kong, May 1996) 38-46 (Outstanding Paper Award) (1996).

Software Engineering

HARANDI, M. T. Similarity metrics in object oriented software reuse. Proc. 6th Int. Conf. on Inform. Process. and Mgt. of Uncertainty in Knowledge-Based Syst. (Granada, Spain, Jul. 1996) 1107-1112 (1996).
LI, Y., Z. CHEN, S. M. TAN, and R. H. CAMPBELL. Security enhanced MPEG player. Proc. 1st Int. Wkshp. on Multimedia Software Dev. (Berlin, Germany, Mar. 1996) 169-175 (1996).
QIAN, T., S. M. TAN, and R. CAMPBELL. An integrated architecture for open distributed multimedia computing. Proc. 1st Int. Wkshp. on Multimedia Software Dev. (Berlin, Germany, Mar. 1996) 24-30 (1996).
SEFIKA, M., A. SANE, and R. CAMPBELL. Monitoring compliance of a software system with its high-level design models. Proc. 18th Int. Conf. on Software Engr. (Berlin, Germany, Mar. 1996) 387-396 (1996).

Theoretical Computing

EDELSBRUNNER, H., P. FU, and J. QIAN. Geometric modeling in CAVE. Proc. ACM Symp. on Virtual Reality Software Tech. (Hong Kong, Jul. 1996) 35-41, 193-194 (1996).
EDELSBRUNNER, H., M. FACELLO, and J. LIANG. On the definition and the construction of pockets in macromolecules. Proc. Pacific Symp. on Biocomput. (Kohala Coast, Hawaii, Jan. 1996).