University of Illinois at Urbana-Champaign

  • Urbana

    United States

Research Output 1956 2022

Filter
Conference contribution
1988

Coherence and consistency in domains.

Gunter, C. A., Dec 1 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 309-317 9 p. (Proc Third Annu Symp on Logic in Comput Sci).

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

Topology
Semantics

Colored Petri net based architecture for coordination control of flexible manufacturing systems

Menon, S. R. & Ferreira, P. M., 1988, American Society of Mechanical Engineers, Production Engineering Division (Publication) PED. Publ by American Soc of Mechanical Engineers (ASME), Vol. 31. p. 69-88 20 p.

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

Flexible manufacturing systems
Petri nets
Controllers
Scheduling

Determination of camera location from 2D to 3D line and point correspondences.

Liu, Y., Huang, T. S. & Faugeras, O. D., Dec 1 1988, Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit. Publ by IEEE, p. 82-88 7 p. (Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit).

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

Cameras
Linear equations

Diagnostic reasoning in digital systems.

Thearling, K. H. & Iyer, R. K., Dec 1 1988, Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). Publ by IEEE, p. 286-291 6 p. (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)).

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

Failure analysis
Networks (circuits)
Digital circuits

dI-domains as a model of polymorphism

Coquand, T., Gunter, C. & Winskel, G., Jan 1 1988, Mathematical Foundations of Programming Language Semantics - 3rd Workshop, Proceedings. Main, M., Melton, A., Schmidt, D. & Mislove, M. (eds.). Springer-Verlag, p. 344-363 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 298 LNCS).

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

Polymorphism
Denotational Semantics
Semantics
Model
Event Structures

EARLY REPORT ON ENCOMPASS.

Terwilliger, R. B. & Campbell, R. H., Jan 1 1988, Proceedings - International Conference on Software Engineering. IEEE, p. 344-354 11 p. (Proceedings - International Conference on Software Engineering).

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

Ada (programming language)
Specifications
Specification languages
Formal methods
Project management

Entrainment of bed sediment by density underflows

Garcia, M. & Parker, G., Dec 1 1988, Hydraul Eng Proc 1988 Natl Conf Hydraul Eng. Publ by ASCE, p. 270-275 6 p. (Hydraul Eng Proc 1988 Natl Conf Hydraul Eng).

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

Erosion
Sediments
Current density

EXPLOITING PARALLEL MICROPROCESSOR MICROARCHITECTURES WITH A COMPILER CODE GENERATOR.

Hwu, W. M. W. & Chang, P. P., Jan 1 1988, Unknown Host Publication Title. IEEE, p. 45-53 9 p.

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

Microprocessor chips
Subroutines
Experiments
Costs

Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm

Sprunt, B., Lehoczky, J. & Sha, L., Dec 1 1988, Proc Real Time Syst Symp. Publ by IEEE, p. 251-258 8 p. (Proc Real Time Syst Symp; vol. 35 n 6).

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

Servers
Scheduling algorithms

Feature extraction and terrain matching.

Goldgof, D. B., Huang, T. S. & Lee, H., Dec 1 1988, Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit. Publ by IEEE, p. 899-904 6 p. (Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit).

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

Feature extraction
Derivatives

Flammability characteristics of treated coals

Collins, P. K., Schroeder, A. R., Buckius, R. O., Krier, H. & Peters, J. E., 1988, American Society of Mechanical Engineers, Petroleum Division (Publication) PD. Publ by American Soc of Mechanical Engineers (ASME), Vol. 25. p. 19-24 6 p.

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

Flammability
Coal
coal
air
Coal dust

How to obtain more compactable channel routing solutions.

Cong, J. & Wong, D. F., Dec 1 1988, Proceedings - Design Automation Conference. Publ by IEEE, p. 663-666 4 p. (Proceedings - Design Automation Conference).

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

Compaction
Routers

HPSM2: A REFINED SINGLE-CHIP MICROENGINE.

Hwu, W-M. W. & Patt, Y. N., 1988, Proceedings of the Hawaii International Conference on System Science. Hoevel, L. W. & NCR Corp, D. (eds.). IEEE, p. 30-40 11 p.

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

Hardware

Hydraulic study for the construction of artificial islands in Peoria Lake, Illinois

Demissie, M., Soong, D. & Bhowmik, N. G., Dec 1 1988, Hydraul Eng Proc 1988 Natl Conf Hydraul Eng. Publ by ASCE, p. 340-345 6 p. (Hydraul Eng Proc 1988 Natl Conf Hydraul Eng).

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

Lakes
Hydraulics
Sediment transport
Velocity distribution
Sedimentation

Implementation parallelized queueing network simulations using FORTRAN and data abstraction

Miller, K. W. & Nicol, D. M., Dec 1 1988, Winter Simul Conf Proc 1988. Abrams, M. A., Haigh, P. L. & Comfort, J. C. (eds.). Publ by IEEE, p. 333-338 6 p. (Winter Simulation Conference Proceedings).

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

D.3.2 [Programming Languages]: Language Classifications - Fortran
Abstract data types
Queueing networks
Flavin-Adenine Dinucleotide
Queueing Networks

Introduction to Ramanujan's modular equations

Berndt, B. C., 1988, Proceedings of the Ramanujan Centennial International Conference (Annamalainagar, 1987). Ramanujan Math. Soc., Annamalainagar, Vol. 1. p. 15-20 6 p. (RMS Publ.).

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

Invariant pattern recognition by means of fast synaptic plasticity

Buhmann, J. & Schulten, K., 1988, IEEE Int Conf on Neural Networks. Publ by IEEE, p. 125-132 8 p.

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

Neurons
Pattern recognition
Plasticity
Plastics
Neural networks

KNOWLEDGE-BASED SYNTHESIS OF CUSTOM VLSI PHYSICAL DESIGN TOOLS: FIRST STEPS.

Setliff, D. E. & Rutenbar, R. A., Jan 1 1988, Unknown Host Publication Title. IEEE, p. 102-108 7 p.

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

Computer programming
Routers
High level languages
Integrated circuits
Data structures

Kohonen's self-organizing maps: Exploring their computational capabilities

Ritter, H. & Schulten, K., 1988, IEEE Int Conf on Neural Networks. Publ by IEEE, p. 109-116 8 p.

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

Self organizing maps
Combinatorial optimization
Probability distributions
Brain

Linear algorithm for motion estimation: How to handle degenerate cases

Huang, T. S. & Shim, Y. S., Jan 1 1988, Pattern Recognition - 4th International Conference, Proceedings. Kittler, J. (ed.). Springer-Verlag, p. 439-447 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 301 LNCS).

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

Linear Algorithm
Motion Estimation
Motion estimation
3D
Correspondence

Linear algorithm for motion estimation using straight line correspondences

Liu, Y. & Huang, T. S., Dec 1 1988, Proceedings - International Conference on Pattern Recognition. Publ by IEEE, p. 213-219 7 p. (Proceedings - International Conference on Pattern Recognition).

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

Motion estimation

Mask verification on the connection machine.

Carlson, E. C. & Rutenbar, R. A., 1988, Proceedings - Design Automation Conference. Publ by IEEE, p. 134-140 7 p.

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

Masks
Labeling
Experiments

Maximum likelihood estimation of a linearly structured covariance with application to antenna array processing

Bresler, Y., 1988, Fourth Annu ASSP Workshop Spectrum Estim Model. Publ by IEEE, p. 172-175 4 p.

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

Array processing
Maximum likelihood estimation
Antenna arrays
Nonlinear programming
Maximum likelihood

Motion analysis of nonrigid surfaces.

Goldgof, D. B., Lee, H. & Huang, T. S., Dec 1 1988, Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit. Publ by IEEE, p. 375-380 6 p. (Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit).

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

Motion analysis

Motion and structure from orthographic projections

Huang, T. S. & Lee, C. H., Dec 1 1988, Proceedings - International Conference on Pattern Recognition. Publ by IEEE, p. 885-887 3 p. (Proceedings - International Conference on Pattern Recognition).

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

Motion and structure from point correspondences: A robust algorithm for planar case with error estimation

Weng, J., Ahuja, N. & Huang, T. S., 1988, Proceedings - International Conference on Pattern Recognition. Publ by IEEE, p. 247-251 5 p.

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

Error analysis
Linear equations
Eigenvalues and eigenfunctions
Surface structure

Oscillations-induced transitions and their application in control of dynamical systems

Bentsman, J., 1988, American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC. Publ by American Soc of Mechanical Engineers (ASME), Vol. 10. p. 23-31 9 p.

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

Dynamical systems
Refining
Nonlinear systems

PARCEL: Project for the automatic restructuring and concurrent evaluation of lisp

Harrison, L. & Padua, D. A., Jun 1 1988, Proceedings of the 2nd International Conference on Supercomputing, ICS 1988. Lenfant, J. (ed.). Association for Computing Machinery, p. 527-538 12 p. (Proceedings of the International Conference on Supercomputing; vol. Part F130184).

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

Data storage equipment

PATH PLANNING USING A POTENTIAL FIELD REPRESENTATION.

Hwang, Y. K. & Ahuja, N., 1988, Unknown Host Publication Title. IEEE, p. 648-649 2 p.

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

Motion planning
Electrostatics

PRIORITY-DRIVEN, PREEMPTIVE I/O CONTROLLERS FOR REAL-TIME SYSTEMS.

Sprunt, B., Kirk, D. & Sha, L. R., Jan 1 1988, Unknown Host Publication Title. IEEE, p. 152-159 8 p.

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

Real time systems
Controllers
Costs
Program processors

Process management and exception handling in multiprocessor operating systems using object-oriented design techniques

Russo, V., Johnston, G. & Campbell, R. H., Jan 1 1988, Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988. Meyrowitz, N. (ed.). Association for Computing Machinery, Inc, p. 248-258 11 p. (Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988).

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

Computer systems programming
Computer programming languages
Synchronization
Systems analysis
Scheduling

PROLOG AT THE UNIVERSITY OF ILLINOIS.

Gooley, M. M., Kale, L. V., Padua, D. A., Ramkumar, B., Reddy, U. S., Sehr, D. C., Shu, W. W. & Wah, B. W., Jan 1 1988, Unknown Host Publication Title. IEEE, p. 68-73 6 p.

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

Logic programming
Functional programming

Radio observations of SN 1987A

Bartel, N., Shapiro, I. I., Jauncey, D. L., Kemball, A., Whitney, A. R., Rogers, A. E. E., Preston, R. A. & Jones, D. L., 1988, Supernova 1987A in the Large Magellanic Cloud: Proceedings of the Fourth George Mason Astrophysics Workshop. Kafatos, M. & Michalitsianos, A. G. (eds.). Cambridge University Press, p. 81-86 6 p.

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

radio observation
bursts
very long base interferometry
radio emission
light curve

Random vibration of a discrete-distributed system

Bergman, L. & McFarland, D. M., Dec 1 1988, Probab Methods Civ Eng Proc 5th ASCE Spec Conf. Publ by ASCE, p. 193-196 4 p. (Probab Methods Civ Eng Proc 5th ASCE Spec Conf).

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

White noise

Real-time synchronization protocols for multiprocessors

Rajkumar, R., Sha, L. R. & Lehoczky, J. P., Dec 1 1988, Proc Real Time Syst Symp. Publ by IEEE, p. 259-269 11 p. (Proc Real Time Syst Symp; vol. 35 n 6).

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

Synchronization
Scheduling
Data storage equipment

Robustness of nonlinear vibrationally stabilizable systems with respect to time lags

Bentsman, J. & Lehman, B., 1988, American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC. Publ by American Soc of Mechanical Engineers (ASME), Vol. 10. p. 91-95 5 p.

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

Nonlinear systems
Time delay
Stabilization

Sedimentation problems of the Illinois River valley

Bhowmik, N. G. & Demissie, M., Dec 1 1988, Hydraul Eng Proc 1988 Natl Conf Hydraul Eng. Publ by ASCE, p. 844-849 6 p. (Hydraul Eng Proc 1988 Natl Conf Hydraul Eng).

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

Sedimentation
Rivers
Lakes
Sediments
Dams

Surface reconstruction by dynamic integration of focus, camera vergence, and stereo

Abbott, A. L. & Ahuja, N., Dec 1 1988, Second Int Conf on Comput Vision. Publ by IEEE, p. 532-543 12 p. (Second Int Conf on Comput Vision).

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

Surface reconstruction
Cameras

The priority ceiling protocol: A method for minimizing the blocking of high priority ada tasks

Goodenough, J. B. & Sha, L., Jun 1 1988, Proceedings of the 2nd International Workshop on Real-Time Ada Issues, IRTAW 1988. Barnes, J. (ed.). Association for Computing Machinery, Inc, p. 20-31 12 p. (Proceedings of the 2nd International Workshop on Real-Time Ada Issues, IRTAW 1988).

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

Ceilings

TLB CONSISTENCY ON HIGHLY-PARALLEL SHARED-MEMORY MULTIPROCESSORS.

Teller, P. J., Kenner, R. & Snir, M., Jan 1 1988, Proceedings of the Hawaii International Conference on System Science. Hoevel, L. W. & NCR Corp, D. (eds.). IEEE, p. 184-193 10 p. (Proceedings of the Hawaii International Conference on System Science).

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

Data storage equipment
Processing
Computer systems

Transient fault behavior in a microprocessor - a case study

Duba, P. & Iyer, R. K., 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. Publ by IEEE, p. 272-276 5 p.

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

Microprocessor chips
Jet engines
Automation
Controllers
Electric potential

Tree search algorithm for target detection in image sequences.

Blostein, S. D. & Huang, T. S., 1988, Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit. Publ by IEEE, p. 690-695 6 p.

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

Target tracking
Trajectories
Innovation
Pixels
Sensor arrays

Two-view matching

Weng, J., Ahuja, N. & Huang, T. S., 1988, Second Int Conf on Comput Vision. Publ by IEEE, p. 64-73 10 p.

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

Pixels
Image matching
1989

3D-neural-net for learning visuomotor-coordination of a robot arm

Martinetz, T. M., Ritter, H. J. & Schulten, K. J., 1989, IJCNN Int Jt Conf Neural Network. Anon (ed.). Publ by IEEE, p. 351-356 6 p.

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

Robots
Neural networks
Unsupervised learning
Error correction
Cameras

A brief perspective on parallel programming

Kale, L. V., 1989, TENCON '89: Fourth IEEE Region 10 International Conference. Publ by IEEE, p. 1085-1088 4 p.

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

Parallel programming
Data storage equipment

Anticipatory monitoring and control in a process environment

Tsoukalas, L., Lee, G. W. & Ragheb, M., Jun 6 1989, Proceedings of the 2nd International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1989. Association for Computing Machinery, Inc, p. 278-287 10 p.

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

Monitoring
Information granules
Control Function
Nuclear reactors
Systems engineering

A specialized expert system for judicial decision support

Pethe, V. P., Rippey, C. P. & Kale, L. V., May 1 1989, Proceedings of the 2nd International Conference on Artificial Intelligence and Law, ICAIL 1989. Association for Computing Machinery, p. 190-194 5 p. (Proceedings of the International Conference on Artificial Intelligence and Law; vol. Part F130177).

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

knowledge-based system
Expert systems
Inference engines
User interfaces
life situation

Axiomatizing net computations and processes

Degano, P., Meseguer, J. & Montanari, U., Dec 1 1989, Proc Fourth Ann Symp Logic Comput Sci. Anon (ed.). Publ by IEEE, p. 175-185 11 p. (Proc Fourth Ann Symp Logic Comput Sci).

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

Chemical analysis
Algebra
Diamonds
Concretes

Cedar architecture and its software.

Emrath, P. A., Padua, D. A. & Yew, P. C., Dec 1 1989, Proceedings of the Hawaii International Conference on System Science. Publ by IEEE, p. 306-315 10 p. (Proceedings of the Hawaii International Conference on System Science; vol. 1).

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

Software design
Computer systems
Hardware
Data storage equipment
Processing

Channel entrenchment along the Post Creek cutoff in southern Illinois

Demissie, M. & Soong, T. W., Dec 1 1989, Sediment Transp Model Proc Int Symp. Publ by ASCE, p. 227-232 6 p. (Sediment Transp Model Proc Int Symp).

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

Ponds
Wetlands
Drainage
Rivers
Water levels