Research Output 1972 2020

Filter
Paper

`On-the-fly' solution techniques for stochastic Petri nets and extensions

Deavours, D. D. & Sanders, W. H., Jan 1 1997, p. 132-141. 10 p.

Research output: Contribution to conferencePaper

Buffer storage
State-space Methods
State space methods
Stochastic Petri Nets
Matrix Algebra

A 0.13μm 6Ghz 256×32b leakage-tolerant register file

Krishnamurthy, R., Alvandpour, A., Balamurugan, G., Shanbhag, N. R., Soumyanath, K. & Borkar, S., Jan 1 2001, p. 25-26. 2 p.

Research output: Contribution to conferencePaper

NAND circuits
Spurious signal noise
MOS devices
Transistors

A bandwidth management framework for wireless camera array

Yang, Z. & Nahrstedt, K., Dec 1 2005, p. 147-152. 6 p.

Research output: Contribution to conferencePaper

Cameras
Bandwidth
Frequency allocation
Wireless ad hoc networks
Quality of service

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

A case for resource heterogeneity in large sensor networks

Kandula, S., Hou, J. & Sha, L. R., Dec 1 2004, p. 502-509. 8 p.

Research output: Contribution to conferencePaper

Sensor networks
Throughput
Clustering algorithms
Data communication systems
Routing algorithms

Accumulation bit-width scaling for ultra-low precision training of deep networks

Sakr, C., Wang, N., Chen, C. Y., Choi, J., Agrawal, A., Shanbhag, N. R. & Gopalakrishnan, K., Jan 1 2019.

Research output: Contribution to conferencePaper

scaling
Optimal systems
Chemical activation
Hardware
floating

A context-aware data management system for ubiquitous computing applications

Hess, C. K. & Campbell, R. H., Jul 23 2003, p. 294-301. 8 p.

Research output: Contribution to conferencePaper

Ubiquitous computing
Information management
Distributed computer systems
Technical presentations
Scalability

ACTIVE LINEAR DC CIRCUIT MODELS FOR POWER SYSTEM ANALYSIS.

Sauer, P. W. & Christensen, J. P., Dec 1 1983.

Research output: Contribution to conferencePaper

Systems analysis
Networks (circuits)
Iterative methods
Nonlinear equations
Transient analysis

Adaptive iterative learning control for systems with non-smooth nonlinearities

Zheng, D. & Alleyne, A. G., Dec 1 2002, p. 609-617. 9 p.

Research output: Contribution to conferencePaper

Dynamical systems
Bandwidth
Controllers
Experiments

Adaptive offloading inference for delivering applications in pervasive computing environments

Gu, X., Nahrstedt, K., Messer, A., Greenberg, I. & Milojicic, D., Dec 1 2003, p. 107-114. 8 p.

Research output: Contribution to conferencePaper

Ubiquitous computing
Inference engines
Personal digital assistants
Fuzzy control
Mobile devices

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Chen, S., Kalbarczyk, Z., Xu, J. & Iyer, R. K., Dec 1 2003, p. 605-614. 10 p.

Research output: Contribution to conferencePaper

Finite automata
Demonstrations
Inspection

A framework for electricity market monitoring

Güler, T. & Gross, G., Jan 1 2005.

Research output: Contribution to conferencePaper

Electricity
Monitoring
Power markets
Defects

A framework for the analysis of transmission planning in the market environment

Contreras, J., Bósquez, V. & Gross, G., Jan 1 2005.

Research output: Contribution to conferencePaper

Planning
Economics

A hybrid adaptive and robust control strategy for a class of linear systems

Zhang, Y. & Alleyne, A. G., Jan 1 2003, p. 195-203. 9 p.

Research output: Contribution to conferencePaper

Robust control
Linear systems
Robustness (control systems)
Controllers
Hybrid systems

Aircraft characterization in icing using flight test data

Whalen, E. A., Melody, J. W., Bragg, M. B. & Basar, M. T., Jul 1 2004, p. 8421-8435. 15 p.

Research output: Contribution to conferencePaper

Identification (control systems)
Aircraft
Atmospheric turbulence
Air
Linear regression

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

A lightweight reconfigurable security mechanism for 3G mobile devices

Al-Muhtadi, J., Mickunas, D. & Campbell, R. H., Dec 1 2001, p. 163-168. 6 p.

Research output: Contribution to conferencePaper

Mobile devices
Communication
Telecommunication
Internet

A method of sieves for regularizing maximum-likelihood spectrum estimates

Moulin, P., Snyder, D. L. & O'Sullivan, J. A., Dec 1 1990. 1 p.

Research output: Contribution to conferencePaper

Sieves
Maximum likelihood
Set theory
Maximum likelihood estimation
Hilbert spaces

Analysis of interscale and intrascale dependencies between image wavelet coefficients

Liu, J. & Moulin, P., Dec 1 2000, p. 669-672. 4 p.

Research output: Contribution to conferencePaper

Information analysis
Data compression

Analysis of Linear Turbo Equalizer via EXIT Chart

Lee, S. J., Singer, A. C. & Shanbhag, N. R., Dec 1 2003, p. 2237-2242. 6 p.

Research output: Contribution to conferencePaper

Equalizers
Bit error rate
computer simulation
analysis
method

Analysis of multiresolution image denoising schemes using generalized-Gaussian priors

Moulin, P. & Liu, J., Jan 1 1998, p. 633-636. 4 p.

Research output: Contribution to conferencePaper

Image denoising
Image processing

An analysis on quantization effects in H parameter identification

Ishii, H. & Basar, M. T., Dec 1 2004, p. 468-473. 6 p.

Research output: Contribution to conferencePaper

Identification (control systems)
Communication
Feedback

An analyzable annotation language

Khurshid, S., Marinov, D. & Jackson, D., Dec 1 2002, p. 231-245. 15 p.

Research output: Contribution to conferencePaper

Specifications
Modeling languages

An architectural framework for providing reliability and security support

Nakka, N., Kalbarczyk, Z. T., Iyer, R. K. & Xu, J., Oct 1 2004, p. 585-594. 10 p.

Research output: Contribution to conferencePaper

Engines
Data storage equipment
Hardware
Error detection
Flow control

An efficient sequential procedure for detecting changes in multichannel and distributed systems

Tartakovsky, A. G. & Veeravalli, V. V., Jan 1 2002, p. 41-48. 8 p.

Research output: Contribution to conferencePaper

Sensors
Intrusion detection
Computer networks
Target tracking
Fusion reactions

An engineering economic evaluation of quick germ quick fiber process for dry-grind ethanol facilities

Li, C., Rodriguez, L. F., Khanna, M., Spaulding, A. D. & Eckhoff, S. R., Nov 7 2007.

Research output: Contribution to conferencePaper

economic analysis
Cost-Benefit Analysis
engineering
Ethanol
ethanol

A networked and cooperative control testbed

Vladimerou, V., Stubbs, A., Fulford, A., Strick, J. & Dullerud, G. E., Dec 1 2004, p. 2595-2600. 6 p.

Research output: Contribution to conferencePaper

Testbeds
Air cushion vehicles
Decentralized control
Sensors

An evaluation of ZooKeeper for high availability in system S

Pham, C. M., Kalbarczyk, Z. T., Iyer, R. K., Dogaru, V., Wagle, R. & Venkatramani, C., Jan 1 2014, p. 209-217. 9 p.

Research output: Contribution to conferencePaper

Availability

A new metaconverse and outer region for finite-blocklength MACs

Moulin, P., May 16 2013, p. 568-575. 8 p.

Research output: Contribution to conferencePaper

Error probability

An implicit prioritized access protocol for wireless sensor networks

Caccamo, M., Zhang, L. Y., Sha, L. R. & Buttazzo, G., Dec 1 2002, p. 39-48. 10 p.

Research output: Contribution to conferencePaper

Sensor networks
Wireless sensor networks
Network protocols
Medium access control
Ubiquitous computing

An information-theoretic model for image watermarking and data hiding

Moulin, P., Mihçak, M. K. & Lin, G. I., Dec 1 2000, p. [d]667-670.

Research output: Contribution to conferencePaper

Image watermarking
Statistical Models

An integrated framework on mining logs files for computing system management

Li, T., Ma, S., Liang, F. & Peng, W., Dec 1 2005, p. 776-781. 6 p.

Research output: Contribution to conferencePaper

Knowledge acquisition
Visualization
Personnel

An interdisciplinary approach to inflight aircraft icing safety

Bragg, M. B., Perkins, W. R., Sorter, N. B., Basar, M. T., Voulgaris, P. G., Gurbacki, H. M., Melody, J. W. & Mccray, S. A., Jan 1 1998.

Research output: Contribution to conferencePaper

aircraft icing
interdisciplinary approach
ice formation
Ice
safety

A novel approach to active vibration isolation with electrohydraulic actuators

Zhang, Y. & Alleyne, A. G., Dec 1 2001, p. 93-100. 8 p.

Research output: Contribution to conferencePaper

Actuators
Vibration control
Controllers

A novel compact method for thermal modeling of on-chip interconnects based on the finite element method

Gurrum, S. P., Joshi, Y. K., King, W. P. & Ramakrishna, K., Jan 1 2003, p. 441-445. 5 p.

Research output: Contribution to conferencePaper

Joule heating
Electromigration
Computational methods
Thermal effects
Thermal conductivity

A one-phase, distribution-level phasor measurement unit for post-event analysis

Pinte, B., Quinlan, M., Yoon, A., Reinhard, K. & Sauer, P. W., Jan 1 2014.

Research output: Contribution to conferencePaper

Phasor measurement units
Level measurement
Global positioning system
Sustainable development
Industry

A performability-oriented software rejuvenation framework for distributed applications

Tai, A. T., Tso, K. S., Sanders, W. H. & Chau, S. N., Nov 9 2005, p. 570-579. 10 p.

Research output: Contribution to conferencePaper

Redundancy

Application acceleration with the explicitly parallel operations system - The EPOS processor

Papakonstantinou, A., Chen, D. & Hwu, W-M. W., Sep 29 2008, p. 20-25. 6 p.

Research output: Contribution to conferencePaper

Data flow graphs
High level languages
Wire
Engines
Hardware

Application-driven coordination-free distributed checkpointing

Agbaria, A. & Sanders, W. H., Jan 1 2005, p. 177-186. 10 p.

Research output: Contribution to conferencePaper

Stochastic models
Fault tolerance

Application of multivariable adaptive control to automotive air conditioning systems

Shah, R., Alleyne, A. G. & Rasmussen, B. P., Jan 1 2003, p. 185-193. 9 p.

Research output: Contribution to conferencePaper

Air conditioning
Disturbance rejection
Evaporators
Parameter estimation
Flow rate

APPLICATION OF THE FAULT-TOLERANT DEADLINE MECHANISM TO A SATELLITE ON-BOARD COMPUTER SYSTEM.

Wei, A. Y., Hiraishi, K., Cheng, R. & Campbell, R. H., Jan 1 1980, p. 107-109. 3 p.

Research output: Contribution to conferencePaper

Computer systems
Satellites
NASA
Spacecraft

Applying component technology to improve global supply chain network management

Tan, G. W. & Shaw, M. J-P., Dec 13 1998, p. 296-301. 6 p.

Research output: Contribution to conferencePaper

Network management
Supply chains
Information systems
Supply chain management
Encapsulation

Approaches to multimedia and security

Nahrstedt, K., Dittmann, J. & Wohlmacher, P., Dec 1 2000, p. 1275-1278. 4 p.

Research output: Contribution to conferencePaper

Multimedia systems
Digital watermarking

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

Statistical methods
Statistics

Approximation-theoretical analysis of translation invariant wavelet expansions

Liu, J. & Moulin, P., Jan 1 2001, p. 622-625. 4 p.

Research output: Contribution to conferencePaper

Wavelet transforms
Approximation theory
Image denoising
Experiments

A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas

Basile, C., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2003, p. 149-158. 10 p.

Research output: Contribution to conferencePaper

Scheduling algorithms
Scheduling
Synchronization
Fires
Throughput

A programming framework for quality-aware ubiquitous multimedia applications

Wichadakul, D., Gu, X. & Nahrstedt, K., Dec 1 2002, p. 631-640. 10 p.

Research output: Contribution to conferencePaper

Computer programming
Metadata
Specifications
Video on demand
Ubiquitous computing

A recurrence-relation-based reward model for performability evaluation of embedded systems

Tai, A. T., Tso, K. S. & Sanders, W. H., Oct 13 2008, p. 532-541. 10 p.

Research output: Contribution to conferencePaper

Embedded systems
Markov processes

A simulation framework to evaluate virtual CPU scheduling algorithms

Pham, C., Li, Q., Estrada, Z., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2013, p. 138-143. 6 p.

Research output: Contribution to conferencePaper

Scheduling algorithms
Program processors
Consolidation
Processing
Virtualization

ASPEM: Embedding learning by aspects in heterogeneous information networks

Shi, Y., Gui, H., Zhu, Q., Kaplan, L. & Han, J., Jan 1 2018, p. 144-152. 9 p.

Research output: Contribution to conferencePaper

Semantics
Experiments
Statistics