Research Output 1972 2020

Filter
Paper
Paper

Performance analysis of two time-based coordinated checkpointing protocols

Kavanaugh, G. P. & Sanders, W. H., Dec 1 1997, p. 194-201. 8 p.

Research output: Contribution to conferencePaper

Analytical models
Costs

Permacoin: Repurposing Bitcoin Work for Data Preservation

Miller, A., Juels, A., Shi, E., Parno, B. & Katz, J., May 2014, p. 475-490.

Research output: Contribution to conferencePaper

Parameterization
Hardware
Economics

Per-tensor fixed-point quantization of the back-propagation algorithm

Sakr, C. & Shanbhag, N. R., Jan 1 2019.

Research output: Contribution to conferencePaper

Backpropagation algorithms
Tensors
neural network
Neural networks
Chemical activation

Perturbation-resistant and overlay-independent resource discovery

Ko, S. Y. & Gupta, I., Nov 9 2005, p. 248-257. 10 p.

Research output: Contribution to conferencePaper

Pavement overlays

Pipelined strength-reduced adaptive filter: Finite precision analysis and application to 155.52 Mb/s ATM-LAN

Goel, M. & Shanbhag, N. R., Dec 1 1997, p. 790-793. 4 p.

Research output: Contribution to conferencePaper

Automatic teller machines
Adaptive filters
Local area networks
Crosstalk
Energy dissipation

Pluggable watchdog: Transparent failure detection for MPI programs

Yim, K. S., Kalbarczyk, Z. T. & Iyer, R. K., Oct 7 2013, p. 489-500. 12 p.

Research output: Contribution to conferencePaper

Detectors
Monitoring
Field programmable gate arrays (FPGA)
Computer systems
Semantics

Power control for multicell CDMA wireless networks: A team optimization approach

Alpcan, T., Fan, X., Başar, T., Arcak, M. & Wen, J. T., Dec 1 2005, p. 379-388. 10 p.

Research output: Contribution to conferencePaper

Power control
Code division multiple access
Wireless networks
Congestion control (communication)

Powertrain optimization for an earthmoving vehicle

Gupta, P. & Alleyne, A., Jan 1 2004, p. 207-215. 9 p.

Research output: Contribution to conferencePaper

Powertrains
Controllers
Productivity
Hardware

PP-11, A PATH PASCAL LANGUAGE SYSTEM FOR THE PDP-11.

Balocca, R. & Campbell, R. H., Jan 1 2017, p. 5A. 1-5A. 7.

Research output: Contribution to conferencePaper

Pascal (programming language)
Computer programming languages

Predictive Dynamic Thermal Management for Multimedia Applications

Srinivasan, J. & Adve, S. V., Dec 1 2003, p. 109-120. 12 p.

Research output: Contribution to conferencePaper

Temperature control
Packaging
Cooling
Degradation
Hot Temperature

Privacy enhanced data pre-processing for HIPAA compliance

Li, J. & Shaw, M. J., Jan 1 2006. 1 p.

Research output: Contribution to conferencePaper

Processing
Compliance

Privacy-preserving audit for broker-based health information exchange

Oh, S. E., Chun, J. Y., Jia, L., Garg, D., Gunter, C. A. & Datta, A., Jan 1 2014, p. 313-320. 8 p.

Research output: Contribution to conferencePaper

Health
Authentication
Cryptography
Information technology

Probabilistic Validation of an Intrusion-Tolerant Replication System

Singh, S., Cukier, M. & Sanders, W. H., Dec 1 2003, p. 615-624. 10 p.

Research output: Contribution to conferencePaper

Computer systems

Process-technology fit: Extending tasktechnology fit to assess enterprise information technologies

Gribbins, M. L., Subramaniam, C. & Shaw, M. J., Dec 1 2006, p. 61-70. 10 p.

Research output: Contribution to conferencePaper

Information technology
Industry

Programming the FlexRAM parallel intelligent memory system

Fraguela, B. B., Renau, J., Feautrier, P., Padua, D. & Torrellas, J., Jul 28 2003, p. 49-60. 12 p.

Research output: Contribution to conferencePaper

Computer programming
Computer systems
Data storage equipment
Memory architecture
Servers

Proofs from simulations and modular annotations

Huang, Z. & Mitra, S., Jan 1 2014, p. 183-192. 10 p.

Research output: Contribution to conferencePaper

Nonlinear dynamical systems
Trajectories
Dynamical systems
Acoustic waves
Experiments

Proving termination of membership equational programs

Durán, F., Lucas, S., Meseguer, J., Marché, C. & Urbain, X., Jan 1 2004, p. 147-158. 12 p.

Research output: Contribution to conferencePaper

Computer programming languages

Pushing aggregate constraints by divide-and-approximate

Wang, K., Jiang, Y., Yu, J. X., Dong, G. & Han, J., Dec 1 2003, p. 291-302. 12 p.

Research output: Contribution to conferencePaper

Pushing people around

Arikan, O., Forsyth, D. A. & O'Brien, J. F., Dec 1 2005, p. 59-66. 8 p.

Research output: Contribution to conferencePaper

QoS service routing in one-to-one and one-to-many scenarios in next-generation service-oriented networks

Jin, J. & Nahrstedt, K., Jun 1 2004, p. 503-510. 8 p.

Research output: Contribution to conferencePaper

Quality of service

Quantization for LTI systems with noiseless channels

Yüksel, S. & Başar, T., Dec 1 2003, p. 423-429. 7 p.

Research output: Contribution to conferencePaper

Error analysis
Entropy
Convergence of numerical methods
Mean square error
Controllers

Quarterware for middleware

Singhai, A., Sane, A. & Campbell, R. H., Jan 1 1998, p. 192-201. 10 p.

Research output: Contribution to conferencePaper

Middleware
Common object request broker architecture (CORBA)
Communication

Radar dwell scheduling considering physical characteristics of phased array antenna

Lee, C. G., Kang, P. S., Shih, C. S. & Sha, L., Dec 1 2003, p. 14-24. 11 p.

Research output: Contribution to conferencePaper

Antenna phased arrays
Radar
Scheduling
Radar systems
Target tracking

Randomized algorithms for stability and robustness analysis of high speed communication networks

Alpcan, T., Başar, T. & Tempo, R., Dec 1 2003, p. 397-403. 7 p.

Research output: Contribution to conferencePaper

Telecommunication networks
Costs
Congestion control (communication)
Topology
Internet

Range-Free Localization Schemes for Large Scale Sensor Networks

He, T., Huang, C., Blum, B. M., Stankovic, J. A. & Abdelzaher, T., Dec 1 2003, p. 81-95. 15 p.

Research output: Contribution to conferencePaper

Sensor networks
Radio communication
Costs
Wireless sensor networks
Hardware

Reactive load modeling impacts on nodal prices in pool model electricity markets

Bompard, E., Carpaneto, E., Chicco, G., Napoli, R. & Gross, G., Dec 1 2000, p. 2150-2155. 6 p.

Research output: Contribution to conferencePaper

Reactive power
Economics
Electric power transmission networks
Byproducts
Mathematical operators

Receiver adaptation and system characterization of an 8Gbps source-synchronous I/O link using on-die circuits in 0.13 μm CMOS

Balamurugan, G., Jaussi, J., Johnson, D. R., Casper, B., Martin, A., Kennedy, J., Mooney, R. & Shanbhag, N. R., Sep 29 2004, p. 356-359. 4 p.

Research output: Contribution to conferencePaper

Networks (circuits)
Equalizers
Sampling
Degradation

Reconstructing Hash Reversal based Proof of Work Schemes

Green, J., Juen, J., Fatemieh, O., Shankesi, R., Jin, D. & Gunter, C. A., Jan 1 2011.

Research output: Contribution to conferencePaper

Servers
Graphics processing unit
Denial-of-service attack

Regularized ℓ1-Graph for data clustering

Yang, Y., Wang, Z., Yang, J., Han, J. & Huang, T. S., Jan 1 2014.

Research output: Contribution to conferencePaper

Relation extraction for inferring access control rules from natural language artifacts

Slankas, J., Xiao, X., Williams, L. & Xie, T., Dec 8 2014, p. 366-375. 10 p.

Research output: Contribution to conferencePaper

Access control
Security of data
Seed
Learning systems
Education

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

Reliable GPS-based timing for power systems: A multi-layered multi-receiver architecture

Heng, L., Makela, J. J., Dominguez-Garcia, A. D., Bobba, R. B., Sanders, W. H. & Gao, G. X., Jan 1 2014.

Research output: Contribution to conferencePaper

Phasor measurement units
Global positioning system
Jamming
Electric power system measurement
Electric current measurement

Reliable low-power design in the presence of deep submicron noise

Shanbhag, N. R., Soumyanath, K. & Martin, S., Dec 11 2000, p. 295-302. 8 p.

Research output: Contribution to conferencePaper

Digital circuits
Analog circuits
Semiconductor materials
Silicon
Communication

Reliable low-power multimedia communication systems

Shanbhag, N. R., Jan 1 2001, p. 345-346. 2 p.

Research output: Contribution to conferencePaper

Communication systems
Multimedia systems
Energy efficiency
Semiconductor materials
Networks (circuits)

Resilient localization for sensor networks in outdoor environments

Kwon, Y., Mechitov, K., Sundresh, S., Kim, W. & Agha, G. A., Jan 1 2005, p. 643-652. 10 p.

Research output: Contribution to conferencePaper

Sensor networks
Wireless sensor networks
Measurement errors
Acoustics
Hardware

ReStore: Symptom based soft error detection in microprocessors

Wang, N. J. & Patel, S. J., Nov 9 2005, p. 30-39. 10 p.

Research output: Contribution to conferencePaper

Error detection
Microprocessor chips
Pipelines
Hardware
LSI circuits

Revised design of a passive hydraulic training simulator of biceps spasticity

Pei, Y., Ewoldt, R. H., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Simulators
Hydraulics

RINSE: The Real-time Immersive Network Simulation Environment for network security exercises

Liljenstam, M., Liu, J., Nicol, D., Yuan, Y., Yan, G. & Grier, C., Oct 24 2005, p. 119-128. 10 p.

Research output: Contribution to conferencePaper

Network security
Simulators
Local area networks
Program processors
Scalability

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

Robust and locally-optimum decentralized detection with censoring sensors

Appadwedula, S., Veeravalli, V. V. & Jones, D. L., Jan 1 2002, p. 56-63. 8 p.

Research output: Contribution to conferencePaper

Sensors
Communication
Energy utilization
Uncertainty
Jamming
Communication systems
Random variables
Probability distributions
Decoding

Routing through the mist: Privacy preserving communication in ubiquitous computing environments

Al-Muhtadi, J., Campbell, R., Kapadia, A., Mickunas, M. D. & Yi, S., Jan 1 2002, p. 74-83. 10 p.

Research output: Contribution to conferencePaper

Ubiquitous computing
Fog
Communication
Network protocols

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

SATIRE: A software architecture for smart AtTIRE

Ganti, R. K., Abdelzaher, T., Jayachandran, P. & Stankovic, J. A., Sep 29 2006, p. 110-123. 14 p.

Research output: Contribution to conferencePaper

Software architecture
Monitoring

Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices

Gaonkar, S., Rozier, E., Tong, A. & Sanders, W. H., Oct 13 2008, p. 386-391. 6 p.

Research output: Contribution to conferencePaper

Servers
Stochastic models
Availability

SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval

Kassa, D. F. & Nahrstedt, K., Jul 17 2013, p. 121-122. 2 p.

Research output: Contribution to conferencePaper

Servers
Throughput
Data transfer rates
Data communication systems
Resource allocation

Scheduling real-time dwells using tasks with synthetic periods

Shih, C. S., Gopalakrishnan, S., Ganti, P., Caccamo, M. & Sha, L., Dec 1 2003, p. 210-219. 10 p.

Research output: Contribution to conferencePaper

Radar systems
Scheduling
Scheduling algorithms
Radar

Second workshop on dependable and secure nanocomputing

Arlat, J., Constantinescu, C., Iyer, R. K. & Nicolaïdis, M., Oct 13 2008, p. 546-547. 2 p.

Research output: Contribution to conferencePaper

Semi-supervised discriminant analysis

Cai, D., He, X. & Han, J., Dec 1 2007.

Research output: Contribution to conferencePaper

Discriminant analysis
Image retrieval
Face recognition
Covariance matrix
Feedback

Sensor integration for inflight icing characterization using neural networks

Melody, J. W., Pokhariyal, D., Merret, J. M., Basar, M. T., Perkins, W. R. & Bragg, M. B., Dec 1 2001.

Research output: Contribution to conferencePaper

ice formation
flight
sensor
Neural networks
sensors