2 Scenarios

3 Research Areas

4 Research Plan  

5 Summary

Acronyms  

5. Summary

Clearly, this research could have tremendous impact for practicing engineers as well as researchers with its potential for significant cost savings and enhanced productivity and reliability in hardware, software, and engineering applications. The results of this research thrust will become integrated into the engineering curricula, thus directly impacting undergraduate and graduate education.

With appropriate funding, the following scientific and technical contributions are realizable over the next five years and should lead to national recognition.

Although the State of Alabama is somewhat behind in IT industries, those that are in the state have indicated high interest in this research. The College of Engineering has already built several key relationships with the $3 billion IT industry in the state. For example, recently Auburn was part of a consortium of industries from both within and out of state that won a $12 million DARPA-TRP contract in the area of high performance packaging of vehicle electronics. Auburn is anticipating the award of an NSF/University/Industry Center for Advanced Vehicle Electronics (CAVE). There are also several other ongoing projects with the Army and NASA in Huntsville. The proposed nationally prominent research program in Reconfigurable Smart Component technology will provide the type of high visibility which is necessary to attract and retain additional IT companies to Alabama. In addition, this research program will attract high quality undergraduate and graduate students. Students will have access to or even participate in the frontiers of IT research and thus increase their potential for career development. Students in the State of Alabama and the region who aspire to graduate from outstanding hardware and software degree programs should think of Auburn as their top choice. This can only be achieved by building a national reputation in a high profile area such as the one proposed. Our graduates will then, in turn, be able to fill the needs of the IT industry in Alabama and the nation.

Back to Top

Back to Top

Aglet (1999). http://www.trl.ibm.co.jp/aglets/index.html

Bakre, A. and Badrinath, B. (1996). "Indirect Transport Layer Protocols for Mobile Wireless Environment," Mobile Computing, T. Imielinski and H.F. Korth, (Eds.) Kluwer Academic Publishers, pp.229-252.

Balakrishnan, H., et. al. (1997). "A Comparison of Mechanisms for Improving TCP Performance over Wireless Links," IEEE/ACM Transaction on Networking, Vol. 5, No. 6, December pp. 756-769

Barbara, Daniel (1999). "Mobile Computing and Databases-A Survey," IEEE Transactions on Knowledge and Data Engineering, Vol. 11, No. 1, January/February pp. 108-117.

Bardell, P.H., McAnney,W.H., and Savir, J. (1987). "Built-in Test for VLSI: Pseudo-random Techniques," John Wiley & Sons, New York.

Ben-Shaul, I., Gish, J., and Robinson, W. (1998). "An Integrated Network Component Architecture," IEEE Software, Vol. 15, No. 5.

Boehm, B. (1988). "A Spiral Model for Software Development and Enhancement," IEEE Computer, Vol. 21, No. 5, May, pp. 61-72.

Boehm, B. (1996). "Anchoring the Software Process," IEEE Software, Vol. 13, No. 4, July, pp. 73-82.

Boehm, B., Clark, C., Horowitz, E., Westland, C., Madachy, R., and Selby, R. (1995). "Cost Models for Future Life Cycle Processes: COCOMO 2.0," Annals of Software Engineering, Vol. 1, No. 1, pp. 57-94.

Boehm, B., Egyed, A., Kwan, J., Port, D., Shah, A., and Madachy, R. (1998). "Using the WinWin Spiral Model: A Case Study," IEEE Computer, July, pp. 33-44.

Bowen, J. and Dozier, G. (1996). "Constraint Satisfaction Using a Hybrid Evolutionary Hill-Climbing Algorithm That Performs Opportunistic Arc and Path Revision," Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, AAAI Press/ The MIT Press, Vol. 1, pp. 326-331,.

Bradshaw, J.M. (1997). Software Agents, AAAI Press & MIT Press.

Butler, K. (1995). "Deep Submicron: Is Test Up to the Challenge?" Proceedings of the International Test Conference, pp. 923.

Chan, T., Siu Leung, C., Teck, H. (1996). "An Economic Model to Estimate Software Rewriting and Replacement Times," IEEE Transactions on Software Engineering, Vol. 22, No. 8, pp. 580-598.

Chapman and Hwang (1996). "A Process-Algebraic Semantics for VHDL," Proceedings of the 1995 VHDL Forum in Europe, Shaker Verlag, pp. 157-168.

Chapman, Brown, and Leeser. (1992 ). "Verified High-Level Synthesis in BEDROC," Proceedings of the 1992 European Design Automation Conference, IEEE Press, pp. 59-63.

Coen, M.H. (1999). "The Future of Human-Computer Interaction, or How I Learned to Stop Worrying and Love My Intelligent Room," IEEE Intelligent Systems and Their Applications, March/April, Vol. 14, No. 2, pp. 8-10.

Cohen, P.R., Johnston, M., McGee, D., Oviatt, S., Pittman, J., Smith, I., Chen, L., and Clow, J. (1997). "QuickSet: Multimodal Interaction for Distributed Applications," Proceedings of the Fifth Annual ACM Multimedia Conference, (Seattle, WA, November 1997), ACM Press, pp. 31-40.

Cressler, J.D. (1998). "SiGe HBT Technology: A New Contender for Si-Based RF and Microwave Circuit Applications," IEEE Transactions on Microwave Theory and Techniques, Vol. 46, pp. 572-589.

Cross, J.H., Chang, K.H., and Hendrix, T.D. (1996). "GRASP/Ada95: Visualization with Control Structure Diagrams," CrossTalk Journal of Defense Software Engineering, Vol. 9, No. 1, pp. 27-45.

Cross, J.H., Chang, K.H., Hendrix, T.D., Chapman, R.O., and McQuaid, P.A. (1997). "Visualization and Measurement of Source Code," CrossTalk Journal of Defense Software Engineering, Vol. 10, No. 12.

Cross, J.H., Maghsoodloo, S., and Hendrix, T.D. (1998) "The Control Structure Diagram: An Overview and Initial Evaluation," Empirical Software Engineering, Vol. 3, No. 2, pp. 131-158.

Cross. J.H. and Hendrix, T.D. (1996). "Language Independent Program Visualization," Software Visualization, Vol. 7, Series on Software Engineering and Knowledge Engineering, P. Eades and K. Zhang (Eds.), World Scientific, pp. 27-45.

Doi, K., Hirano, N., Okada, T., Hiruta, Y., Sudo, T. and Mukai, M. (1995). "Prediction of Thermal Fatigue Life for Encapsulated Flip Chip Interconnections," Proceedings of ISHM ?5, pp. 247-252.

Dozier, G., Bowen, J., and Homaifar, A. (1998). "Solving Constraint Satisfaction Problems Using Hybrid Evolutionary Search," IEEE Transactions on Evolutionary Computation, Vol. 2, No. 1.

Dozier, G., Bowen, J., Homaifar, A., and Esterline, A. (1997). "Solving Randomly Generated Static and Dynamic Fuzzy Constraint Networks Using Microevolutionary Hill-Climbing," The International Journal of Intelligent Automation and Soft Computing, Vol. 3, No. 1.

Dozier, G., Esterline, A., Homaifar, A., and Bikdash, Marwan (1997). "Hybrid Evolutionary Motion Planning via Visibility-Based Repair," Proceedings of the 1997 IEEE International Conference on Evolutionary Computation, pp. 507-511.

Dozier, G., McCullough, S., Homaifar, A., Tunstel, E., and Moore, L. (1998). "Multiobjective Evolutionary Path Planning via Fuzzy Tournament Selection," Proceedings of the 1998 IEEE International Conference on Evolutionary Computation, pp. 684-689.

Eichelberger, E.B. and Williams, T.W. (1977). "A Logic Design Structure for LSI Testing," Proceedings of the 14th Design Automation Conference, June, pp. 462-468.

El-Halwagi, M.M. and Spriggs, H.D. (1998). "Mass Integration: Now a Comprehensive Methodology for Integrated Process Design, "Chem. Eng. Prog., August, pp. 22-44.

Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design Patterns: Elements of Object-Oriented Software Architecture, Addison-Wesley, Reading, MA.

Glasgow, J.I., Narayanan, N.H., and Chandrasekaran, B. (Eds.) (1995). Diagrammatic Reasoning: Cognitive and Computational Perspectives, MIT Press, Boston, MA and AAAI Press, Menlo Park, CA.

Grossmann, I.E., Editor (1996). "Global Optimization in Engineering Design," Kluwer Academic Publishers, Dordrecht, The Netherlands.

Guckel, H. (1992). "Micromechanism Fabrication: A Challenge in Micro-mechanics and Microelectronics," Plenary Address, Digest of Technical Papers, IEEE International Solid-State Circuits Conference, February, pp. 14-17, .

Hansen, S.R., Schrimpsher, D. and Narayanan, N.H. (1999). "From Algorithm Animations to Animation-embedded Hypermedia Visualizations," to appear in Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA'99), Association for the Advancement of Computing in Education.

Hegarty, M., Quilici, J., Narayanan, N.H., Holmquist, S., and Moreno, R. (1999). "Multimedia Instruction: Lessons from Evaluation of a Theory-based Design," to appear in the Journal of Educational Multimedia and Hypermedia, Association for the Advancement of Computing in Education.

Hendrix, T.D. and Cross J.H. (1998). "Graphics and Animation for Software Visualization," National Forum, Vol. 78, No. 4, pp. 22-25.

Hendrix, T.D. and Schneider, M.P. (1999). "A Case Study in Using the Spiral Model of Software Development," Communications of the ACM, (to appear).

Hu, K.X., Yeh, C.P., Doot, B., Skipor, A.F., and Wyatt, K.W. (1995). "Die Cracking in Flip-Chip-on-Board Assembly," Proceedings of the 45th Electronic Components and Technology Conference, pp. 293-304.

Hwang (1996). "Using Untimed CSP to Formally Verify Compilation of VHDL for High Level Synthesis," Auburn University Ph.D. thesis.

Imielinski, T. and Badrinath, B.R. (1994). "Mobile Wireless Computing,'' Communications of the ACM, Vol. 37, No 10, October.

JATLite (1999). http://java.stanford.edu/JATLiteOverview.htm

Joseph, A., et al. (1995). "Rover: A Toolkit for Mobile Information Access," Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December pp. 156-171.

Kafura, D. and Reddy, G. (1987). "The Use of Software Complexity Metrics in Software Maintenance," IEEE Transactions on Software Engineering, Vol. 13, No. 3, pp. 335-343.

Klienrock, L., (1996). "Nomadicity: Anytime, Anywhere in a Disconnected World," Mobile Networks and Application, Vol. 1, No. 4, pp. 351-357.

Lau, J. H. (1996). Flip Chip Technologies, McGraw-Hill.

Lau, J.H. and Pao, Y.H. (1997). "Solder Joint Reliability of Flip Chip Assemblies," in Solder Joint Reliability of BGA, CSP, Flip Chip, and Fine Pitch SMT Assemblies, McGraw-Hill, pp. 219-296.

Leeser, Chapman, Aagaard, Linderman, and Meier. (1992 ). "High Level Synthesis and Generating FPGA with the BEDROC System," Journal of VLSI Signal Processing, Kluwer Academic Publishers, Vol. 6, No. 2, pp. 193-216.

Lefurgy, Bird, Chen, and Mudge (1998). "Improving Code Density Using Compression Techniques." Proceedings of Thirtieth Annual Symposium on Microarchitecture, IEEE Press, pp. 194-203.

Lieberman, H. (1995). "Letizia: An Agent That Assists Web Browsing," Proceedings of the 1995 International Joint Conference on Artificial Intelligence, Montreal, Canada, August.

Lions, J., et al. (1996). Ariane 5 Flight 501 Failure: Report by the Inquiry Board. European Space Agency.

Maes, P. (1994). "Modeling Adaptive Autonomous Agents," Artificial Life Journal, C. Langton, (Ed.), MIT Press,Vol. 1, No. 1 & 2.

Mozer, M.C. (1999). "An Intelligent Environment Must Be Adaptive," IEEE Intelligent Systems and Their Applications, March/April, Vol. 14, No. 2, pp. 11-13.

Murphy, G.C., Notkin, D., and Lan, E. (1996). "An Empirical Study of Static Call Graph Extractors," Proceedings of the 18^th International Conference on Software Engineering, March.

Nguyen, C. T-C., Wong, A-C., and Ding, H. (1999). "Tunable, Switchable, High-Q VHF Microelectromechanical Bandpass Filters," Digest of Technical Papers, IEEE International Solid-State Circuits Conference, February, pp. 78-79, .

Nguyen, L.T., Chen, A.S., and Lo, R.Y. (1995). "Interfacial Integrity in Electronic Packaging," Application of Fracture Mechanics in Electronic Packaging and Materials, EEP-Vol. 11, pp. 35-44, ASME.

Niu, G., et al. (1999). "Intermodulation Characterisitics of UHV/CVD SiGe HBTs," to be presented at the 1999 IEEE Bipolar/BiCMOS Circuits and Technology Meeting, September.

Niu, G., et al. (1999). "RF and Microwave Noise Optimization of UHV/CVD SiGe HBTs," to be presented at the 1999 IEEE Bipolar/BiCMOS Circuits and Technology Meeting, September.

Noureldin, M.B. and El-Halwagi, M.M. (1998). "A Short-cut Approach to Integrated Process Design and Operation," Proceedings of AIChE Spring Meeting, New Orleans, March.

NTRS (1997). National Technology Roadmap for Semiconductors, Semiconductor Industry Association.

Oviatt, S.L. (1997). "Multimodal Interactive Maps: Designing for Human Performance," Human-Computer Interaction, pp. 93-129.

Oviatt, S.L., "Ten Myths of Multimodal Interaction," Communications of the ACM.

Perkins, C. and Johnson, D. (1996). "Mobility Support in IPv6," ACM Int. Conference. on Mobile Computing and Networking, November.

Perkins, J., (1999). "Process Design and Control: Old Challenges and New Opportunities," Proceedings of International Conference on Process Integration, International Energy Agency/Nordic Pub., Copenhagen, Denmark, Vol. I, pp. 131-144.

Perry, D. and Wolf, A. (1992). "Foundations for the Study of Software Architecture," ACM SIGSOFT - Software Engineering Notes, Vol. 17, ACM Press New York, pp. 40-52.

Rhodes, B.J. (1996). "Remembrance Agent: A Continuously Running Automated Information Retrieval System," Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi Agent Technology, London, UK, April, pp. 487-495.

Royce, W.W. (1970). "Managing the Development of Large Software Systems: Concepts and Techniques," Proceedings of WESCON, August.

Russel, S. and Wefald, E. (1991). Do the Right Thing: Studies in Limited Rationality, MIT Press, Cambridge, MA.

Samueli, H. (1999). "Broadband Communications Ics: Enabling High-Bandwidth Connectivity in the Home and Office," Plenary Address, Digest of Technical Papers, IEEE International Solid-State Circuits Conference, February, pp. 26-30,.

Samueli, H. (1999). "Broadband Communications ICs: Enabling High-Bandwidth Connectivity in the Home and the Office," Digest of Technical Papers, IEEE International Solid-State Circuits Conference, pp. 26-30.

Sannella, M. (1994). "SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction," Proceedings of the ACM Symposium on User Interface Software and Technology, ACM Press, pp. 137-146.

Satyanarayanan, M., et al. (1993). "Experience with Disconnected Operation in a Mobile Environment," Proceedings of the USENIX Symposium on Mobile and Location Independent Computing, August.

Sawhney, N. and Schmandt, C. (1999). "Nomadic Radio: Scaleable and Contextual Notification for Wearable Audio Messaging," Proceedings of the ACM Conference on Human Factors in Computing Systems, Pittsburgh, May.

Shaikh, A., Juth, S., Medl, A., Marsic, I., Kulikowski, C., and Flanagan, J.L. (1997). "An Architecture for Fusion of Multimodal Information, "Proceedings of the Workshop on Perceptual User Interfaces, Banff, Alberta, Canada, October, pp. 91-93.

Shaw, M. and Garlan, D. (1996). Software Architecture Perspectives on an Emerging Discipline. Prentice-Hall.

Sogomonyan, E., Singh, A.D., and Goessel, M. (1999). "A Multi-Mode Scannable Memory Element for High Test Efficiency and Delay Testing," to appear in JETTA: Journal of Testing and Test Applications, July. (Also in Proceedings of the 1998 IEEE VLSI Test Symposium, April, 1998, pp. 235-42.).

Stroud, C.E. (1988). "Automated BIST for Sequential Logic Synthesis," IEEE Design and Test of Computers, December, pp. 22-32.

United States Department of Defense (1994). Military Standard: Software Development and Documentation, MilStd-498. Washington, DC, DoD.

Vaidyanathan, R. and El-Halwagi, M.M. (1994). "Global Optimization of Nonconvex Nonlinear Programs via Interval Analysis, "Comp. Chem. Eng., 18(10), pp. 889-897.

Voas, J. and Miller, K. (1995). "Software Testability: The New Verification." IEEE Software, Vol. 12, No. 3, May, pp. 17-28.

von Mayrhauser, A., and Vans, A.M. (1993). "From Program Comprehension to Tool Requirements for an Industrial Environment," Proceedings of the Second Workshop on Program Comprehension, Capri, Italy, July, pp. 55-63.

von Mayrhauser, A., and Vans, A.M. (1996). "Identification of Dynamic Comprehension Processes During Large Scale Maintenance," IEEE Transactions on Software Engineering, 22, 6, pp. 424-437.

Weyuker, E. (1998). "Testing Component-Based Software: A Cautionary Tale." IEEE Software, Vol.15, No. 5, pp. 54-59.

Williams, R., et al. (1981). "R*: An Overview of the Architecture," IBM Research Report RJ3325, IBM Research Laboratory, San Jose, Calif.

Wu, T.Y. and Thiel, G.H. (1995). "Fracture Toughness of Flip-Chip Encapsulants," Application of Fracture Mechanics in Electronic Packaging and Materials, EEP-Vol. 11, pp. 205-210, ASME.

Yang J., Stiefelhagen, R., Meier, U., and Waibel, Alex, (1998). "Visual Tracking for Multimodal Human Computer Interaction," Proceedings of ACM Human Factors in Computing Systems Conference, ACM Press, pp. 140-147.