Research Output

1993

ActorSpace: An Open Distributed Programming Paradigm

Agha, G. & Callsen, C. J., Jan 7 1993, In : ACM SIGPLAN Notices. 28, 7, p. 23-32 10 p.

Research output: Contribution to journalArticle

ActorSpaces: A model for scalable heterogeneous computing

Agha, G. A. & Callsen, C. J., Jan 1 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE Computer Society, p. 100-101 2 p. 284046. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agglomerative clustering on range data with a unified probabilistic merging function and termination criterion

Lavalle, S. M., Moroney, K. J. & Hutchinson, S. A., Dec 1 1993, IEEE Computer Vision and Pattern Recognition. Anon (ed.). Publ by IEEE, p. 798-799 2 p. (IEEE Computer Vision and Pattern Recognition).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Algebraic Decoding Using Special Divisors

Duursma, I. M., Mar 1993, In : IEEE Transactions on Information Theory. 39, 2, p. 694-698 5 p.

Research output: Contribution to journalArticle

Analytical formulation of small signal stability analysis of power systems with nonlinear load models

Ranjan, R. K., Pai, M. A. & Sauer, P. W., Sep 1 1993, In : Sadhana. 18, 5, p. 869-889 21 p.

Research output: Contribution to journalArticle

An application-driven approach to networked multimedia systems

Nahrstedt, K. & Smith, J. M., Jan 1 1993, Proceedings - 18th Conference on Local Computer Networks, LCN 1993. IEEE Computer Society, p. 361-368 8 p. 591244. (Proceedings - Conference on Local Computer Networks, LCN).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An execution profiler for window‐oriented applications

Gupta, A. & Hwu, WM. W., May 1993, In : Software: Practice and Experience. 23, 5, p. 487-510 24 p.

Research output: Contribution to journalArticle

Application of Nonlinear Control Theory to Electronically Controlled Suspensions

Alleyne, A., Neuhaus, P. D. & Hedrick, J. K., Jan 1 1993, In : Vehicle System Dynamics. 22, 5-6, p. 309-320 12 p.

Research output: Contribution to journalArticle

Applications of reduced‐encoding MR imaging with generalized‐series reconstruction (RIGR)

Webb, A. G., Liang, Z-P., Magin, R. L. & Lauterbur, P. C., Jan 1 1993, In : Journal of Magnetic Resonance Imaging. 3, 6, p. 925-928 4 p.

Research output: Contribution to journalArticle

A Systematic Approach to Designing Distributed Real-Time Systems

Sha, L. & Sathaye, S. S., Sep 1993, Computer, 26, 9, p. 68-78 11 p.

Research output: Contribution to specialist publicationArticle

A Theoretical Analysis of the SLIM Technique

Liang, Z. P. & Lauterbur, P. C., Jan 1 1993, In : Journal of Magnetic Resonance, Series B. 102, 1, p. 54-60 7 p.

Research output: Contribution to journalArticle

A Unified Formalization of Four Shared-Memory Models

Adve, S. V. & Hill, M. D., Jun 1993, In : IEEE Transactions on Parallel and Distributed Systems. 4, 6, p. 613-624 12 p.

Research output: Contribution to journalArticle

Bayesian region merging probability for parametric image models

Lavalle, S. M. & Hutchinson, S. A., Dec 1 1993, IEEE Computer Vision and Pattern Recognition. Anon (ed.). Publ by IEEE, p. 778-779 2 p. (IEEE Computer Vision and Pattern Recognition).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bayes-optimal visualization of vector fields

Boesel, R. W. & Bresler, Y., Sep 8 1993, In : Proceedings of SPIE - The International Society for Optical Engineering. 1913, p. 570-581 12 p.

Research output: Contribution to journalConference article

Compilation and evaluation of linear mutual recursions

Han, J., Apr 1 1993, In : Information Sciences. 69, 1-2, p. 157-183 27 p.

Research output: Contribution to journalArticle

Compilation of a highly parallel actor-based language

Kim, W. & Agha, G., Jan 1 1993, Languages and Compilers for Parallel Computing - 5th International Workshop, Proceedings. Padua, D., Nicolau, A., Gelernter, D. & Banerjee, U. (eds.). Springer-Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 757 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Control of asynchronous sampled-data systems

Voulgaris, P. & Bamieh, B., Dec 1 1993, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 785-786 2 p.

Research output: Contribution to journalConference article

Data-Driven Discovery of Quantitative Rules in Relational Databases

Han, J., Cai, Y. & Cercone, N., Feb 1993, In : IEEE Transactions on Knowledge and Data Engineering. 5, 1, p. 29-40 12 p.

Research output: Contribution to journalArticle

Decentralized Optimal Power Pricing: The Development of a Parallel Program

Lumetta, S., Murphy, L., Li, X., Culler, D. C. & Khalil, I. S., Nov 1993, In : IEEE Parallel & Distributed Technology: Systems & Applications. 1, 4, p. 23-31 9 p.

Research output: Contribution to journalArticle

Decentralized Sequential Detection with a Fusion Center Performing the Sequential Test

Veeravalli, V. V., Başar, T. & Poor, H. V., Mar 1993, In : IEEE Transactions on Information Theory. 39, 2, p. 433-442 10 p.

Research output: Contribution to journalArticle

Dependability Measurement and Modeling of a Multicomputer System

Tang, D. & Iyer, R. K., Jan 1993, In : IEEE Transactions on Computers. 42, 1, p. 62-75 14 p.

Research output: Contribution to journalArticle

Design and analysis of an information theoretic algorithm for vector field segmentation

Kerfoot, I. B. & Bresler, Y., Jun 10 1993, In : Proceedings of SPIE - The International Society for Optical Engineering. 1904, p. 92-103 12 p.

Research output: Contribution to journalConference article

Design and theoretical analysis of a vector field segmentation algorithm

Kerfoot, I. B. & Bresler, Y., Jan 1 1993, Image and Multidimensional Signal Processing. Publ by IEEE, p. V-5-V-8 (Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Designing and implementing Choices: An object-oriented system in C++

Campbell, R. H., Islam, N., Raila, D. & Madany, P., Jan 9 1993, In : Communications of the ACM. 36, 9, p. 117-126 10 p.

Research output: Contribution to journalArticle

Deterministic λ-free Petri net languages and their application to the supervisory control of Discrete Event Dynamic Systems

Sreenivas, R. S., Dec 1 1993, Midwest Symposium on Circuits and Systems. Publ by IEEE, p. 340-343 4 p. (Midwest Symposium on Circuits and Systems; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed access to persistent objects

Lim, S. B., Xiao, L. & Campbell, R., Dec 1 1993, IFIP Transactions A: Computer Science and Technology. A-39 ed. Publ by Elsevier Science Publishers B.V., p. 329-340 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Explanation-Based Learning for Intelligent Process Planning

Park, S. C., Gervasio, M. T., Shaw, M. J. & DeJong, G. F., Jan 1 1993, In : IEEE Transactions on Systems, Man and Cybernetics. 23, 6, p. 1597-1616 20 p.

Research output: Contribution to journalArticle

Exploiting visual constraints in the synthesis of uncertainty-tolerant motion plans II: The nondiretional backprojection

Fox, A. & Hutchinson, S., 1993, Proceedings - IEEE International Conference on Robotics and Automation. Anon (ed.). Publ by IEEE, Vol. 1. p. 311-316 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extracting projective structure from single perspective views of 3D point sets

Rothwell, C. A., Forsyth, D. A., Zisserman, A. & Mundy, J. L., Jan 1 1993, 1993 IEEE 4th International Conference on Computer Vision. Publ by IEEE, p. 573-582 10 p. (1993 IEEE 4th International Conference on Computer Vision).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fast and accurate gate-level transient fault-simulation environment

Cha, H., Rudnick, E. M., Choi, G. S., Patel, J. H. & Iyer, R. K., Dec 1 1993, Digest of Papers - International Symposium on Fault-Tolerant Computing. Anon (ed.). Publ by IEEE, p. 310-319 10 p. (Digest of Papers - International Symposium on Fault-Tolerant Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault behavior dictionary for simulation of device-level transients

Choi, G. S., Iyer, R. K. & Saab, D. G., Dec 1 1993, Proc 1993 IEEE ACM Int Conf Comput Aided Des. Anon (ed.). Publ by IEEE, p. 6-9 4 p. (Proc 1993 IEEE ACM Int Conf Comput Aided Des).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Faults, symptoms, and software fault tolerance in the Tandem GUARDIAN90 operating system

Lee, I. & Iyer, R. K., Dec 1 1993, Digest of Papers - International Symposium on Fault-Tolerant Computing. Anon (ed.). Publ by IEEE, p. 20-29 10 p. (Digest of Papers - International Symposium on Fault-Tolerant Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Field Failures And Reliability In Operation

Kanoun, K., Chillarege, R., Iyer, R. K., Laprie, J. C. & Musa, J. D., Jan 1 1993, Proceedings - 4th International Symposium on Software Reliability Engineering, ISSRE 1993. IEEE Computer Society, p. 122-126 5 p. 624281. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults

Kao, W. L. & Iyer, R. K., Nov 1993, In : IEEE Transactions on Software Engineering. 19, 11, p. 1105-1118 14 p.

Research output: Contribution to journalArticle

Formal methods for actor systems: A progress report

Agha, G. A., Dec 1 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Game theory as a unifying structure for a variety of robot tasks

Lavalle, S. M. & Hutchison, S. A., 1993, Proc 1993 IEEE Int Symp Intell Control. Publ by IEEE, p. 429-434 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Group Decision Support Systems and Group Communication: A Comparison of Decision Making in Computer-Supported and Nonsupported Groups

Poole, M. S., Holmes, M., Watson, R. & DeSanctis, G., Apr 1993, In : Communication Research. 20, 2, p. 176-213 38 p.

Research output: Contribution to journalArticle

H-optimal control for singularly perturbed systems. Part I: Perfect state measurements

Pan, Z. & Başar, T., Mar 1993, In : Automatica. 29, 2, p. 401-423 23 p.

Research output: Contribution to journalArticle

Integrating ethnography into the requirements engineering process

Sommerville, I., Rodden, T., Sawyer, P., Bentley, R. & Twidale, M., Jan 1 1993, Proceedings of the IEEE International Symposium on Requirements Engineering, ISRE 1993. IEEE Computer Society, p. 165-173 9 p. 324821. (Proceedings of the IEEE International Conference on Requirements Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Integration of simulation modeling and inductive learning in an adaptive decision support system

Piramuthu, S., Raman, N., Shaw, M. J. & Chan Park, S., Jan 1993, In : Decision Support Systems. 9, 1, p. 127-142 16 p.

Research output: Contribution to journalArticle

Isomorphic Routing on a Toroidal Mesh

Nicol, D. M. & Mao, W., 1993, Ft, Belvoir: Defense Technical Information Center.

Research output: Book/ReportBook

Machine learning methods for intelligent decision support An introduction

Shaw, M. J-P., Sep 1993, In : Decision Support Systems. 10, 2, p. 79-83 5 p.

Research output: Contribution to journalArticle

Maximal Lyapunov exponent and rotation numbers for two coupled oscillators driven by real noise

Sri Namachchivaya, N. & Van Roessel, H. J., May 1993, In : Journal of Statistical Physics. 71, 3-4, p. 549-567 19 p.

Research output: Contribution to journalArticle

Maximum Likelihood Parameter Estimation of Superimposed Signals by Dynamic Programming

Yau, S. F. & Bresler, Y., Feb 1993, In : IEEE Transactions on Signal Processing. 41, 2, p. 804-820 17 p.

Research output: Contribution to journalArticle

Maximum loadability and voltage stability in power systems

Sauer, P. W., Lesieutre, B. C. & Pai, M. A., Jun 1993, In : International Journal of Electrical Power and Energy Systems. 15, 3, p. 145-153 9 p.

Research output: Contribution to journalArticle

May I borrow your logic?

Cerioli, M. & Meseguer, J., Jan 1 1993, Mathematical Foundations of Computer Science 1993 - 18th International Symposium, MFCS 1993, Proceedings. Borzyszkowski, A. M. & Sokolowski, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 342-351 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 711 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

MEASURE+ -A measurement-based dependability analysis package

Tang, D. & Iyer, R. K., Jun 1 1993, Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993. Association for Computing Machinery, Inc, p. 110-121 12 p. (Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993).

Research output: Chapter in Book/Report/Conference proceedingConference contribution