Research Output 1972 2020

1992

HAL: A High-Level Actor Language and Its Distributed Implementation

Houck, C. & Agha, G. A., 1992, Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign. (Department of Computer Science; no. UIUCDCS-R-92-1728)

Research output: Book/ReportTechnical report

Hierarchical garbage collection in scalable distributed systems

Venkatasubramanian, N., Talcott, C. & Agha, G. A., Apr 1992, Urbana, Il: Dept. of Computer Science, University of Illinois at Urbana-Champaign. 14 p. (Open Systems Laboratory; no. 4)

Research output: Book/ReportTechnical report

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

Pan, Z. & Basar, M. T., Dec 1 1992, Proceedings of the American Control Conference. Publ by American Automatic Control Council, p. 1850-1854 5 p. (Proceedings of the American Control Conference; vol. 3).

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

Controllers
Cost functions
Linear systems
Composite materials

Image restoration by complexity regularization via dynamic programming

Yau, S. F. & Bresler, Y., Jan 1 1992, ICASSP 1992 - 1992 International Conference on Acoustics, Speech, and Signal Processing. Institute of Electrical and Electronics Engineers Inc., p. 305-308 4 p. 226240. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 3).

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

Image reconstruction
Convolution
Dynamic programming
Restoration

Intelligent Scheduling with Machine Learning Capabilities: The Induction of Scheduling Knowledge

Shaw, M. J., Park, S. & Raman, N., May 1992, In : IIE Transactions (Institute of Industrial Engineers). 24, 2, p. 156-168 13 p.

Research output: Contribution to journalArticle

Learning systems
Scheduling
Decision trees
Flexible manufacturing systems
Dynamic programming
Parameter estimation
Maximum likelihood
Signal sampling
Sensor arrays

Microlevel Structuration in Computer‐Supported Group Decision Making

SCOTT, MARSHALL. & DeSANCTIS, POOLE. GERARDINE., Sep 1992, In : Human Communication Research. 19, 1, p. 5-49 45 p.

Research output: Contribution to journalArticle

structuration
group decision
Decision support systems
Decision Making
Decision making

Microwave bandpass filters using series‐cascaded sections of microstrip line

Bernhard, J. T. & Joines, W. T., Apr 1992, In : Microwave and Optical Technology Letters. 5, 4, p. 177-181 5 p.

Research output: Contribution to journalArticle

Microwave filters
Microstrip lines
Bandpass filters
bandpass filters
Frequency response

Multiparadigm logic programming

Meseguer, J., Jan 1 1992, Algebraic and Logic Programming - 3rd International Conference, Proceedings. Levi, G. & Kirchner, H. (eds.). Springer-Verlag, p. 158-200 43 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 632 LNCS).

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

Logic programming
Logic Programming
Computer programming languages
Programming Languages
Logic

Multiparameter image visualization by projection pursuit (Proceedings Only)

Harikumar, G. & Bresler, Y., Dec 1 1992, Proceedings of SPIE - The International Society for Optical Engineering. Publ by Int Soc for Optical Engineering, p. 159-170 12 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 1808).

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

congressional reports
Visualization
projection
Display devices
Magnetic resonance imaging

New paradigm for optimal multiparameter image visualization

Boesel, R. W. & Bresler, Y., 1992, Proceedings of SPIE - The International Society for Optical Engineering. Publ by Int Soc for Optical Engineering, Vol. 1808. p. 347-361 15 p.

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

Visualization
Display devices
Image fusion
Magnetic resonance imaging
fusion

Nicke – C Extensions for Programming on Distributed-Memory Machines

Malki, D. & Snir, M., Jan 1 1992, Advances in Parallel Computing. C ed. p. 103-118 16 p. (Advances in Parallel Computing; vol. 3, no. C).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer programming
Data storage equipment
Message passing
Computer programming languages
Mach number

Norm Invariance of Minimax Interpolation

Willis, N. P. & Bresler, Y., May 1992, In : IEEE Transactions on Information Theory. 38, 3, p. 1177-1181 5 p.

Research output: Contribution to journalArticle

Invariance
Interpolation
Hilbert spaces
Inverse problems

Parallel programming in maude

Meseguer, J. & Winkler, T., Jan 1 1992, Research Directions in High-Level Parallel Programming Languages, Proceedings. Banatre, J. P. & Le Metayer, D. (eds.). Springer-Verlag, p. 253-293 41 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 574 LNCS).

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

Maude
Parallel programming
Parallel Programming

Profile‐guided automatic inline expansion for C programs

Chang, P. P., Mahlke, S. A., Chen, W. Y. & Hwu, WM. W., May 1992, In : Software: Practice and Experience. 22, 5, p. 349-369 21 p.

Research output: Contribution to journalArticle

Plant expansion
Program compilers
Information use
Hazards

Proxies, application interfaces, and distributed systems

Dave, A., Sefika, M. & Campbell, R. H., Jan 1 1992, Proceedings - 2nd International Workshop on Object Orientation in Operating Systems, IWOOOS 1992. Cabrera, L-F. & Jul, E. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 212-220 9 p. 252978. (Proceedings - 2nd International Workshop on Object Orientation in Operating Systems, IWOOOS 1992).

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

Application programming interfaces (API)
Virtual addresses
Table lookup
Interfaces (computer)
Servers

Recognising rotationally symmetric surfaces from their outlines

Forsyth, D. A., Mundy, J. L., Zisserman, A. & Rothwell, C. A., Jan 1 1992, Computer Vision - ECCV 1992 - 2nd European Conference on Computer Vision, Proceedings. Sandini, G. (ed.). Springer-Verlag, p. 639-647 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 588 LNCS).

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

Rotational symmetry
Curved Surface
Computer Vision
Open Problems
Camera

Relative motion and pose from arbitrary plane curves

Rothwell, CA., Zisserman, A., Marinos, CI., Forsyth, DA. & Mundy, JL., May 1992, In : Image and Vision Computing. 10, 4, p. 250-262 13 p.

Research output: Contribution to journalArticle

Calibration
Recovery

Representing probability distributions of image segments and segmentations

Lavalle, S. M. & Hutchinson, S. A., Jan 1 1992, 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992. Institute of Electrical and Electronics Engineers Inc., p. 1552-1557 6 p. 271519. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 1992-January).

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

Probability distributions

Scalable concurrent computing

Venkatasubramanian, N., Miriyala, S. & Agha, G. A., Mar 1 1992, In : Sadhana. 17, 1, p. 193-220 28 p.

Research output: Contribution to journalArticle

Computer programming
Parallel programming
Parallel processing systems
Computer programming languages
Hardware

Scalable distributed garbage collection for systems of active objects

Venkatasubramanian, N., Agha, G. & Talcott, C., Jan 1 1992, Memory Management - International Workshop IWMM 1992, Proceedings. Cohen, J. & Bekkers, Y. (eds.). Springer-Verlag, p. 134-147 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 637 LNCS).

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

Garbage Collection
Storage management
Parallel programming
Topology
Programming Environments

Sentinel scheduling for VLIW and superscalar processors

Mahlke, S. A., Chen, W. Y., Hwu, W-M. W., Rau, B. R. & Schlansker, M. S., Jan 1 1992, International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS. 9 ed. Publ by ACM, p. 238-247 10 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 27, no. 9).

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

Scheduling

Sentinel Scheduling for VLIW and Superscalar Processors

Mahlke, S. A., Chen, W. Y., Hwu, W. M. W., Rau, B. R. & Schlansker, M. S., Jan 9 1992, In : ACM SIGPLAN Notices. 27, 9, p. 238-247 10 p.

Research output: Contribution to journalArticle

Scheduling

Sequential decomposition and policy iteration schemes for M-player games with partial weak coupling

Srikant, R. & Başar, T., Jan 1992, In : Automatica. 28, 1, p. 95-105 11 p.

Research output: Contribution to journalArticle

Iterative methods
Cost functions
Decomposition

Systematic prototyping of superscalar computer architectures

Conte, T. M. & Hwu, W-M. W., Jan 1 1992, Proceedings - 3rd International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, RSP 1992. IEEE Computer Society, p. 161-170 10 p. 243910. (Proceedings of the International Workshop on Rapid System Prototyping; vol. 1992-January).

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

Computer architecture
Architectural design
Hardware
Data storage equipment

System Integration in Intelligent Manufacturing: An Introduction

Shaw, M. J., Solberg, J. J. & Woo, T. C., Jul 1992, In : IIE Transactions (Institute of Industrial Engineers). 24, 3, p. 2-6 5 p.

Research output: Contribution to journalArticle

Tolerating data access latency with register preloading

Chen, W. Y., Mahlke, S. A., Hwu, W-M. W., Kiyohara, T. & Chang, P. P., Aug 1 1992, Proceedings of the 6th International Conference on Supercomputing, ICS 1992. Association for Computing Machinery, p. 104-113 10 p. (Proceedings of the International Conference on Supercomputing; vol. Part F129617).

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

Supercomputers
Hardware
Data storage equipment

Towards a theory of actor computation

Agha, G., Mason, I. A., Smith, S. & Talcott, C., Jan 1 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Springer-Verlag, p. 565-579 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 630 LNCS).

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

Open systems
Semantics
Specifications
Testing
Fairness

User's guide to the Reliability Estimation System Testbed (REST)

Nicol, D. M., Palumbo, D. L. & Rifkin, A., 1992, Washington, Dc: [For sale by the National Technical Information Service].

Research output: Book/ReportBook

Visualizing actor programs using predicate transition nets

Miriyala, S., Agha, G. A. & Sami, Y., Jun 1992, In : Journal of Visual Languages and Computing. 3, 2, p. 195-220 26 p.

Research output: Contribution to journalArticle

Fluidity
Object oriented programming
Computer programming languages
Visualization

Worst Case Cramér-Rao Bounds for Parametric Estimation of Superimposed Signals with Applications

Yau, S. F. & Bresler, Y., Dec 1992, In : IEEE Transactions on Signal Processing. 40, 12, p. 2973-2986 14 p.

Research output: Contribution to journalArticle

Parameter estimation
Array processing
Cramer-Rao bounds
Time series analysis
Experiments

Xpnet: A graphical interface to proof nets with an efficient proof checker

Chirimar, J., Gunter, C. A. & VanInwegen, M., Jan 1 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer-Verlag, p. 711-715 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

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

Proof Nets
Graphics

Xprof profiling the execution of x window programs

Gupta, A. & Hwu, W. M. W., Jun 1 1992, Proceedings of the 1992 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/PERFORMANCE 1992. Gaither, B. D. (ed.). Association for Computing Machinery, Inc, p. 253-254 2 p. (Proceedings of the 1992 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/PERFORMANCE 1992).

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

1991

Advances in parallel and distributed simulation : proceedings

Nicol, D. M., Fujimoto, R. M. & Madisetti, V., 1991, San, Diego, Ca: Simulation councils.

Research output: Book/ReportBook

A Dynamic Games Approach to Controller Design: Disturbance Rejection in Discrete-Time

Basar, M. T., Aug 1991, In : IEEE Transactions on Automatic Control. 36, 8, p. 936-952 17 p.

Research output: Contribution to journalArticle

Disturbance rejection
Riccati equations
Controllers
Observability
Random processes

A Generalized Series Approach to MR Spectroscopic Imaging

Liang, Z-P. & Lauterbur, P. C., Jun 1991, In : IEEE Transactions on Medical Imaging. 10, 2, p. 132-137 6 p.

Research output: Contribution to journalArticle

Magnetic resonance
Magnetic Resonance Imaging
Imaging techniques
Protons
Physics

A methodology of secure and optimal operation of a power system for dynamic contingencies

Sterling, J., Pai, M. A. & Sauer, P. W., Jan 1 1991, In : Electric Machines and Power Systems. 19, 5, p. 639-655 17 p.

Research output: Contribution to journalArticle

Constrained optimization
Potential energy
Dynamic analysis
Power generation
Scheduling

A Monte Carlo simulation environment for wear out in VLSI systems

Choi, G. S., Iyer, R. K. & Patel, J. H., Jan 1 1991, VLSI Design 1991 - Digest of Papers - 4th CSI/IEEE International Symposium on VLSI Design. IEEE Computer Society, p. 249-254 6 p. 185125. (Proceedings of the IEEE International Conference on VLSI Design).

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

Electromigration
Microprocessor chips
Switches
Wear of materials
Monte Carlo simulation

An abstract interpretation for ML equality kinds

Gunter, C. A., Gunter, E. L. & MacQueen, D. B., Jan 1 1991, Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings. Meyer, A. R. & Ito, T. (eds.). Springer-Verlag, p. 112-130 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 526 LNCS).

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

Abstract Interpretation
Equality
Acoustic waves
Mathematical operators
Monotone Function

A new trajectory approximation technique for transient stability studies

Pai, M. A., Sauer, P. W. & Dobraca, F., Oct 1991, In : International Journal of Electrical Power and Energy Systems. 13, 5, p. 249-254 6 p.

Research output: Contribution to journalArticle

Runge Kutta methods
Linearization
Dynamic models
Differential equations
Trajectories

An Explanation and Generalization of the AESOPS and Peals Algorithms

Sauer, P. W., Rajagopalan, C. & Pai, M. A., Feb 1991, In : IEEE Power Engineering Review. 11, 2, p. 65-66 2 p.

Research output: Contribution to journalArticle

An Explanation And Generalization Of The Aesops And Peals Algorithms

Sauer, P. W., Rajagopalan, C. & Pai, M. A., Feb 1991, In : IEEE Transactions on Power Systems. 6, 1, p. 293-299 7 p.

Research output: Contribution to journalArticle

An object-oriented model of software configuration management*

Render, H. & Campbell, R. H., May 1 1991, Proceedings of the 3rd International Workshop on Software Configuration Management, SCM 1991. Association for Computing Machinery, Inc, p. 127-139 13 p. (Proceedings of the 3rd International Workshop on Software Configuration Management, SCM 1991).

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

Approximation schemes for stochastic teams with weakly coupled agents

Basar, M. T. & Srikant, R., Jan 1 1991, p. 1-6. 6 p.

Research output: Contribution to conferencePaper

Statistics

A Real-Time Locking Protocol

Sha, L., Rajkumar, R., Son, S. H. & Chang, C. H., Jul 1991, In : IEEE Transactions on Computers. 40, 7, p. 793-800 8 p.

Research output: Contribution to journalArticle

Locking
Transactions
Real-time
Network protocols
Schedulability Analysis

A Single-Chip Pipelined 2-D FIR Filter Using Residue Arithmetic

Shanbhag, N. R. & Siferd, R. E., May 1991, In : IEEE Journal of Solid-State Circuits. 26, 5, p. 796-805 10 p.

Research output: Contribution to journalArticle

FIR filters
Networks (circuits)
Adders
Digital signal processors
Impulse response

Benchmark Characterization

Conte, T. M. & Hwu, W. M. W., Jan 1991, Computer, 24, 1, p. 48-56 9 p.

Research output: Contribution to specialist publicationArticle

Digital storage
Computer operating systems

Choices, frameworks and refinement

Campbell, R. H., Islam, N., Johnson, R., Kougiouris, P. & Madany, P., Dec 1 1991, Proc Int Workhop Object Orientat Oper Syst. Publ by IEEE, p. 9-15 7 p. (Proc Int Workhop Object Orientat Oper Syst).

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