Research Output 1972 2020

Filter
Paper
1998

Realizing services for guaranteed-QoS communication on a microkernel operating system

Mehra, A., Shaikh, A., Abdelzaher, T., Wang, Z. & Shin, K. G., Dec 1 1998, p. 460-469. 10 p.

Research output: Contribution to conferencePaper

Computer architecture
Computer operating systems
Real time systems
Telecommunication traffic
Quality of service

Some fundamental properties of MMSE filter banks

Mihcak, K. M., Moulin, P., Ramchandran, K. & Anitescu, M., Jan 1 1998, p. 525-528. 4 p.

Research output: Contribution to conferencePaper

Filter banks
FIR filters
Statistics

Use IRAM for rasterization

Kang, Y., Torrellas, J. & Huang, T. S., Dec 1 1998, p. 1010-1013. 4 p.

Research output: Contribution to conferencePaper

Dynamic random access storage
Random access storage
Parallel processing systems
Data storage equipment
Rasterization

Using integer sets for data-parallel program analysis and optimization

Adve, V. S. & Mellor-Crummey, J., Jan 1 1998, p. 186-198. 13 p.

Research output: Contribution to conferencePaper

Communication
1997

Complexity-regularized image denoising

Liu, J. & Moulin, P., Dec 1 1997, p. 370-373. 4 p.

Research output: Contribution to conferencePaper

Image denoising

Dark side of risk (What your mother never told you about Time Warp)

Nicol, D. M. & Liu, X., Jan 1 1997, p. 188-195. 8 p.

Research output: Contribution to conferencePaper

Discrete event simulation
Semantics
Testing

Dynamic algorithm transformations (DAT) for low-power adaptive signal processing

Goel, M. & Shanbhag, N. R., Jan 1 1997, p. 161-166. 6 p.

Research output: Contribution to conferencePaper

Crosstalk
Signal to noise ratio
Signal processing
Mathematical transformations
Computer simulation

Message proxies for efficient, protected communication on SMP clusters

Lim, B. H., Heidelberger, P., Pattnaik, P. & Snir, M., Jan 1 1997, p. 116-127. 12 p.

Research output: Contribution to conferencePaper

Communication
Hardware
Costs

On a control policy that maintains indoor air quality in a variable-air-volume air-handling unit

Norris, W. R. & Sreenivas, R. S., Dec 1 1997, p. 886-891. 6 p.

Research output: Contribution to conferencePaper

Ventilation codes
Air conditioning ducts
Control system analysis
Indoor air pollution
Thermal load

Performance modeling of the IDES framework

Nicol, D. M., Johnson, M. M., Yoshimura, A. S. & Goldsby, M. E., Jan 1 1997, p. 38-45. 8 p.

Research output: Contribution to conferencePaper

Parallel algorithms
Synchronization
Simulators
Network protocols
Experiments

PRISM - a design for scalable shared memory

Kattamuri, E., Lim, B. H., Pattnaik, P. & Snir, M., Dec 1 1997. 1 p.

Research output: Contribution to conferencePaper

Data storage equipment
Computer hardware
Memory architecture
Computer operating systems
Hardware

Reliability of Internet hosts: A case study from the end user's perspective

Kalyanakrishnan, M., Iyer, R. K. & Patel, J., Dec 1 1997, p. 418-423. 6 p.

Research output: Contribution to conferencePaper

HTML
Outages
Websites
Internet
Availability

Switched control grid interpolation for motion compensated video coding

Ishwar, P. & Moulin, P., Dec 1 1997, p. 650-653. 4 p.

Research output: Contribution to conferencePaper

Motion compensation
Image coding
Interpolation

Talking in the library: implications for the design of digital libraries

Crabtree, A., Twidale, M. B., O'Brien, J. & Nichols, D. M., Jan 1 1997, p. 221-228. 8 p.

Research output: Contribution to conferencePaper

Social aspects
Information retrieval systems
Computer applications
Digital libraries
Information services

Using speculative retirement and larger instruction windows to narrow the performance gap between memory consistency models

Ranganathan, P., Pai, V. S. & Adve, S. V., Jan 1 1997, p. 199-210. 12 p.

Research output: Contribution to conferencePaper

Sequential switching
Constraint theory
Buffer storage
Computer hardware
Program processors
1996

Abstracting dependencies between software configuration items

Gunter, C., Dec 1 1996, p. 167-178. 12 p.

Research output: Contribution to conferencePaper

Software design
Petri nets

Augmint multiprocessor simulation toolkit for Intel x86 architectures

Nguyen, A. T., Michael, M., Sharma, A. & Torrellas, J., Dec 1 1996, p. 486-490. 5 p.

Research output: Contribution to conferencePaper

Simulators
Reduced instruction set computing
UNIX
Macros
Data storage equipment

Building parallel simulations from serial simulators

Heidelberger, P. & Nicol, D. M., Jan 1 1996, p. 2-4. 3 p.

Research output: Contribution to conferencePaper

Parallel Simulation
Simulator
Simulators
Multiprocessor Systems
Modeling Language

DEPEND: a simulation environment for system dependability modeling and evaluation

Ries, G., Kalbarczyk, Z. T., Kraljevic, T., Hsueh, M. C. & Iyer, R. K., Jan 1 1996. 1 p.

Research output: Contribution to conferencePaper

Computer hardware description languages
Glossaries
Computer programming languages
Managers
Engines

Efficient compilation of concurrent call/return communication in actor-based programming languages

Kim, W., Agha, G. A. & Panwar, R. B., Dec 1 1996, p. 62-67. 6 p.

Research output: Contribution to conferencePaper

Computer programming languages
Communication
Data flow analysis
Costs
Semantics

Evolving dependable real-time systems

Sha, L., Rajkumar, R. & Gagliardi, M., Jan 1 1996, p. 335-346. 12 p.

Research output: Contribution to conferencePaper

Real time systems
Hardware
Control system analysis
Discrete time control systems
Controllability
Petri nets
Control theory

Fault/failure analysis of the Tandem NonStop-UX operating system

Iyer, R. K., Hsueh, M. C. & Lee, I., Dec 1 1996, p. 491-496. 6 p.

Research output: Contribution to conferencePaper

UNIX
Computer operating systems
Failure analysis
Repair
Computer systems

Illinois aggressive coma multiprocessor project (I-ACOMA)

Torrellas, J. & Padua, D. A., Dec 1 1996, p. 106-111. 6 p.

Research output: Contribution to conferencePaper

Parallel processing systems
Computer aided design
Data storage equipment
Parallel programming
Computer hardware

Lower bounds on power-dissipation for DSP algorithms

Shanbhag, N. R., Dec 1 1996, p. 43-48. 6 p.

Research output: Contribution to conferencePaper

Digital signal processing
Energy dissipation
Channel capacity
Digital filters
Telecommunication networks

Modal filter based on-line monitoring of uncertain structural systems

Johnson, E. A., Bergman, L., Voulgaris, P. G. & Freudinger, L. C., Jan 1 1996, p. 156-159. 4 p.

Research output: Contribution to conferencePaper

Monitoring
Suspension bridges
Structural integrity
Civil engineering
Transfer functions

Multiscale motion estimation for scalable video coding

Krishnamurthy, R., Moulin, P. & Woods, J. W., Dec 1 1996, p. 965-968. 4 p.

Research output: Contribution to conferencePaper

Scalable video coding
Motion estimation
Interpolation
Image coding
Redundancy

New algorithms for admission control and scheduling to support multimedia feedback remote control applications

Nahrstedt, K. & Smith, J., Jan 1 1996, p. 532-539. 8 p.

Research output: Contribution to conferencePaper

Remote Control
Admission Control
Remote control
Access control
Feedback Control

On extending more parallelism to serial simulators

Nicol, D. M. & Heidelberger, P., Jan 1 1996, p. 202-205. 4 p.

Research output: Contribution to conferencePaper

Simulators
Synchronization
Cellular radio systems
Queueing networks
Communication

On task schedulability in real-time control systems

Seto, D., Lehoczky, J. P., Sha, L. & Shin, K. G., Dec 1 1996, p. 13-21. 9 p.

Research output: Contribution to conferencePaper

Real time control
Control systems
Controllers
Scheduling
System stability

Signal estimation using adapted tree-structured bases and the MDL principle

Moulin, P., Jan 1 1996, p. 141-143. 3 p.

Research output: Contribution to conferencePaper

Signal denoising
Adaptive filtering
Filter banks
Data structures
Mathematical transformations
1995

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

Qureshi, M. A., Sanders, W. H., van Moorsel, A. P. A. & German, R., Dec 1 1995, p. 180-190. 11 p.

Research output: Contribution to conferencePaper

Computer Networks
Computer networks
Systems Analysis
Petri nets
Reward

Dynamic retrieval of remote digital objects

Li, Y., Puvvada, V. & Campbell, R., Dec 1 1995, p. 182-187. 6 p.

Research output: Contribution to conferencePaper

Waiting time
Digital libraries
Experiment
Degradation

Fluid stochastic Petri Net simulator

Nicol, D. M. & Miner, A. S., Dec 1 1995, p. 214-215. 2 p.

Research output: Contribution to conferencePaper

Stochastic Petri Nets
Petri nets
Simulator
Simulators
Fluid

FTAPE: A fault injection tool to measure fault Tolerance

Tsai, T. K. & Iyer, R. K., Jan 1 1995, p. 339-346. 8 p.

Research output: Contribution to conferencePaper

Fault tolerance
Degradation

Global virtual time and distributed synchronization

Steinman, J. S., Lee, C. A., Wilson, L. F. & Nicol, D. M., Jan 1 1995, p. 139-148. 10 p.

Research output: Contribution to conferencePaper

Flow control
Synchronization
Scalability
Hardware
Processing

Mining knowledge at multiple concept levels

Han, J., Dec 1 1995, p. 19-24. 6 p.

Research output: Contribution to conferencePaper

Data mining
Data base
Process mining

On extending parallelism to serial simulators

Nicol, D. M. & Heidelberger, P., Jan 1 1995, p. 60-67. 8 p.

Research output: Contribution to conferencePaper

Simulators
Communication
Computer simulation
Discrete event simulation
Telecommunication networks

Optimal combined task and message scheduling in distributed real-time systems

Abdelzaher, T. & Shin, K. G., Dec 1 1995, p. 162-171. 10 p.

Research output: Contribution to conferencePaper

Real time systems
Scheduling
Telecommunication links
Robotics

Optimizing robot motion strategies for assembly with stochastic models of the assembly process

Sharma, R., Lavalle, S. M. & Hutchinson, S. A., Jan 1 1995, p. 341-346. 6 p.

Research output: Contribution to conferencePaper

Stochastic models
Robots
Motion planning
Scheduling

RTsynchronizer: Language support for real-time specifications in distributed systems

Ren, S. & Agha, G. A., Nov 1 1995, p. 50-59. 10 p.

Research output: Contribution to conferencePaper

Specifications
Computer programming languages
Scheduling

Speeding up irregular applications in shared-memory multiprocessors: memory binding and group prefetching

Zhang, Z. & Torrellas, J., Jan 1 1995, p. 188-199. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Computer aided design
Hardware

Ultrasan version 3: Architecture, features, and implementation

Sanders, W. H., Obal, W. D., Qureshit, M. A. & Widjanarkot, F. K., Jan 1 1995, p. 327-338. 12 p.

Research output: Contribution to conferencePaper

Computer networks
Computer systems
Specifications

UltraSAN version 3 overview

Deavours, D. D., Obal, W. D., Qureshi, M. A., Sanders, W. H. & van Moorsel, A. P. A., Dec 1 1995, p. 216-217. 2 p.

Research output: Contribution to conferencePaper

File editors
Iterative methods
Markov Process
Markov processes
Probability density function
1994

Optimum visualization of vector fields and multi-sensor fusion

Bresler, Y., Jan 1 1994, p. 91-96. 6 p.

Research output: Contribution to conferencePaper

Multisensor Fusion
Sensor data fusion
Vector Field
Display
Visualization

Robot motion planning in a changing, partially predictable environment

Lavalle, S. M. & Sharma, R., Dec 1 1994, p. 261-266. 6 p.

Research output: Contribution to conferencePaper

Motion Planning
Motion planning
Robot
Robots
Motion

Sequential multihypothesis testing and nonuniform costs with applications in hybrid serial search

Baum, C. & Veeravalli, V. V., Dec 1 1994.

Research output: Contribution to conferencePaper

Binary sequences
Decision theory
Signal detection
Terminology
Statistical methods

Systematic normal form approach to feedback linearize a class of nonlinear systems

Talwar, S., Namachchivaya, N. S. & Voulgaris, P. G., Dec 1 1994, p. 21-33. 13 p.

Research output: Contribution to conferencePaper

Feedback linearization
System theory
Control theory
Linearization
Algebra

Verification of Error Models Through Low-level Simulation

Tsai, T. K., Choi, G. S. & Iyer, R. K., Jan 1 1994, p. 15-16. 2 p.

Research output: Contribution to conferencePaper

Error Model
Simulation
1993

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