Research Output 1971 2020

1993

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

Fusion reactions
Sensors

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

Multicomputers
Dependability
Modeling
Reward
Correlation Analysis

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

Parallel Optimization
Signal Detection
Signal detection
Parallel Algorithms
Performance Analysis

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

design analysis
Signal detection
signal detection
penalties

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

Petri nets
Dynamical systems
Controllability

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

Concurrency control
Access control
Artificial Intelligence
Artificial intelligence
Learning
Expert Systems
Decision support systems

Explanation-Based Learning for Intelligent Process Planning

Park, S. C., Gervasio, M. T., Shaw, M. J-P. & 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

Process planning
Planning
Scheduling
Brittleness
Learning systems

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

Motion planning
Topology
Uncertainty

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

Simulators
Sequential circuits
Networks (circuits)

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

Glossaries
Networks (circuits)
SPICE
Microprocessor chips
Simulators

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

Fault tolerance
Computer operating systems
Data storage equipment
Recovery

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

UNIX
Monitoring
Data storage equipment
Program processors
Computer hardware

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

Formal methods
Object oriented programming
Large scale systems

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

Game theory
Robots
Planning
Robotics
Sensors

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

Controllers
Cost functions
Linear systems
Composite materials

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

Decision support systems
Scheduling
Learning
Computer simulation
Research

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

Machine Learning

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

Rotation number
Infinitesimal Generator
Coupled Oscillators
Lyapunov Exponent
oscillators

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

Dynamic programming
Parameter estimation
Maximum likelihood
Cramer-Rao bounds
Sampling

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

Static analysis
Voltage control
Electric potential

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, 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

Logic
Adjoint Functors
Model Theory
Software System
Reuse
Mean Field
Segmentation
Bound Constraints
Annealing
Measurement Error

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

Analytical models
Hazards
Availability

Measurement-Based Evaluation of Operating System Fault Tolerance

Lee, I., Tang, D., Iyer, R. K. & Hsueh, M. C., Jan 1 1993, In : IEEE Transactions on Reliability. 42, 2, p. 238-249 12 p.

Research output: Contribution to journalArticle

Fault tolerance
Recovery
Random variables

Modeling strategic behavior in human-automation interaction: Why an 'aid' can (and should) go unused

Kirlik, A., Jan 1 1993, In : Human Factors. 35, 2, p. 221-242 22 p.

Research output: Contribution to journalArticle

Automation
automation
Design aids
interaction
assistant

Multi-time scale zero-sum differential games with perfect state measurements

Pan, Z. & Basar, M. T., 1993, Proceedings of the IEEE Conference on Decision and Control. Publ by IEEE, Vol. 4. p. 3366-3371 6 p.

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

Composite materials
Terminology
Linear systems
Feedback
Costs

Note on deciding the controllability of a language K with respect to a language L

Sreenivas, R. S., Apr 1 1993, In : IEEE Transactions on Automatic Control. 38, 4, p. 658-662 5 p.

Research output: Contribution to journalArticle

Controllability
Petri nets
Computability and decidability
Supervisory personnel
Finite automata

Object-oriented transactions in Choices

Xiao, L. & Campbell, R. H., Jan 1 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE Computer Society, p. 50-59 10 p. 284051. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2).

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

Managers

On a Weaker Notion of Controllability of a Language K with respect to a Language L

Sreenivas, R. S., Sep 1993, In : IEEE Transactions on Automatic Control. 38, 9, p. 1446-1447 2 p.

Research output: Contribution to journalArticle

Controllability
Computability and decidability
Supervisory personnel
Dynamical systems

OptiImal l1 estimation

Voulgaris, P. G., Jan 1 1993, p. 314-318. 5 p.

Research output: Contribution to conferencePaper

Model Matching
Estimation Error
Minimization Problem
Error analysis
Linear Time

Optimal H and H2 control of hybrid multirate systems

Voulgaris, P. G. & Bamieh, B., Apr 1993, In : Systems and Control Letters. 20, 4, p. 249-261 13 p.

Research output: Contribution to journalArticle

Hybrid systems
Closed loop systems
Controllers

Optimal scan design for time-varying tomographic imaging

Bresler, Y. & Willis, N. P., Jan 1 1993, Image and Multidimensional Signal Processing. Publ by IEEE, p. V-487-V-490 (Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing; vol. 5).

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

sampling
Sampling
Imaging techniques
preserving
Image quality

Optimal ℓ to ℓ estimation

Voulgaris, P., Dec 1 1993, American Control Conference. Anon (ed.). Publ by IEEE, p. 940-944 5 p. (American Control Conference).

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

Error analysis

Optimistic Parallel Simulation of Continuous Time Markov Chains Using Uniformization

Nicol, D. M. & Heidelberger, P., Aug 1993, In : Journal of Parallel and Distributed Computing. 18, 4, p. 395-410 16 p.

Research output: Contribution to journalArticle

Uniformization
Continuous-time Markov Chain
Parallel Simulation
Markov processes
Synchronization

Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems

Meseguer, J. & Goguen, J. A., Mar 1993, In : Information and Computation. 103, 1, p. 114-158 45 p.

Research output: Contribution to journalArticle

Selector
Algebra
Abstract data types
Abstract Data Types
Set theory

Parallel simulation of Markovian queueing networks using adaptive uniformization

Nicol, D. M. & Heidelberger, P., 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. 135-145 11 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

Queueing networks
Parallel architectures
Synchronization
Experiments

Parametric binary dissection

Bokhari, S. H., Crockett, T. W. & Nicol, D. M., 1993, Springfield, Va: [National Technical Information Service, distributor].

Research output: Book/ReportBook

Pipelined adaptive DFE architectures

Shanbhag, N. R. & Parhi, K. K., Nov 1 1993, In : Proceedings of SPIE - The International Society for Optical Engineering. 2027, p. 134-145 12 p.

Research output: Contribution to journalConference article

Decision Feedback
Decision feedback equalizers
Equalizer
Look-ahead
Predictors

Prediction-Based Dynamic Load-Sharing Heuristics

Goswami, K. K. & Iyer, R. K., Jun 1993, In : IEEE Transactions on Parallel and Distributed Systems. 4, 6, p. 638-648 11 p.

Research output: Contribution to journalArticle

Dynamic loads
Pattern recognition
Scheduling

Random Walks on Weighted Graphs and Applications to on-line Algorithms

Coppersmith, D., Doyle, P., Raghavan, P. & Snir, M., Jan 7 1993, In : Journal of the ACM (JACM). 40, 3, p. 421-453 33 p.

Research output: Contribution to journalArticle

Costs

Reduction of ringing and blurring artifacts in fast spin‐echo imaging

Zhou, X., Liang, ZP. P., Cofer, G. P., Beaulieu, C. F., Suddarth, S. A. & Johnson, G. A., Jan 1 1993, In : Journal of Magnetic Resonance Imaging. 3, 5, p. 803-807 5 p.

Research output: Contribution to journalArticle

Artifacts
Magnetic Fields
Computer Simulation
Microscopy
Magnetic Resonance Spectroscopy

Research directions in concurrent object-oriented programming

Agha, G. A. (ed.), Yonezawa, A. (ed.) & Wegner, P. (ed.), Nov 1993, Cambridge, Mass: MIT Press. 544 p.

Research output: Book/ReportBook

Object oriented programming
Computer programming languages
Computer science
Managers
Semantics

Resisting the canon: Feminist cultural studies, sport, and technologies of the body

Cole, C. L., Aug 1993, In : Journal of Sport & Social Issues. 17, 2, p. 77-97 21 p.

Research output: Contribution to journalArticle

cultural studies
Sports
everyday experience
gender
critical theory

REST. A parallelized system for reliability estimation

Nicol, D. M., Palumbo, D. L. & Rifkin, A., Jan 1 1993, Proceedings of the Annual Reliability and Maintainability Symposium. Anon (ed.). Publ by IEEE, p. 436-441 6 p. (Proceedings of the Annual Reliability and Maintainability Symposium).

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

Object oriented programming
Reliability analysis
Failure modes
Data storage equipment