Conference Publications - University of Pittsburgh Computer Science

Conference Publications
Contents
2002 Publications 2000 Publications 1999 Publications 1998 Publications 1997 Publications 1996 Publications 1995 Publications 1994 Publications 1993 Publications 1992 Publications
2002
Brustoloni, J., "Protecting Electronic Commerce from Distributed Denial-of-Service Attacks," in Proceedings of the 11th International World Wide Web Conference (WWW2002), ACM, Honolulu, HI, May 2002, pp. 553-561.
2000
Alrabiah, T. and Znati, T., "On QoS multicasting performance in wide area networks," Proc. Advanced Simulation Technologies Conf. 2000, 33rd Annual Simulation Symp., Washington D.C, April 16-20, 2000. Albacete, P.L. and VanLehn, K., "The conceptual helper: An intelligent tutoring system for teaching fundamental physics concepts," 5th Int'l Conf. Intelligent Tutoring Systems, Gauthier, Frasson, VanLehn (eds.), Springer, lecture notes in Computer Science, Montreal Canada, Vol. 1839, pp. 564-573. Aronis, J., Cooper, G.F., Find, M., "A retrospective study of the effect of a prognostic model on the hospital admission decision for patients with low risk community-acquired pneumonia," Proc. American Medical Informatics Assoc. 2000 Annual Symp. Aydin, H., Melhem, R., and MossÈ, D., "Tolerating faults while maximizing reward," Proc. 12th Euromicro Conf. Real-time Systems, Stockholm, Sweden, June 2000. Berztiss, A.T., "Transactions, processes, and modularization," Information Systems Engineering: State of the Art and Research Themes, Brinkkemper, S., Lindenkrona, E., and Solvberg, A. (eds.), Springer, 2000, pp. 171-182. Berztiss, A.T., "Information and semiotics," Decision Support through Knowledge Management, Carlsson, S.A. and others (eds.), IFIP, 2000, pp. 31-45. Berztiss, A.T., "Domain analysis and queries in context," Proc. 5th Int'l Conf. Application Natural Language to Information Systems, Lecture Notes in Computer Science, Bouzeghoub, M., Kedad, Z. and MÈtais, E. (eds.), Springer, 2000, to appear. Berztiss, A.T., "Coordination of distributed workflows," Proc. Workshops 11th Database and Expert Systems Applications, DEXA'00, IEEE CS Press, 2000, to appear. Berztiss, A.T., "A flexible requirements process," Proc. Workshops 11th Database and Expert Systems Applications, DEXA'00, IEEE CS Press, 2000, to appear. Berztiss, A.T., "Usage anomalies and internationalization," Proc. Workshops 11th Database and Expert Systems Applications, DEXA'00, IEEE CS Press, 2000, to appear. Blott, S., Brustoloni, J. and Martin, C., "NetTap: An Efficient and Reliable PC-Based Platform for Network Programming," in Proceedings of the Third Conference on Open Architectures and Network Programming (OPENARCH'2000), IEEE, Tel Aviv, Israel, Mar. 2000, pp. 13-22. Brustoloni, J., Gabber, E., Silberschatz, A., and Singh, A., "Signaled Receiver Processing," in Proceedings of the 2000 USENIX Annual Technical Conference, USENIX, San Diego, CA, June 2000, pp. 211-223. Brustoloni, J. and Garay, J., "Application-Independent End-to-End Security in Shared-Link Access Networks," in Proceedings of the Networking'2000 Conference, IFIP, Paris, France, Lecture Notes in Computer Science, 1815:608-619, Springer-Verlag, May 2000. Chiarulli, D.M., Levitan, S.P., Robinson, M., and Cryan, C., "Optoelectronic multi-chip modules based on imaging fiber bundle structures," Optics in Computing, OC 2000, Quebec City, Canada, June 18-23, 2000. Childers, B. and Davidson, J., "An infrastructure for designing custom embedded counterflow pipelines," Proc. 33rd Annual Hawaii Int'l. Conf. on System Sciences, Wailea, Hawaii, Jan. 3-7, 2000. Childers, B. and Nakra, T., "Reordering memory bus transactions for reduced power consumption," ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, Vancouver, Canada, June 18-21, 2000. Dong, L., Melhem, R., and MossÈ, D., "Scheduling algorithms for dynamic message streams with distance constraints in TDMA protocols," Proc. 12th Euromicro Conf. Real-time Systems, Stockholm, Sweden, June 2000. Gertner, A. and VanLehn, K., "Andes: A coached problem solving environment for physics," 5th Int'l Conf. Intelligent Tutoring Systems, Gauthier, Frasson, VanLehn (eds.), Springer, lecture notes in Computer Science, Montreal, Canada, 2000, Vol. 1839, pp. 133-142. Gupta, N., Mathur, A., and Soffa, M.L., "Generating test data for branch coverage," 15th IEEE Int'l Conf. Automated Software Engineering, ASE'2000, Grenoble, France, Sept. 2000. Jaramillo, C., Gupta, R., and Soffa, M.L., "FULLDOC: A full reporting debugger for optimized code," Int'l Static Analysis Symp., LNCS, Springer Verlag, Santa Barbara, CA, June-July 2000. Kalyanasundaram, B., Noga, J., Pruhs, K., and Woeginger, G., "Caching for web searching," Scandinavian Workshop on Algorithms and Theory, SWAT, July 2000. Kalyanasundaram, B., Pruhs, K., and Velauthapillai, M., "Scheduling broadcasts in wireless networks," European Symp. Algorithms, ESA, Sept. 2000. Kurzweg, T.P., Levitan, S.P., Martinez, J.A., Marchand, P.J., and Chiarulli, D.M., "Diffractive optical propagation techniques for mixed-signal CAD tools," Optics in Computing, OC 2000, Quebec City, Canada, June 18-23, 2000. Kurzweg, T.P., Levitan, S.P., Shomsky, M.T., Chiarulli, D.M., and Marchand, P.J., "Optical propagation methodologies for optical MEM systems," 3rd Int'l Conf. Modeling and Simulation of Microsystems, MSM2000, San Diego, CA, Mar. 27-29, 2000. Levitan, S.P., Martinez, J.A., Kurzweg, T.P., Chiarulli, D.M., and Marchand, P.J., "Mixed-technology system-level simulation," Design Test Integration and Packaging of MEMS/MOEMS, DTIP 2000, Paris, France, May 9-11, 2000. Levitan, S.P., Martinez, J.A., Kurzweg, T.P., Shomsky, M.T., Marchand, P.J., and Chiarulli, D.M., "Modeling and simulation of mixed technology micro systems," Southwest Symp. Mixed-Signal Design, SSMSD'2000, San Diego, CA, Feb. 27-29, 2000. Levitan, S.P., Martinez, J.A., Marchand, P.J., and Chiarulli, D.M., "Simulations for free-space interconnects," Integrated Photonics Research Topical Meeting, IPR 2000, Quebec City, Canada, July 12-15, 2000. Magoutis, K., Gabber, E., Brustoloni, J., Ng, W., and Silberschatz, A., "Building Appliances out of Components using Pebble," in Proceedings of the 9th SIGOPS European Workshop, ACM, Kolding, Denmark, September 2000, pp. 211-216. Matsuda, N. and VanLehn, K., "A reification of a strategy for geometry theorem proving," 5th Int'l Conf., Intelligent Tutoring Systems, Gauthier, Frasson, VanLehn (eds.), Springer, lecture notes in Computer Science, Montreal, Canada, Vol. 1839, pp. 660. McDonald, A.B. and Znati, T., "A dual-hybrid adaptive routing strategy for wireless ad-hoc networks," Proc. IEEE Wireless Communication and Networking Conf., WCNC'2000, Chicago, IL. Sept. 23-28, 2000, to appear. McDonald, A.B. and Znati, T., "Predicting node proximity in ad-hoc networks: A least overhead adaptive model for electing stable routes," Proc. MobiHoc 2000, to appear. Mejia-Alvarez, P., Melhem, R., and MossÈ, D., "An incremental approach to scheduling during overloads in real-time systems," Real-Time Systems Symp., Dec. 2000. Memon, A., Pollack, M.E., and Soffa, M.L., "Plan generation for GUI testing," 5th Int'l Conf. Artificial Intelligence Planning and Scheduling, Brackenridge, CO, April 14-19, 2000. Memon, A., Pollack, M.E., and Soffa, M. L., "Automated test oracles for GUIs," 8th Int'l Symp. Foundations of Software Engineering, FSE2000, San Diego, CA, Nov. 6-10, 2000. Moir, M., "Laziness Pays! Using lazy synchronization mechanisms to improve non-blocking constructions," Proc. 19th Annual ACM Symp. Principles of Distributed Computing, Portland, OR, July 2000, to appear. Murray, R.C. and VanLehn, K., "DT Tutor: A decision-theoretic, dynamic approach for optimal selection of tutorial actions," 5th Int'l Conf, Intelligent Tutoring Systems, Gauthier, Frasson, VanLehn (eds.), Springer, lecture notes in Computer Science, Montreal, Canada, 2000, Vol. 1839, pp. 153-162. Okumura, T., Moir, M., and MossÈ, D., "Netnice: Nice is not only for CPUs; A simple subnetwork bandwidth management scheme," Int'l Conf. on Computer Communications and Networks, ICCCN'00, Oct. 2000. Papastavrou, S., Chrysanthis, P.K., Samaras, G., and Pitoura, E., "A survey of the java based approaches for web databases access," Proc. 10th IEEE Mediterranean Electrotechnical Conf., Cyprus, Greece, May 2000. Papastavrou, S., Chrysanthis, P.K., Samaras, G., and Pitoura, E., "An evaluation of the java-based approaches to web database access," Proc. IFCIS/VLDB Cooperative Information Systems, Israel, Sept. 2000. Saksena, M., Karvelas, P., and Wang, Y., "Automatic synthesis of multi-tasking implementations from real-time object-oriented models," Proc. Int'l Symp. Object-Oriented Real-Time Distributed Computing, to appear. Shih., T., Shih, P., and Chang, S.K., "A Web Document Development Paradigm and its Supporting Environment," DMS'99, to appear. Siripongwutikorn, P., Labrador, M.A., and Znati, T., "A wireless-aware packet dropping policy for ATM networks," Proc. Communication Networks, Distributed Systems Modeling and Simulation Conf., CNDS '2000, San Diego, CA, Jan. 2000. Treu, S., "Human-computer interaction styles and structures: An overview of progress from bush to the web," 4th World Multiconference on Systemics, Cybernetics and Informatics, SCI 2000, July 2000, to appear. Tsamardinos, I., Pollack, M.E., and Horty, J.F., "Merging plans with quantitative temporal constraints, temporally extended actions, and conditional branches," Proc. 5th Int'l Conf. AI Planning Systems, to appear. VanLehn, K., Freedman, R., Jordan, P., Murray, C., RosÈ, C. P., Schulze, K., Shelby, R., Treacy, D., Weinstein, A., and Wintersgill, M., "Fading and deepening: The next steps for andes and other model-tracing tutors," 5th Int'l Conf. Intelligent Tutoring Systems, Gauthier, Frasson, and VanLehn (eds.), Springer, Lecture notes in Computer Science, Montreal, Canada, 2000, Vol. 1839, pp. 474-483.
1999
Al-Houmaily, Y.J., and Chrysanthis, P.K., "Atomicity with Incompatible Presumptions," In Proceedings of the 8th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systmes, Phildelphia, PA, June, 1999. Aljadhai, A. and T. Znati, "A Framework for Call Admission Control and QoS Support in Wireless Environments", IEEE INFOCOM, New York, New York, March 1999. Aljadhai, A. and T. Znati, "A Predictive Adaptive Scheme to Support QoS Guarantees in Multimedia Wireless Networks", IEEE ICC, Vancouver, Canada, June 1999. Anderson, J., and Moir, M., "Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priorty-Based and Quantum-Based Scheduling," Proceedings of the 18th Annual ACM Symposium on the Principles of Distributed Computing, Atlanta, GA, May 1999. Aydin, H., Mejia-Alvarez, P., Melhem, R., and Moss'e, D., "Optimal Reward-Based Scheduling of Periodic Real-Time Tasks," In Proceedings of the Real-Time System Symposium RTSS, Pheonix, AZ (December 1999) Aydin, H., Melhem, R., and Moss'e, D., "Incorporating Error Recovery into the Imprecise Computation Model," In Proceedings of the International Conference on Real-Time Computing Systems and Applications, RTCSA'99, Hong-Kong, (December 1999) Berztiss, A., "Transactional Computation," Database and Expert Systems Applications (DEXA '99), , pp. 822-831, 1999 Berztiss, A., "Concepts, Objects, and Domains," Information Modcelling and Knowledge Bases X, pp. 80-89, 1999 Berztiss, A., "Contexts, Domains, and Software," Modeling and Using Context (Context '99), pp. 443-446, 1999. Berztiss, A., "Should Data Base Integrity Constraints be Global or Local," Proceedings of the Workshop on Futures in Information Systems and Software Engineering Research, University of Stockholm, 1999 Berztiss, A., "Concept Spaces and Queries in Context," Question Answering Systems -- Papers from the AAAI Fall Symposium, pp. 19-25, 1999. Bodik, R., R. Gupta, and M.L. Soffa, "Load-Reuse Analysis: Design and Evaluation," ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999. Bruno, J., Brustoloni, J., Gabber, E., Ozden, B. and Silberschatz, A., "Retrofitting Quality of Service into a Time-Sharing Operating System," in Proceedings of the 1999 USENIX Annual Technical Conference, USENIX, Monterey, CA, June 1999, pp. 15-26. Bruno, J., Brustoloni, J., Gabber, E., Ozden, B. and Silberschatz, A., "Disk Scheduling with Quality of Service Guarantees," in Proceedings of the IEEE International Conference on Multimedia Computing and Systems (ICMCS'99), IEEE, Florence, Italy, June 1999, vol. II. Bruno, J., Brustoloni, J., Gabber, E., Silberschatz, A. and Small, C., "Pebble: A Component-Based Operating System for Embedded Applications," in Proceedings of the Workshop on Embedded Systems, USENIX, Cambridge, MA, March 1999. Brustoloni, J., "Interoperation of Copy Avoidance in Network and File I/O," in Proceedings of the INFOCOM'99 Conference, IEEE, New York, NY, March 1999, pp. 534-542. Brustoloni, J., Gabber, E., Silberschatz, A., and Singh, A., "Quality of Service Support for Legacy Applications," in Proceedings of the 9th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV'99), Basking Ridge, NJ, June 1999, pp. 3-11. Chang, S.K., Gharib, H., and Chen, P.W., "Naming Service in the Distributed Object Environment for Adlets," In Proceedings of the 1999 IEEE Workshop on Object-oriented Real-Time Distributed Systems (WORDS), Deytona Beach, CA, January, 1999. Chang, S.K., "Perspectives in Multimedia Software Engineering," Proceedings of the 1999 IEEE Conference on Multimedia Computing and Systems, Florence, Italy, June 1999. Chang, S.K., Arndt, T., and Guercio, A., "Formal Specification and Prototyping of Multimedia Application," Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Kaiserslautern, Germany, June 16 - 19, 1999, pp 44-51. Chrysanthis, P.K., Znati, T.F., Banerjee, S., and Chang, S.K., "Establishing Virtual Enterprises by Means of Mobile Agents," In Proceedings of the Research Issues in Data Engineering Workshop, Sydney, Australia, pp. 116-125, March, 1999. Conati C., and VanLehn K., "Teaching Meta-Cognitive Skills: Implementation and Evaluation of a Tutoring System to Guide Self-Explanation While Learning From Examples", Proceedings of AIED '99, 9th World Conference of Artificial Intelligence and Education", LeMan, France, Winner of the "Outstanding Paper" Award. (1999) Conati C., and VanLehn K., "A Student Model to Assess Self-Explanation While Learning from Examples," Proceedings of UM'99, 7th International Conference on User Modeling, Banff, Canada (1999) Dong, L., Ghosh, S., Melhem, R., Moss'e D., and Heimerdinger, W., "FTRTMach and DEOS: A Tech Transfer Approach," Real-Time Technology and Applications Symposium, RTAS'99, 1999 Dong, L., Melhem, R., Ghosh, S., Heimerdinger, W., and Larson, A., "Implementation of a Transient Fault-Tolerance Scheme on DEOS," In Proceedings of the Real-Time Technology and Application Symposium, RTAS, Vancover, Canada (June 1999) Gabber, E., Small, C., Bruno, J., Brustoloni, J. and Silberschatz, A., "The Pebble Component-Based Operating System," in Proceedings of the 1999 USENIX Annual Technical Conference, USENIX, Monterey, CA, June 1999, pp. 267-281. Gupta, N., Mathur, A., and Soffa, M.L., "UNA Based Iterative Test Data Generation and its Evaluation," Proceedings of the IEEE Automated Software Engineering Conference, October 12-15, 1999. Gupta, R. and R. Bodik, "Register Pressure Sensitive Redundancy Elimination," International Conference on Compiler Construction, LNCS, Springer Verlag, Amsterdam, Netherlands, March 1999. Hoymani, F., and Moss'e D., "Virtual Channel Management in ATM Networks," GlobeCom, December 1999. Jaramillo, C., Gupta, R., and Soffa, M.L., "Comparison Checking: An Approach to Avoid Debugging of Optimized Code," The Joint 7th European Software Engineering Conference (ESEC) and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Toulouse, France, September, 1999. Kalyanasundaram, B. and K. Pruhs, "Eliminating Migrations in Multi-Processor Scheduling," SIAM Symposium on Discrete Algorithms, Baltimore, Maryland, January 1999. "Kang, D-In., Gerber, R., Golubchik, L., Hollingsworth, J., and Saksena, M., "A Software Syntheis Tool for Distributed Embedded System Design," ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, May 1999. Keane, P., and Moir, M., "A Simple, Local-Spin Group Mutual Exclusion Algorithm," Proceedings of the 18th Annual ACM Symposium on the Principles of Distributed Computing, Atlanta, GA, May, 1999. Kim, Sungjin and T. Znati, "Adaptive Handoff Channel Management Schemes for Cellular Mobile Communication Systems" IEEE International Conference on Communications, Vancouver, Canada, June 1999. Kott, A., Pollack, M.E., and Krogh, B., "The Situation Assessment Problem: Towards a Research Agenda," DARPA Symposium on Advances in Enterprise Control, November 1999. Liberato, F., Lauzac, S., Melhem, R., and Moss'e, D., "Global Fault Tolerant Real-Time Scheduling on Multiprocessors," In Proceedings of the 10th IEEE Euromicro Real-Time Workshop, York, UK (June 1999) Mazumdar, S., and Chrysanthis, P.K., "Achieving Consistency in Mobile Databased Through Localization in PRO-MOTION," In Proceedings of the 2nd DEXA International Workshop on Mobility in Databases and Distributed Systems, pp. 82-89, Florence, Italy, September, 1999. Mejia-Alvarez, P., and Moss'e D., "Responsiveness Appraoch for Scheduling Fault Recovery Operations in Real-Time Systems," Real-Time Technology and Applications Symposium, RTAS'99, 1999 Menke, S., and Moir, M., "Experiences with Blocking and Non-Blocking Synchronization Mechanisms in SCRAMNet+ Systems," Proceedings of the 8th Annual Workshop on Scalable Shared-Memory Multiprocessors, Atlanta, GA, May 1999. Moir, M., and Ramamurthy, S., "Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources," Proceedings of the 21st Annual IEEE Real-Time Systems Symposium, Phoenix, AZ, December 1999. Memom, A., Pollack, M., and Soffa, M.L., "Using a Goal-driven Approach to Generate Test Cases for GUI's" Interantional Conference on Software Engineering, Los Angeles, May 19-21, 1999. Nakra, T., R. Gupta, and M.L. Soffa, "Value Prediction in VLIW Machines," ACM/IEEE 26th International Symposium on Computer Architecture, Atlanta, Georgia, May 1999. Nakra, T., R. Gupta, and M.L. Soffa, "Global Context-based Value Prediction," Fifth International Symposium on High Performance Computer Architecture, Orlando, Florida, January 1999. Oh, J., and Moss'e D., "Teaching Real Time OSs with DORITOS," SIG Computer Science Education Technical Symposium SIGCSE'99, March 1999 Onder, N., and Pollack, M.E., "Conditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms," Proceedings of the 16th National Conference on Artificial Intelligence (AAAI'99), July, 1999. Pitoura, E., and Chrysanthis, P.K., "Expoliting Versions for Handling Updates in Broadcase Disks," In Proceedings of the 25th International Conference on Very Large Data Bases, pp.114-125, Edinburgh, Scotland, September, 1999. Pitoura, E., and Chrysanthis, P.K., "Scalable Processing of Read-Only Transactions in Broadcast Push," In Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, Austin, TX, June, 1999. Pollack, M.E., and McCarthy, C., "Towards Focused Plan Monitoring: A Technique and an Application to Mobile Robots," IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), November 1999. Pollack, M.E., Tsamardinos, I., and Horty, J.F., "Adjustable Autonomy for a Plan Management Agent," AAAI Spring Symposium on Adjustable Autonomy, Stanford, CA, March, 1999. Ramirez, J., and Melhem, R., "Reducing Message Overhead in TMR Systems," In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS'99), Dallas, TX (June 1999) Ronen, Y., Moss'e, D., and Pollack, M., "Value-Density Algorithms to Handle Transient Overloads in Scheduling," European Conference of Real-Time Systems, June 1999 Treu, S., "Comprehensive, Systematic Methodology in the Design and Evaluation of Human-Computer Interfaces," Third World Multiconference on Systemics, Cybernetics and Informatics (SCI'99), Orlando, FL, July 31 - August 4, 1999, pp. 266-273. Vagish, A., Znati, T., and Melhem R., "Per-Node Delay Assignment Strategies for Real-Time High Speed Networks," In Proceedings of the Global Communications Conference, GLOBECOM, Rio De Janeiro, Brazil (December 1999) Walborn, G.D., and Chrysanthis, P.K., "Transaction Processing in PRO-MOTION," In Proceedings of the 14th ACM Annual Symposium on Applied Computing San Antonio, TX, February, 1999. Wang, Y., and Saksena M., "Scheduling Fixed-Priority Tasks with Preemption Threshold," Proceedings of the International Conference on Real-Time Computing Systems and Applications, December, 1999. Yuan, X., R. Gupta and R. Melhem ``Compiler Analysis to Support Compiled Communication for HPF-like Programs,'' 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, April 1999. Znati, T. and T. Alrabiah and R. Melhem, "Point-to-Multipoint Path Establishment Schemes To Support Multicasting in WDM Networks", 3rd Working Conference Optical Network Design and Modeling, Paris, France, February 1999.
1998
Alrabiah, T. and T. Znati, "SELDOM: A Simple and Efficient Low-cost, Delay-bounded, Online Multicasting", Pages 95-113, High Performance Networking, Vienna, Austria, September 1998. Alrabiah, T. and T. Znati, "Low-Cost, Bounded-Delay Multicast Routing for QoS-Based Networks", pages 304-311, Seventh International Conference on Computer Communications and Networks, Lafayette, Louisiana, October 1998. Banerjee, S., and Chrysanthis, P.K., "Network Latency Optimizations in Distributed Database Systems," Proceedings of the 13th International Conference on Data Engineering, pp. 532-540, February, 1998. Berson, D., R. Gupta, and M.L. Soffa, "An Evaluation of Integrated Scheduling and Register Allocation Techniques," Eleventh International Workshop on Languages and Compilers for Parallel Computing, North Carolina, Chapel Hill, August 1998. Bodik, R., R. Gupta and M.L. Soffa, "Complete Removal of Redundant Computations," ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-14, Montreal, Canada, June 1998. Brustoloni, J. and Steenkiste, P., "User-Level Protocol Servers with Kernel-Level Performance," in Proceedings of the INFOCOM'98 Conference, IEEE, San Francisco, CA, March 1998, pp. 463-471. Chang, S.K. and T. Znati, "Adlet: A Theory of Active Documents", Proc. of IEEE Workshop on Multimedia Database Systems, August 1998. Chang, S.K. and Znati, T., "Fusion of Multimedia Information," Keynote, Proceedings of the Interanational Workshop on Multimedia Data Base Management Systems (IW-MMDBMS'98), Dayton, Ohio, August 5-7, 1998, pp. 2-9 Dong, L., R. Melhem and D. Mosse, "Time Slot Allocation for Real-time Messages with Negotiable Distance Constrains Requirements," The Real-time Technology and Application Symposium, Denver, CO. (June 1998). Gertner, A., Conati, C., and VanLehn, K., "Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model," Proceedings of the Fifteenth National Conference on Artificial Intelligence AAAI'98, Cambridge, MA pp. 106-111 1998 Gupta, N., Mathur, A., and Soffa, M.L., "Automated Test Data Generation Using an Iterative Method," Sixth ACM SIGSOFT Symposium on Foundations of Software Engineering, Orlando, FL, November 2-5, 1998. Gupta, R., "A Code Motion Framework for Global Instruction Scheduling," International Conference on Compiler Construction, LNCS 1383, Springer Verlag, pages 219-233, Lisbon, Portugal, March 1998. Gupta, R., D. Berson, and J.Z. Fang, "Path Profile Guided Partial Redundancy Elimination Using Speculation," IEEE International Conference on Computer Languages, pages 230-239, Chicago, Illinois, May 1998. Horty, J. and M.E. Pollack, "Plan Management Issues for Cognitive Robotics: Project Overview," AAAI Fall Symposium on Cognitive Robotics, Orlando, FL, October 1998. Horty, J. F. and Pollack, M. E., "Option Evaluation in Context," Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, Chicago, IL, July, 1998 Hoymani, F. and D. Moss'e, "A Simulation Study of Packet Forwarding Methods over ATM: SBR Evaluation," InfoCom, San Francisco, April 1998. Jaramillo, C., R. Gupta, and M.L. Soffa, "Capturing the Effects of Code Improving Transformations," International Conference on Parallel Architectures and Compilation Techniques, pages 118-123, Paris, France, October 1998. Kalyanasundaram, B. and K. Pruhs, "Maximizing Job Completions Online," European Symposium on Algorithms, Venice, Italy, September 1998. Kim, Sungjin and T. Znati, "Handoff Channel Management Schemes for Cellular Mobile Communication Systems", Communication Networks And Distributed Systems Modeling And Simulation Conference, San Diego, California, January 1998. Komandur, S., J. Crowcroft, D. Moss'e, "CRAM: Cell Re-labelling at Merge-points for ATM Multicast," IEEE International Conference on ATM, Colmar, France, 1998. Komandur, S., Doar, M., and Moss'e, D., "The Domainserver Hierarchy for MulticastRouting in ATM Networks," 6th IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, July 1998. Lauzac, S., R. Melhem and D. Mosse, "An Efficient RMS Admission Control and its Application to Multiprocessor Scheduling", The International Parallel Processing Symposium, Orlando, FL., March 1998. Lauzac, S., R. Melhem and D. Mosse, "Comparison of Global and Partitioning Schemes for Scheduling Rate Monotonic Tasks on a Multiprocessor," The 10th IEEE Euromicro Real-Time Workshop, Berlin, Germany, June 1998. Liang, W., J. Han and S. K. Chang, "An Adaptive Multi-Level Diagnostic System for Multimedia Information Fusion", International Workshop on Distributed Multimedia Systems, Taipei, Taiwan, July 23-25, 1998. Menke, S., Moir, M., and Ramamurthy, S., "Synchronization Mechanisms for SCRAMNet+ Systems," Proceedings of the 16th Annual Symposium on the Principles of Distributed Computing, Puerto Vallarta, Mexico, July, 1998. Mishra, P.P. and Saksena, M., "Effect of Gateway Buffer Management Policies on TCP over ATM Performance," In Proceedings of the International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), July 1998. Mishra, P.P., and Saksena, M., "Designing Buffer Management Policies at an IP/ATM Gateway," In Proceedings of the IEEE ATM 1998 Workshop, May, 1998. Onder, S. and Gupta, R., "Superscalar Execution with Direct Data Forwarding," International Conference on Parallel Architectures and Compilation Techniques, pages 130-135, Paris, France, October 1998. Onder, S. and Gupta, R., "Automatic Generation of Microarchitecture Simulators," IEEE International Conference on Computer Languages, pages 80-89, Chicago, Illinois, May 1998. Onder, N., Pollack, M.E., and Horty, J., "A Unifying Algorithm for Conditional and Probabilistic Planning," AIPS-98 Workshop on Integrating Planning, Scheduling and Execution in Dynamic and Uncertain Environments, June 1998. Pollack, M.E., "Plan Generation, Plan Management, and the Design of Computational Agents (Abstract)," Proceedings of the International Conference on Multi-Agent Systems, July 1998. Saksena, M., "Real-Time Systems Design: A Temporal Perspective," In Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, May 1998. Saksena, M., Ptak, A., Freedman, P., and Rodziewicz, P., "Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models," Proceedings of IEEE Real-Time Systems Symposium, December 1998. Salisbury, C. and R. Melhem, "Distributed Dynamic Control of Circuit-Switched Banyan Networks," The International Parallel Processing Symposium, Orlando, FL., March 1998. Salisbury, C. and R. Melhem, "A High Speed Scheduler/Controller for Unbuffered Banyan Networks," The IEEE International Conference on Communications, Atlanta, GA., June 1998. Salisbury, C. and R. Melhem, "Multicast Control in Optical Circuit-Switched Banyan Networks," Proc. of the Fifth Int. conf. on Massively Parallel Processing using Optical Interconnections, Las Vegas, NV. (June 1998). Tims, J., R. Gupta, and M.L. Soffa, "Dataflow Analysis Driven Dynamic Data Partitioning," Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers, Pittsburgh, PA, May 1998. Treu, S., "Need for Multi-Aspect Measures to Support Evaluation of Complex Human-Computer Interfaces," Fourth Symposium on Human Interaction with Complex Systems, IEEE Computer Society, March 1998, pp. 182-191. VanLehn, K., Siler, S., Murray, C., and Baggett, W., "What Makes a Tutorial Event Effective?," Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, Hillsdale, NJ 1998 VanLehn, K., Niu, Z., Siler, S., and Gertner A., "Student Modeling From Conventional Test Data: A Bayesian Approach Without Priors," Proceedings of the 4th ITS'98 Conference, pp. 434-443 1998 Veloso, M.M., Pollack, M.E., and Cox, M.T., "Rationale-Based Monitoring for Continuous Planning in Dynamic Environments," 4th International Conference on AI Planning Systems, June 1998. Weissman-Lauzac, S., Chrysanthis, P.K., "Programming Views for Mobile Database Clients," In Proceedings of the 1st DEXA Workshop on Mobility in Databases and Distributed Systems, Vienna, Austria, August, 1998. Weissman-Lauzac, and Chrysanthis, P.K., "Utilizing Versions of Views Within a Mobile Environment," Proceedings of the 9th International Conference on Computing and Information, Canada, June 1998. Wu, W., R. Gupta, and M. Spezialetti, "Experimental Evaluation of On-line Techniques for Removing Monitoring Intrusion," 2nd SIGMETRICS Symposium on Parallel and Distributed Tools, Oregon, August 1998. Wu, W., M. Spezialetti and R. Gupta "A Protocol for Removing Communication Intrusion in Monitored Distributed Systems," IEEE-CS 18th International Conference on Distributed Computing Systems, pages 120-129, Tilburg, The Netherlands, May 1998. Yuan, X. and R. Melhem, "Optimal Routing and Channel Assignments for Hypercube Communication on Optical Mesh-like Processor Arrays," Proc. of the Fifth Int. conf. on Massively Parallel Processing using Optical Interconnections, Las Vegas, NV. (June 1998). Yuan, X., R. Melhem and R. Gupta, "Performance of Multihop Communications Using Logical Topologies on Optical Torus Networks," Seventh International Conference on Computer Communications and Networks, Lafayette, Louisiana, October 1998.
1997
Alrabiah, T., and T. Znati, "A Simulation Framework for the Analysis of Multicast Tree Algorithms," Proceedings of the 30th Annual Simulation Sysmposium, Atlanta, Georgia, April 7-9, 1997. Aljadhai, A., and T. Znati, "A Predictive Bandwidth Allocation Scheme for Multimedia Wireless Networks," Proceedings of the Communication Networks And Distributed Systems Modeling And Simulation Conference, Phoenix, Arizona, January 12-15 1997. Bodik, R. and R. Gupta, "Partial Dead Code Elimination using Slicing Transformations," ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 159-170, Las Vegas, Nevada, June 1997. Bodik, R., R. Gupta, and M.L. Soffa, "Interprocedural Conditional Branch Elimination," ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 146-158, Las Vegas, Nevada, June 1997. Bodik, R., R. Gupta, and M.L. Soffa, "Refining Data Flow Information through Infeasible Path Detection and Tracing," Fifth ACM SIGSOFT Symposium on Foundations of Software Engineering and Sixth European Software Engineering Conference, Zurich, Switzerland, September 1997. Boykin, M. and Znati, T., "A Network Framework to Support Flexible Guarantees for Tolerant Real-Time and Best Effort Applications," Proceedings of Distributed Multimedia Systems Workshop, Vancouver, Canada, July 23-25, 1997. Boykin, M. and Znati, T., "COPS: A Class-Oriented Policing and Scheduling Scheme for High Speed Networks", Proceedings of the ISCA 12th International Conference, Tempe, Arizona, March 13-15, 1997. Boykin, M. and Znati, T., "High Speed Network Scheduling Support for Tolerant Real-Time Applications," Proceedings of the Fifth International Conference on Telecommunication Systems, Nashville, March 20-23, 1997. Brustoloni, J. and Steenkiste, P., "Copy Emulation in Checksummed, Multiple-Packet Communication," in Proceedings of the INFOCOM'97 Conference, IEEE, Kobe, Japan, April 1997, pp. 1124-1132. Brustoloni, J. and Steenkiste, P., "Evaluation of Data Passing and Scheduling Avoidance," in Proceedings of the 7th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV'97), IEEE, St. Louis, MO, May 1997, pp. 101-111. Catarci, T., S. K. Chang, L. Dong and G. Santucci, "A Prototype Web-At-a-Glance System for Intelligent Information Retrieval", Proc. of SEKE'97, pp.440-449, Madrid, Spain, June 18-20, 1997. Chang, S.K., W. Hua and C. W. Yoo, "Visual Abstraction in the Visual Design Process", Proc. of SEKE'97, pp.332-340, Madrid, Spain, June 18-20, 1997. Chang, S.K. and E. Jungert, "Human- and System-Directed Fusion of Multimedia and Multimodal Information usings of the Sigma-Tree Data Model", Proceedings of VI SUAL'97. Second Int'l Conference on Visual Information Systems, pages 21-28, San Diego, December 16-18, 1997. Chang, S.K., J. Polese, R. Thomas and S. Das, "A Visual Language for Authorizati on Modeling", Proc. of 1997 IEEE Symposium on Visual Languages, pages 110-118, Capri, Italy, Sept. 23-26, 1997. Chang, C. and R. Melhem, "Adaptive and Global Routing for Multiplexed Optical Communication on Mesh and Torus Networks," IPPS Workshop on Optics in Computer Science (WOCS), Geneva, Switzerland, 1997. Conati, C., Gertner, A. , VanLehn, K., & Druzdzel, M., "On-line student modeling for coached problem solving using Bayesian networks," Sixth International Conference on User Modeling: Proceedings of the conference, 1997 (Winner of "Best Paper" award). Conati, C., Larkin, J., & VanLehn, K., "A computer framework to support self-explanation," Proceedings of the Eighth World Conference of Artificial Intelligence in Education, 1997. DiEugenio, Barbara, Moore, Johanna D. and Paolucci, Massimo, "Learning Features that Predict Cue Usage," Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics, Madrid, Spain, July 7-12 1997. DiEugenio, Barbara, Jordan, Pamela W., Thomason, Richmond H., and Moore, Johanna D., "Reconstructed Intentions in Collaborative Problem Solving Dialogues," Proceedings of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, 1997. Faynman, J., E. Rivlin, and D. Moss'e, "Providing Fault Tolerance for Active Vision Systems in Real-Time," IEEE International Conference on Robotics and Automation, Albuquerque, New Mexico, April 1997. Friedman, R. and D. Moss'e, "Load Balancing Schemes for High-Throughput Distributed Fault-Tolerant Servers," 16th Symposium on Reliable Distributed Systems, Durham, NC, Oct 1997. Ghosh, S., R. Melhem and D. Mosse, "Fault Tolerant, Rate Monotonic Scheduling," IFIP International Conference on Dependable Computing for Critical Applications, Garmisch, Germany, 1997. Gupta, R., "Code Optimization as a Side Effect of Instruction Scheduling," International Conference on High Performance Computing, pages 370-377, Bangalore, India, December 1997. Gupta, R., D. Berson, and J.Z. Fang, "Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization," The 30th Annual IEEE/ACM International Symposium on Microarchitecture, pages 358-368, Research Triangle Park, North Carolina, December 1997. Gupta, R., D. Berson, and J.Z. Fang, "Path Profile Guided Partial Dead Code Elimination Using Predication," International Conference on Parallel Architectures and Compilation Techniques, pages 102-115, San Francisco, California, November 1997. Kalyanasundaram, B., and K. Pruhs, "Fault-tolerant Real-time Scheduling," European Symposium on Algorithms, September 1997. Kalyanasundaram, B. and K. Pruhs, "Minimizing Flow Time Nonclaivoyantly", Foundations of Computer Science (FOCS), October 1997. Kerpedjiev, Stephan, Carenini, Giuseppe, Roth, Steven F., and Moore, Johanna D., "A Task-based Approach to Multimedia Presentation," Proceedings of the 1997 International Conference on Intelligent User Interfaces, ACM Press, 1997. Komandur, S. and D. Moss'e, "SPAM: A Data Forwarding Model for Multipoint-to-Multipoint Connection Support in ATM Networks," International Conference on Computer Communications and Networks, Las Vegas, NV, Sept. 1997. Lin, C.C., S.K. Chang, and T. Znati, "QoS-Message Directed Adaptive Distributed Multim edia Systems," Proceedings of Distributed Multimedia Systems Workshop, Vancouver, Canada, July 23-25, 1997. Moir, M., "Practical Implementations of Non-Blocking Synchronization Primitives," 16th Annual ACM Symposium on the Principles of Distributed Computing, August 1997. Moir, M., "Transparent Support for Wait-Free Transactions," 11th Internartional Workshop on Distributed Algorithms, September 1997. Moore, Johanna D., "Desiderata for an Every Citizen Interface to the National Information Infrastructure: Challenges for NLP," Proceedings of the AAAI Spring Symposium on ``Natural Language Processing for the World Wide Web'', Stanford, CA, March 1997. Onder, N. and Pollack, M.E., "Contingency Selection in Plan Generation," 4th European Conference on Planning, September 1997. Salisbury, C. and R. Melhem, "Modeling Communication Costs in Multiplexed Optical Switching Networks," International Parallel Processing Symposium, Geneva, Switzerland, 1997. Salisbury, C., R. Melhem and C. Qiao, "Distributed Path Management in Switched Optical Banyan Networks," Proc. of the OSA Topical Meeting on Optics in Computing, Incline Village, NV, 1997. Wu, W., M. Spezialetti, and R. Gupta, "On-line Avoidance of Communication Intrusion in Token Ring Networks," Ninth IASTED International Conference on Parallel and Distributed Conputing and Systems, Washington, D.C., October 1997. Yuan, X., R. Melhem, and R. Gupta, "Distributed Path Reservation Algorithms for Multiplexed All-Optical Interconnection Networks," Third IEEE International Symposium on High-Performance Computer Architecture, pages 38-47, San Antonio, Texas, February 1997. Yuan, X., R. Gupta, and R. Melhem, "Does Time Division Multiplexing Close the Gap between Memory and Optical Communication Speeds," Workshop on Parallel Computing, Routing, and Communication, Atlanta, Georgia, June 1997. Yuan, X., R. Gupta, and R. Melhem, "An Array Data Flow Analysis based Communication Optimizer," Tenth Annual Workshop on Languages and Compilers for Parallel Computing, Minneapolis, Minnesota, August 1997.
1996
Anderson, J., S. Ramamurthy, M. Moir, and K. Jeffay, "Efficient Object Sharing in Real-Time Systems," Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, pp. 107-114, March 1996. Aronis, J.M., B.G. Buchanan, S.W. Lee, "Augmenting Medical Databases with Domain Knowledge," AAAI-96 Spring Symposium on AI in Medicine, Stanford University, March 1996. Berson, D., P. Chang, R. Gupta and M.L. Soffa, "Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism," Ninth Annual Workshop on Languages and Compilers for Parallel Computing, Santa Clara, California, August 1996. Chang, S.K., "Dynamic Visual Languages", Proc. of Visual Languages Symposium, Boulder, Colorado, September 3-6, 1996, 308-315. Chen, P.W., G. Barry and S. K. Chang, "A Smart WWW Page Model and its Application to On-Line Information Retrieval in Hyperspace", Proc. of Pacific Workshop on Distributed Multimedia Systems, Hong Kong, pp.220-227, June 27-28, 1996. Chen, Y-J., D. Moss'e, and S-K Chang, "An Object-Based Model for Dependable Real-Time Distributed Systems," 2nd IEEE Workshop on Object-Oriented Real-Time Dependable Systems, Feb. 1996. Chen, D., R. Colwell, H. Gelman, P. Chrysanthis, and D. Moss'e, "A Framework for Experimenting with QoS for Multimedia Services," IS&T/SPIE Multi-media Computing and Networking, Jan. 1996. Conati, C. and K. VanLehn, "POLA: a student modeling framework for Probabilistic On-Line Assessment of problem solving performance," Fifth International Conference on User Modeling: Proceedings of the conference, Kailua-Kona, HI: User Modeling, Inc. pp. 75-82, 1996. Conati, C. and K. VanLehn, "Probabilistic plan recognition for cognitive apprenticeship," In G. W. Cottrell (Ed.), Proceedings of the Eighteenth Annual Meeting of the Cognitive Science Society, pp. 403-408, Mahwah, NJ: Erlbaum, 1996. Duesterwald, E., R. Gupta, and M.L. Soffa, "A demand-driven analyzer for data flow testing at the integration level," International Conference on Software Engineering, Berlin, Germany, March 1996. Ephrati, Eithan, Martha E. Pollack, and Marina Milshtein, "A Cost-Directed Planner: Preliminary Report," Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-96), Aug., 1996. Faynman, J., E. Rivlin, and D. Moss'e, "Real-Time Active Vision with Fault Tolerance," 13th International Conference on Pattern Recognition, Technical University Vienna, Austria, August 1996. Field, B., D. Moss'e, and T. Znati, "Simulation of V-NET, a Versatile Network Architecture for Real-time and Non-Real-Time Traffic," 29th Annual Simulation Symposium, April 1996. Field, B. and D. Moss'e, "Towards Resource Usage Adjustments for Real-Time Traffic," 5th Annual International Conference on Computer Communications and Networks, Rockville, MD, Oct. 1996. Gupta, R., D. Mosse, and R. Suchoza, "Real-Time Scheduling using Compact Task Graphs," IEEE-CS 16th International Conference on Distributed Computing Systems, pages 55-63, Hong Kong, May 1996. Hoymany, F. and D. Moss'e "More Powerful Connectionless Support Using AAL5+," 2nd IASTED Int'l Conference on Networks, Jan 1996. Hoymany, F. and D. Moss'e, "Switch-Borne Router for High-Performance Packet Forwarding of Connectionless Traffic," 5th Annual International Conference on Computer Communications and Networks, Rockville, MD, Oct. 1996. Joslin, David and Martha E. Pollack, "When is 'Early CommitmentU in Plan Generation a Good Idea?," Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-96), Aug., 1996. Kalyanasundaram, B., and K. Pruhs, "An Optimal Deterministic Algorithm for Online b-matching," Foundations of Software Technology and Theoretical Computer Science, Dec. 1996 Mittal, V.O. and J.D. Moore, "An Interface to Knowledge Base Verification and Modification based on Discourse Structure," Proc. of the Thirteenth National Conference on Artifical Intelligence, August 1996. Mittal, Vibhu O. and Moore, Johanna D., "Detecting Knowledge Base Inconsistencies Using Automated Generation of Text and Examples," Proceedings of the National Conference on Artificial Intelligence, 1996. Moir, M. and J. Garay, "Fast, Long-Lived Renaming Improved and Simplified," proceedings of the 10th International Workshop of Distributed Algorithms, pp. 287-303, October 1996. A brief announcement appeared in the Proceedings of the 15th Annual ACM Symposium on the Principles of Distributed Computing, May 1996, p. 152. Moore, Johanna D., "Intelligent Information Agents for an Every Citizen Interface to the National Information Infrastructure," National Research Council workshop on ``Toward an Every Citizen Interface to the National Information Infrastructure'', August 24-25, 1996. Onder, Nilufer and Martha E. Pollack, ` "Contingency Selection in Plan Generation," AAAI Fall Symposium on Plan Execution: Problems and Issues, 1996. Pollack, M.E., "Planning in Dynamic Environments: The DIPART System," Third International Conference on AI Planning Systems, Special Track on APRI/Rome Laboratory Planning Initiative Achievements , May 1996. Ramamurthy, S., M. Moir, and J. Anderson, "Real-Time Object Sharing with Minimal System Support," Proceedings of the 15th Annual ACM Symposium on the Principles of Distributed Computing, pp. 233-242, May 1996. Simon, R., Znati, T., and Sclabassi, R., "XCAP: A Multistream Routing Algorithm for Multimedia Traffic," Proc. of IEEE International Conference on Multimedia Computing and Systems, Hiroshima, Japan, June 17-21, 1996. Simon, R., Znati, T., and Sclabassi, R., "An Evolutionary Computing Approach to Multimedia Routing Optimization," Proc. of Pacific Distributed Multimedia Systems, June 1996, Hong Kong. Treu, S., "Characterizing a User's Mental Involvement in Interaction with Complex Systems," Third Symposium on Human Interaction with Complex Systems, IEEE Computer Society, August 1996, pp. 162-169. VanLehn, K., "Conceptual and meta learning during coached problem solving," In C. Frasson, G. Gauthier & A. Lesgold (Eds.), Berlin: Springer-Verlag, Proceedings of the Third International Conference on Intelligent Tutoring Systems, pp. 29-47, 1996 (invited paper). Wu, W., M. Spezialetti, and R. Gupta, "Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications," Second IEEE International Conference on Engineering of Complex Computer Systems, pages 450-457, Montreal, Canada, October 1996. Wu, W., M. Spezialetti, and R. Gupta, "Guaranteed Intrusion Removal from Monitored Distributed Applications," Eighth IEEE Symposium on Parallel and Distributed Processing, pages 422-425, New Orleans, Louisiana, October 1996. Wu, W., M. Spezialetti, and R. Gupta, "On-line Avoidance of the Intrusive Affects of Monitoring on Runtime Scheduling Decisions," IEEE-CS 16th International Conference on Distributed Computing Systems, pages 216-223, Hong Kong, May 1996. Yuan, X., R. Melhem, and R. Gupta, "Compiled Communication for All-Optical TDM Networks," Supercomputing, Pittsburgh, Pennsylvania, November 1996. Yuan, X., R. Melhem, and R. Gupta, "A Timestamp-based Selective Invalidation Scheme for Multiprocessor Cache Coherence," International Conference on Parallel Processing, Vol. III, pages 114-121, Bloomingdale, Illinois, August 1996. Yuan, X., R. Gupta, and R. Melhem, ``Distributed Control in Optical WDM Networks,'' IEEE Conference on Military Communication, pages 100-104, McLean, VA, Oct. 21-24, 1996. Yuan, X., R. Gupta, and R. Melhem, "Demand-Driven Data Flow Analysis for Communication Optimization," Workshop on Challenges in Compiling for Scalable Parallel Systems, held jointly with Eighth IEEE Symposium on Parallel and Distributed Processing, New Orleans, Louisiana, October 1996. Yuan, X., B. He, D. Balsara and R. Melhem, "A Load Balancing Package for Domain Decomposition on Distributed Memory Systems," Proc. of the Int. conf. on High-Performance Computing and Networking (HPCN), Brussels, Belgium, 1996. Zhang, Q.L., S. K. Chang and S. Yau, "A Unified Approach to Indexing Images in Image Databases", Proc. of 1st Int'l Workshop on Image Databases and Multimedia Search, pp.99-106, Aug 22-23, 1996, Amsterdam, Elsevier.
1995
Anderson, J. and M. Moir, "Universal Constructions for Large Objects," Proceedings of the Ninth International Workshop on Distributed Algorithms, pp. 168-182, September 1995. Anderson, J. and M. Moir, "Universal Constructions for Multi-Object Operations," Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, pp. 184-193, August 1995. Berson, D., R. Gupta, and M.L. Soffa, "GURRR: A global unified resource requirements representation," Proc. ACM SIGPLAN Workshop on Intermediate Representations, pp. 23-34, San Francisco, Jan. 1995. Bodik, R. and R. Gupta, "Array data-flow analysis for load-store optimizations in superscalar architectures," Proc. Eighth Annual Workshop on Languages and Compilers for Parallel Computing, Columbus, Ohio, August 1995. Botafogo, R. and D. Moss'e "The Morena Model for Hypermedia Authoring and Browsing," Int'l Conf on Multimedia Computing Systems, May 1995. Buhrman, H., J. Garay, J. Hoepman, and M. Moir, "Long-Lived Renaming Made Fast," Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, pp. 194-203, August 1995. Chen, Y-J., D. Moss'e, and S-K Chang, "A Framework for Modeling Dependable Real-Time Distributed Systems," 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pp. 495-510, Nov 1995. Chrysanthis, P. and D. Moss'e "Management and Delivery of Multimedia Traffic," 2nd Int'l Workshop on Community Networking Integrated Multimedia Services to the Home, June 1995. Chuang, H. and L. Chen, "SIMD Hypercube Algorithm for Complete Euclidean Distance Transform", International Conf. on Algorithms and Architectures for Parallel Processing, pp. 874-877, April 1995. Duesterwald, E., R. Gupta, and M.L. Soffa, "Interprocedural data flow analysis on demand," Proc. 22nd Annual ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, pp. 37-48, San Francisco, Jan. 1995. Ephrati, E., M. E. Pollack, and S. Ur, "Deriving Multi-Agent Coordination through Filtering Strategies," Proceedings of the 14th International Joint Conference on Artificial Intelligence , August 1995. Ephrati, E., M. E. Pollack, and J. S. Rosenschein, "A Tractable Heuristic that Maximizes Global Utility through Plan Combination," The First International Conference on Multi-Agent Systems , June 1995. Field, B., T. Znati, and D. Mosse, "V-NET: A framework for a versatile network architecture to support real-time communication performance guarantees," InfoComm 1995, Boston. Ghosh, S., R. Melhem, and D. Moss'e, "Enhancing Real-Time Schedules to Tolerate Transient Faults," IEEE 16th Real-Time Systems Symposium, Dec. 1995. Gravenstreter, G., R. Melhem, D. Chiarulli, S. Levitan, and J. Teza, "Communications capabilities of POPS networks," Proc. of the 9th International Parallel Processing Symposium, pp. 4-10, Santa Barbara, CA, April 1995. Gravenstreter, G. and R. Melhem, "Embedding Rings and Meshes in Patitioned Optical Stars Networks," Proc. of the second Int. conf. on Massively Parallel Processing using Optical Interconnections, San Antonio, TX, 1995. Gupta, R. and M.L. Soffa, ``Priority based data flow testing,'' International Conference on Software Maintenance, pp. 348-357, Nice, France, October 1995. Gupta, R. and R. Bodik, "Adaptive loop transformations for scientific programs," Proc. IEEE Symposium on Parallel and Distributed Processing, pp. 368-376, San Antonio, Texas, October 1995. Gupta, R. and M.L. Soffa, ``Hybrid slicing: an approach for refining static slices using dynamic information,'' Proc. ACM SIGSOFT Third Symposium on the Foundations of Software Engineering, pp. 29-40, Washington, DC, October 1995. Gupta, R. and M. Spezialetti, ``Dynamic techniques for minimizing the intrusive affects of monitoring actions,'' Proc. IEEE-CS 15th International Conference on Distributed Computing Systems, pp. 368-376, Vancouver, Canada, June 1995. Hurley, W.D. and D. Guido. "Bridging the design gap in interactive engineering applications," Proc. ASME Computers in Engineering Symp., Jan. 1995. Joslin, D. and M. E. Pollack, "Active and Passive Postponement of Decisions in Plan Generation," Proceedings of the 3rd European Workshop on Planning , September 1995. Kalyanasundaram, B. and K. Pruhs, "Speed is as Powerful as Clairvoyance," Proceedings of IEEE Conference on Foundations of Computer Science, 1995. Kalyanasundaram, B. and K. Pruhs, "The Online Transportation Problem," European Symposium on Algorithms, 1995. Lauzac, S. and T. Znati "Comparative Evaluation of Cooperative Plan Execution Strategies in Multi-agent Environments" 28th Annual Simulation Symposium, Phoenix, Arizona, April 1995. Levitan, S. P., P. J. Marchand, M. A. Rempel, D. M. Chiarulli, F. B. McCormick, "Computer-Aided Design of Free-Space Optoelectronic Interconnection (FSOI) Systems," Second International IEEE Workshop on Massively Parallel Processing Using Optical Interconnections; pp. 239-245; San Antonio, TX, October 23-24, 1995. Melhem, R., "Time-Multiplexing Optical Interconnection Networks; Why Does it Pay Off?," Proc. of the ICPP Workshop on Challenges for Parallel Processing, Oconomowoc, WI., 1995. Mittal, V.O., S. Roth, J.D. Moore, J. Mattis, and G. Carenini, "Generating Explanatory Captions for Information Graphics," Proc. of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1276-1283, Montreal, Canada, August 1995. Mittal, V.O., "Generating Descriptions with Examples: A Preliminary Study from a Text Planning Perspective," Proc. of the Second Annual Conference on Artificial Intelligence and Education, pp. 299-306, Washington, D.C., August 1995. Mittal, V.O. and J.D. Moore, "Knowledge Refinement and Acquisition through Automated Example Generation," Proc. of the Ninth Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, February 1995. Mittal, V.O. and J.D. Moore, "Dynamic generation of follow up question menus: Facilitating interactive natural language dialogues," Proc. ACM/SIGCHI Conf. Human Factors in Computing Systems, pp. 90-97, 1995. Moss'e, D., "Creating Resilient Real-Time Applications," Proc. of the 20th IFAC/IFIP Workshop on Real-Time Programming, Nov 1995. Onder, S. and R. Gupta, "SINAN - a forwarding multithreaded architecture," Proc. International Conference on High Performance Computing, New Delhi, India, December 1995. Orphanoudakis, S., M. Tsiknakis, C. Chronaki, S. Kostomanolakis, M. Zikos, Y. Tsamardinos, "Developement of an Intergrated Image Management and Communication System on Crete," Computer Aided Radiology conference, pp. 481-487, 1995. Qiao, C. and R. Melhem, "Reducing communication latency with path multiplexing in optically interconnected multiprocessor systems," Proc. Int'l Symp. High Performance Computer Architecture, Raleigh, NC, 1995. Sakr, M.F., S. P. Levitan, C.L. Giles, B.G. Horne, M. Maggini, D.M. Chiarulli, "Predictive Control of Opto-Electronic Reconfigurable Interconnection Networks Using Neural Networks," Second International IEEE Workshop on Massively Parallel Processing Using Optical Interconnections, pp. 326-335; San Antonio, TX, October 23-24, 1995. Simon, R., T. Znati, and R.J. Sclabassi, "A framework for call establishment and routing in multimedia communication networks," Proc. Pacific Distributed Multimedia Systems Workshop '95. Teza, J., D.Chiarulli, S. Levitan, R. Melhem, and G. Gravenstreter, "Multiprocessor architectures using partitioned optical passive star interconnection networks," Optical Society of America Topical Meeting on Optical Computing, Salt Lake City, UT, March, 1995.
1994
Anderson, J. and M. Moir, "Using k-Exclusion to Implement Resilient, Scalable Shared Objects," Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pp. 141-150, August 1994. Beame, P., R. Impagliazzo, J. Krajicek, T. Pitassi, and P. Pudlak, "Lower bounds for Hilbert's Nullstellensatz and propositional proofs," Proc. IEEE Symp. Foundations in Computer Science, 1994. Berson, D., R. Gupta, and M.L. Soffa, "Resource spackling: A framework for integrating register allocation in local and global schedulers," Proc. Int'l Conf. Parallel Architectures and Compilation Techniques, IFIP Transactions A-50, Montreal, Canada, Aug. 1994, pp. 135-146. Berztiss, A.T., "Non-functional requirements in the design of software systems," Proc. 7th SEI Conf. Software Eng. Educ., 1994, (Springer-Verlag LNCS No.750), pp. 375-386. Berztiss, A.T., "Imprecise queries and the quality of conceptual models," Information Modelling and Knowledge Bases V, H. Jaakkola, H. Kangassalo, T. Kitahashi, A. Markus (eds.), IOS Press, 1994, pp. 174-185. Berztiss, A.T., "Software reengineering in the SF framework," Proc. 4th Systems Reengineering Technology Workshop, 1994, pp. 283-291. Brustoloni, J., "Exposed Buffering and Sub-Datagram Flow Control for ATM LANs," in Proceedings of the 19th Conference on Local Computer Networks, IEEE, Minneapolis, MN, October 1994, pp. 324-334. Chandra, A. and R. Melhem, "Reconfiguration in fault tolerant 3D meshes," Proc. IEEE Int. Workshop on Defect and Faults Tolerance in VLSI Systems, Montreal, 1994. Chang, S.K., M.F. Costabile, and S. Levialdi, "Reality bites - progressive querying and result visualization in logical and visual spaces," IEEE Symp. Visual Languages, St. Louis, Oct. 4-7, 1994, pp. 100-109. Chang, S.K., H. Chang, T. Hou, and A. Hsu, "An active multimedia system for delayed conferencing," Proc. SPIE Conf. High-Speed Networking and Multimedia Computing, San Jose, Feb. 6-10, 1994, pp. 97-104. Chang, S.K., Y-J. Chen and D. MossÈ, "Smart objects for dependable real-time systems," Workshop on Object-oriented Real-time Dependable Systems, Dana Point Resort, CA, October 24-25, 1994. Chiarulli, D.M., S. Levitan, R. Melhem, J. Teza, and G. Gravenstreter, "Multiprocessor interconnection networks using partitioned optical passive star (POPS) topologies and distributed control," Proc. of the First Int'l Workshop on Massively Parallel Processing Using Optical Interconnections, pp. 70-80, Cancun, Mexico, April 26-27, 1994, IEEE Computer Society Press. Chrysanthis, P.K. and K. Ramamritham. "Autonomy requirements in heterogeneous distributed database systems," Proc. 6th Int'l Conf. Management of Data (COMAD'94), Dec. 1994. Chuang, H.Y.H. and L. Chen, "Fast Hough transform on SIMD hypercubes," Proc. 1994 Int'l Conf. Parallel and Distributed Systems, Dec. 1994. Dow, C.R., M.L. Soffa, and S.K. Chang, "Undoing code transformations in an independent order order," Proc. Int'l Conf. Parallel Processing, (ICPP '94), vol. II, Software, (K.C. Tai, ed.), CRC Press, Chicago, August 1994. Dow, C.R., M.L. Soffa, and S.K. Chang, "An overview of the PIVOT environment for program restructuring," Proc. IEEE 1994 Int'l Computer Symp., Dec. 1994. Dow, C.R., M.L. Soffa, and S.K. Chang, "An efficient technique to undo transformations," Proc. IEEE ICPADS 94: Int'l Conf. Parallel and Distributed Systems, Dec. 1994. Duesterwald, E., R. Gupta, and M.L. Soffa, "Reducing the cost of data flow analysis by congruence partitioning," Proc. Int'l Conf. Compiler Construction (LNCS 786 Springer Verlag), Edinburgh, Great Britain, April 1994, pp. 357-373. Ephrati, E., J.S. Rosenschein, and M.E. Pollack, "Exploiting decision-theory techniques in multi-agent plan merging," Proc. AAAI Spring Symp. Decision-Theoretic Planning, March 1994, pp. 90-98. Ghosh, S., R. Melhem, and D. MossÈ, "Fault-tolerant scheduling on hard real-time multiprocessor systems." Proc. of the 8th Int. Parallel Processing Symp., Cancun, Mexico 1994. Gong, C., R. Melhem and R. Gupta, "Compiler assisted fault detection for distributed memory systems," Proc. 1994 Scalable High Performance Computing Conf., Knoxville, TN, 1994. Gong, C., R. Melhem, and R. Gupta, "Replicating statement execution for fault detection on distributed memory multi processors," Proc. of the 1994 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, College Station, TX, 1994. Gopalakrishnan, V., D. Hennessy, B.G. Buchanan, and D. Subramanian, "The crystallographer's assistant". Proc. Twelfth Nat'l Conf. Artificial Intelligence (AAAI 1994), Seattle, WA: AAAI/MIT Press, 1994. Gupta, R. and P. Gopinath, "Correlation analysis techniques for refining execution time estimates of real-time applications," Proc. 11th IEEE Workshop on Real-Time Operating Systems and Software, Seattle, WA, May 1994, pp. 54-58. Gupta, R. and M.L. Soffa, "A framework for partial data flow analysis," Proc. Int'l Conf. Software Maintenance, Victoria, British Columbia, Sept. 1994, pp. 4-13. Gupta, R. and M. Spezialetti, "Busy-idle profiles and compact task graphs: Compile-time support for interleaved and overlapped scheduling of real-time tasks," Proc. 15th IEEE Real-Time Systems Symp., San Juan, Puerto Rico, Dec. 1994, pp. 86-96. Hurley, W.D. "A reuse meta model for interactive systems," Software Systems in Engineering: Proc. ASME Computers in Engineering Symp., Jan. 1994, pp. 311-316. Hurley, W.D. "A repository meta model for interactive systems," Proc. Twelfth Int'l Conf. Entity-Relationship Approach, Dec. 1993; also in Springer-Verlag series of Lecture Notes in Computer Science, vol. 823, R.A. Elmasri, V. Kouramajian, and B. Thalheim (eds.), Berlin, 1994, pp. 414-425. Hurley, W.D. "Deducing structure in systems with separable visual interfaces," Proc. Sixth Int'l Conf. Software Engineering and Knowledge Engineering (SEKE 94), June 1994, pp. 193-200. Hurley, W.D. "Bridging the gap from conceptual design to software design," Proc. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, June 1994, pp. 13-24. Hurley, W. D. and E. Hughes. "Using relationships to bridge the gap between requirements and analysis," Proc. 5th Australasian Conf. Information Systems, Sept. 1994, pp. 141-152. Impagliazzo, R., T. Pitassi, and A. Urquhart, "Upper and lower bounds for tree-like cutting planes proofs," Proc. Logic in Computer Science, 1994. Joslin, D. and M.E. Pollack, "Least-cost flaw repair: A plan refinement strategy for partial-order planning," Proc. 12th Nat'l Conf. Artificial Intelligence, Aug. 1994, pp. 1004-1009. Kalyanasundaram, B. and K. Pruhs, "Fault-tolerant scheduling," Proc. 26th Annual ACM Symp. Theory of Computing, 1994, pp. 115-124. Lemaire, B. and J.D. Moore, "An improved interface for tutorial dialogues: Browsing a visual dialogue history," Proc. ACM/SIGCHI Conf. Human Factors in Computing Systems, 1994. Lin, C.C., C.S. Kao, W. Shang, and S.K. Chang, "The transformation from multimedia data schema to multimedia communications schema in distributed multimedia systems," Proc. of Pacific Workshop on Distributed Multimedia Systems DMS'94, Feb. 26, 1994, pp. 1-13. Liu, C.T., S.K. Chang and P.K. Chrysanthis. "Database schema evolution using EVER diagrams," Int'l Workshop Advanced Visual Interfaces (AVI 94), Italy, June 1994. Liu, C.T., P.K. Chrysanthis, and S.K. Chang. "Database schema evolution through the specification and maintenance of changes on entities and relationships," Proc. 13th Int'l Conf. Entity-Relationship Approach (ER'94), Dec. 1994. Mittal, V.O., G. Carenini, and J. D. Moore, "Generating patient specic explanations in migraine," Proc. Eighteenth Annual Symp. Computer Applications in Medical Care, Nov. 1994. Moir, M. and J. Anderson, "Fast, Long-Lived Renaming," Proceedings of the Eighth International Workshop on Distributed Algorithms, pp. 141-155, September 1994. MossÈ, D., R. Melhem, and S. Ghosh, "Analysis of a fault-tolerant multiprocessor scheduling algorithm," Proc. 24th Int'l Symp. Fault-Tolerant Computing, Austin, TX, June 1994. MossÈ, D., "Mechanisms for system-level fault tolerance in real-time systems," Proc. Int'l Conf on Robotics, Vision, and Parallel Processing for Industrial Automation, Ipoh, Malaysia, May 1994. Pan, Y. and H.Y.H. Chuang, "Computations for some matrix and graph problems on the block shift networks," Proc. Conf. High Performance Computing '94, April 1994, pp. 314-318. Pineo, P. and M.L. Soffa, "A practical approach to the symbolic debugging of parallelized code," Proc. Int'l Conf. Compiler Construction, Edinburgh, Scotland, April 1994. Plantinga, H., "An asymmetric, semi-adaptive text compression algorithm," IEEE Data Compression Conf., March 1994. Pollack, M.E., T. Znati, E. Ephrati, D. Joslin, S. Lauzac, A. Nunes, N. Onder, Y. Ronen, and S. Ur, "The DIPART project: A status report," Proc. ARPA/Rome Laboratory Knowledge-Based Planning and Scheduling Initiative Workshop, Feb. 1994, pp. 87-97. Simon, R., Sclabassi, R. and T. Znati, "Communication control in computer supported cooperative work systems," ACM Conf. CSCW, Raleigh, NC, Oct. 24-26, 1994, pp. 311-322. Simon, R. and T. Znati, "Routing and path establishment in integrated networks for distributed multimedia," Proc. 1994 Pacific Distributed Multimedia Systems Workshop, Taipei, Taiwan, Feb. 1994, pp. 131-148. Simon, R., T. Znati, and R.J. Sclabassi, "Group communication in distributed multimedia systems," 14th Int'l Conf. Distributed Computing Systems, June 21-24, 1994, Poznan, Poland, pp. 294-301. Spezialetti, M. and R. Gupta, "Debugging distributed programs through the detection of simultaneous events," Proc. IEEE-CS 14th Int'l Conf. Distributed Computing Systems, Poznan, Poland, June 1994, pp. 634-641. Spezialetti, M. and R. Gupta, "Timed perturbation analysis: An approach for non-intrusive monitoring of real time computations," Proc. ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, Orlando, FL, June 1994. Spezialetti, M. and R. Gupta, "Perturbation analysis: A static analysis approach for the non-intrusive monitoring of parallel programs," Proc. Int'l Conf. Parallel Processing, vol. II, Aug. 1994, pp. 81-88. Spezialetti, M. and R. Gupta, "Exploiting program semantics for efficient instrumentation of distributed event recognitions," Proc. 13th IEEE Symp. Reliable Distributed Systems, Dana Point, CA, Oct. 1994, pp. 181-191. Young, R.M., J.D. Moore, and M.E. Pollack, "Towards a principled representation for discourse plans," Proc. 16th Annual Meeting of the Cognitive Science Society, Aug. 1994, pp. 946-951. Young, R.M., M.E. Pollack, and J.D. Moore, "Decomposition and causality in partial-order planning," Proc. 2nd Int'l Conf. Artificial Intelligence Planning Systems, June 1994, pp. 188-193. Young, R.M. and J.D. Moore, "DPOCL: A principled approach to discourse planning," Proc. 7th Int'l Workshop Natural Language Generation, Kinnebunkport, ME, July 1994, pp. 13-20. Znati, T. and M.E. Pollack, "DIPART, an interactive simulation platform for plan development and monitoring in dynamic environments," Proc. 27th Int'l Simulation Conf., April 1994, pp. 236-244.
1993
Anderson, J. and M. Moir. ``Towards A Necessary and Sufficient Condition for Wait-Free Synchronization," Proceedings of the Seventh International Workshop on Distributed Algorithms, pp. 39-53, September 1993. Azar, Y., B. Kalyanasundaram, S. Plotkin, K. Pruhs, and O. Waarts, "On-line load balancing of temporary tasks," Proc. Workshop on Algorithms and Data Structures, 1993, pp. 119-130. Berson, D., R. Gupta, and M.L. Soffa, "URSA: a Unified ReSource Allocator for registers and functional units in VLIW architectures," Architectures and Compilation Techniques for Fine and Medium Grain Parallelism (IFIP Transactions A-23), M. Cosnard, K. Ebcioglu, J.-L. Gaudiot (eds.), North-Holland, 1993, pp.243-254. Berztiss, A.T., "Questions, queries, and functions," Information Modelling and Knowledge Bases IV, H. Kangassalo, H. Jaakkola, K. Hori, T. Kitahashi (eds.), IOS Press, 1993, pp. 256-270. Berztiss, A.T., "Information transfer for decision support in distributed administrative systems," Decision Support in Public Administration (IFIP Transactions A-26), P.W.G. Bots, H.G. Sol, R. Traunmuller (eds.), North-Holland, 1993, pp. 3-15. Berztiss, A.T., "Catastrophe prevention in safety-critical systems," Proc. 5th Int'l Conf. Software Eng. and Knowledge Eng., 1993, pp. 102-108. Berztiss, A.T., "Concurrent engineering of information systems," Information System Development Processes (IFIP Transactions A-30), N. Prakash, C. Rolland, B. Pernici (eds.), North-Holland, 1993, pp. 311-324. Berztiss, A.T., "The limits of formal methods," Proc. ARO/AFOSR/ONR Workshop - Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, Oct. 1993, pp. 41-43. Berztiss, A.T., "Formal specification of the software process," Proc. ARO/AFOSR/ONR Workshop - Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, Oct. 1993, pp. 44-46. Bidnurkar, M., S. Levitan, R. Melhem, and D. Chiarulli, "Model of lossless bus structure using erbium fiber amplifiers pumped near 820nm," Optical Computing Technical Digest 1993, vol. 7, Optical Society of America, Washington DC, pp. 192-195. Carenini, G. and J.D. Moore, "Generating explanations in context," Proc. Int'l Workshop Intelligent User Interfaces, W.D. Gray, W.E. Hefley, D. Murray (eds.), ACM Press, 1993, pp. 175-182. Carenini, G. and J.D. Moore, "Using the UMLS semantic network as a basis for constructing a terminological knowledge base: A preliminary report," Proc. Seventeenth Annual Symp. Computer Applications in Medical Care, Nov. 1993. Cavalli-Sforza, V., J.D. Moore, and D.D. Suthers, "Helping students articulate and criticize scientific explanations," Proc. World Conf. Art. Intell. in Education, Aug. 1993, pp. 113-120. Chen, L. and H.Y.H. Chuang, "Systolic array for complete Euclidean distance transform," Proc. SPIE Int'l Symp. Optical Tools for Manufacturing and Advanced Automation: Machine Vision Applications, Architecture, and Systems Integration II, Sept. 1993, pp. 107-113. Chiarulli, D.M., S. Levitan, R. Melhem, and C. Qiao, "Bandwidth as a virtual resource in reconfigurable interconnections," Optical Computing Technical Digest, 1993, vol. 7, Optical Society of America, Washington, DC, pp. 299-302. Chrysanthis, P.K., "Transaction processing in a mobile computing environment," Proc. IEEE Workshop on Advances in Parallel and Distributed Systems, Oct. 1993, pp. 77-82. Chrysanthis, P.K. and K. Ramamritham, "Impact of autonomy requirements on transactions and their management in heterogeneous distributed database systems," Proc. DBTA Workshop on Interoperability of Database Systems and Database Applications, Oct. 1993, pp. 179-197. Chrysanthis, P.K. and K. Ramamritham, "Systematic synthesis of extended transactions," Proc. Fourth Hellenic Computer Science Conf., vol. 2, Dec. 1993, pp. 259-272. Chuang, H.Y.H. and L. Chen, "Scalable VLSI parallel pipelined architecture for discrete wavelet transform," Proc. SPIE Int'l Symp. Optical Tools for Manufacturing and Advanced Automation: Machine Vision Applications, Architecture, and Systems Integration II, Sept. 1993, pp. 66-73. Daley, R. and B. Kalyanasundaram, "Capabilities of probabilistic learners with bounded mind changes," Proc. Annual ACM Conf. Computational Learning Theory, 1993, pp. 182-191. Daley, R. and B. Kalyanasundaram, "Use of reduction arguments in determining Popperian FIN-type learning capabilities," Proc. Int'l Workshop on Algorithmic Learning Theory, 1993, pp. 173-186. Daley, R., B. Kalyanasundaram, and M. Velauthapillai, "Capabilities of fallible FINite learning," Proc. Annual ACM Conf. Computational Learning Theory, 1993, pp. 199-208. Duesterwald, E., R. Gupta, and M.L. Soffa, "A practical data flow framework for array reference analysis and its application in optimizations," Proc. ACM SIGPLAN'93 Conf. Prog. Lang. Design and Implementation, June 1993, pp. 68-77. Gong, C., R. Gupta, and R. Melhem, "Compilation techniques for communication optimizations on distributed memory systems," Proc. Int'l Conf. Parallel Processing, vol. II\f1, Aug. 1993, pp. 39-46. Gupta, R. and M. Spezialetti, "Towards a non-intrusive approach for monitoring distributed computations through perturbation analysis," Proc. 6th Annual Workshop Languages and Compilers for Parallel Computing, Aug. 1993, (Springer-Verlag LNCS no. 768), pp. 586-601. Liu, C.T., S.K. Chang, and P.K. Chrysanthis, "An entity-relationship approach to schema evolution," Proc. 5th Int'l Conf. Computing and Information (ICCI'93), May 1993, pp. 1-4. Martin, J. and K. VanLehn, "OLAE: Progress toward a multi-activity, Bayesian student modeler," Artificial Intelligence in Education: Proc. AI-ED 93, 1993, pp. 410-417. Moore, J.D., "What makes human explanations effective?" Proc. 15th Annual Meeting Cognitive Science Soc., 1993, pp. 131-136. Moore, J.D., "Indexing and exploiting a discourse history to generate context-sensitive explanations," Proc. DARPA Human Language Technology Workshop, 1993, Morgan Kaufmann. MossÈ, D., "Tools for visualizing scheduling algorithms," Proc. IFIP WG 3.2 Working Conf. Visualization in Scientific Computing: Uses in University Education, July 1993. MossÈ, D. and R. Botafogo, "Applications that DO and DO NOT need real-time," Proc. Workshop on The Role of Real-Time in Multimedia/Interactive Computing, IEEE RTSS 1993, Raleigh-Durham, NC, Dec. 1993. MossÈ, D., S.H. Noh, B. Trinh, and A.K. Agrawala, "Multiple resource allocation for multiprocessor distributed real-time systems," Proc. First Workshop Parallel and Distributed Real-Time Systems (PDRTS), IEEE IPPS'93, April 1993. Plantinga, H., "Conservative visibility preprocessing for efficient walkthroughs of 3D scenes," Proc. Graphics Interface '93, pp. 166-173. Qiao, C., R. Melhem, D. Chiarulli, and S. Levitan, "A time domain approach for avoiding crosstalk in multistage interconnection networks," Photonics in Switching Technical Digest 1993, vol. 7, Optical Society of America, Washington DC, pp. 133-137. Qiao, C., R. Melhem, D. Chiarulli, and S. Levitan, "Simulation of efficient routing in TDM optically interconnected multiprocessor system," Proc. Summer Computer Simulation Conf., 1993. Rosenblum, J.A. and J.D. Moore, "Participating in instructional dialogues: Finding and exploiting relevant prior explanations," Proc. World Conf. Art. Intell. in Education, Aug. 1993, pp. 145-152. Sanderson, D.P. and S. Treu, "Expert system support of user interface adaptation," Proc. OK Symp. Artificial Intelligence, Nov. 1993. Sclabassi, R., R. Simon, T. Znati, A. Kuchinsky, and R. Leichner, "The multimedia MedNet system," Proc. IEEE Tutorial and Workshop Multimedia Computing, March 1993, pp. 87-90. Simon, R., T. Znati, and R.J. Sclabassi, "Group communication in multimedia MedNet," Proc. Real-Time System Symp. Workshop on Real-time and Multimedia, 1993, pp. 114-120. VanLehn, K., "Cascade: A simulation of human learning and its applications" (invited paper), Artificial Intelligence in Education: Proc. AI-ED 93, 1993, pp. 1-3. VanLehn, K. and R.M. Jones, "What mediates the self-explanation effect? Knowledge gaps, schemas or analogies?" Proc. 15th Annual Conf. Cognitive Science Soc., Erlbaum, 1993, pp. 1034-1039. VanLehn, K. and R.M. Jones, "Better learners use analogical problem solving sparingly," Proc. 10th Int'l Conf. Machine Learning, Kluwer, 1993, pp. 19-30. Whitfield, D. and M.L. Soffa, "Investigating properties of code transformations," Proc. Int'l Conf. Parallel Processing, Aug. 1993, St. Charles, IL, pp. 238-245. Znati, T. and B. Field, "Design and analysis of a network level channel abstraction to support real-time communications," Proc. 26th Annual Simulation Symp., March 1993, IEEE Computer Society Press, pp. 126-135. Znati, T., R. Simon, and R.J. Sclabassi, "Communication and synchronization support for distributed multimedia systems," Proc. ACM Multimedia '93 Workshop on Programming Abstractions for Distributed Multimedia Applications, Aug. 1993, pp. 137-141.
1992
Berztiss, A.T., "Operational construction of integrity constraints," Proc. 4th Int'l Conf. Software Eng. and Knowledge Eng., 1992, pp. 487-494. Berztiss, A.T., "Engineering principles and software engineering," Proc. 6th SEI Conf. Software Eng. Educ., 1992, (Springer-Verlag LNCS no. 640), pp. 437-451. Buchanan, B.G., J.D. Moore, D.E. Forsythe, G. Banks, and S. Ohlsson, "Involving patients in health care: using medical informatics for explanation in the clinical setting," Proc. of the 16th Annual Symp. Computer Applications in Medical Care (SCAM '92), 1992, McGraw-Hill, pp. 510-514. Daley, R. and B. Kalyanasundaram, "Probabilistic vs. pluralistic learning with mind change," Proc. Int'l Symp. Math. Foundations Comp. Science, 1992, pp. 218-226. DiBella, K., K. Ramamritham, P.K. Chrysanthis, and S. Raghuram, "Scheduling algorithms and their performance on shared memory multiprocessors," Proc. 5th ISMM Conf. Parallel and Distributed Computing and Systems, Oct. 1992, pp. 133-139. Dow, C.R., S.K. Chang, and M.L. Soffa, "A visualization system for parallelized programs," Proc. Supercomputing 92, Nov. 1992, pp. 194-203. Dow, C.R., M.L. Soffa, and S.K. Chang, "A software system for the visualization of parallelizing programs," Proc. 1992 Int'l Computer Symp., Dec. 1992, pp. 768-775. Duesterwald, E., R. Gupta, and M.L. Soffa, "Register pipelining: An integrated approach to register allocation for scalar and subscripted variables," Proc. Int'l Workshop Compiler Construction, Oct. 1992, (Springer-Verlag LNCS no. 641), pp. 192-206. Forsythe, D.E., "Using ethnography to build a working system: Rethinking basic design assumptions," Proc. 16th Annual Symp. Computer Applications in Medical Care (SCAMC92), 1992, McGraw-Hill, pp. 505-509. Gopinath, P., T. Bihari, and R. Gupta, "Supporting real-time software integrated circuits," Proc. IEEE Workshop Imprecise and Approximate Computation, Dec. 1992, pp. 55-61. Gupta, R. and M.L. Soffa, "Automatic generation of a compact test suite," Proc. Twelfth IFIP World Congress, vol. I, Sept. 1992, pp. 237-243. Gupta, R., M.J. Harrold, and M.L. Soffa, "An approach to regression testing using slicing," Proc. Conf. Software Maintenance, Nov. 1992, pp. 299-308. Jones, R. and K. VanLehn, "A fine-grained model of skill acquisition: Fitting Cascade to individual subjects," Proc. 14th Annual Conf. Cognitive Science Soc., Erlbaum, 1992, pp. 873-878. Malloy, B., R. Gupta, and M.L. Soffa, "A shape matching approach for scheduling fine-grained parallelism," Proc. 25th Annual ACM/IEEE Int'l Symp. Microarchitecture, Dec. 1992, pp. 264-267. Massari, A., G. Costagliola, P. Chrysanthis, and S.K. Chang, "Programs as databases: Treating code and comments as first class objects," Proc. 5th Int'l Conf. Software Eng. and Knowledge Eng., 1992, pp. 78-85. Plantinga, H., "An algorithm for finding the weakly visible faces from a polygon 3D," Proc. Canadian Conf. Computational Geometry, 1992, pp. 45-51. Watts, T., M.L. Soffa, and R. Gupta, "Techniques for integrating parallelizing transformations and compiler based scheduling methods," Proc. Supercomputing'92, Nov. 1992, pp. 830-839. Znati, T. and B. Field, "A network level fractional channel to support guaranteed real-time communication," Proc. 17th Conf. Local Computer Networks, Sept. 1992, IEEE Computer Society Press, pp. 436-445.