Research Output

Filter
Paper
2003

On Integrating the Möbius and Modest Modeling Tools

Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., Klaren, R., Vi Lam, V. & Sanders, W. H., Dec 1 2003. 1 p.

Research output: Contribution to conferencePaper

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Dec 1 2003, p. 655-664. 10 p.

Research output: Contribution to conferencePaper

Optimal QoS sampling frequency assignment for real-time wireless sensor networks

Liu, X., Wang, Q., Sha, L. & He, W., Dec 1 2003, p. 308-319. 12 p.

Research output: Contribution to conferencePaper

Predictive Dynamic Thermal Management for Multimedia Applications

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

Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

State estimation and control for linear systems over communication networks

Yüksel, S. & Başar, T., Dec 1 2003, p. 409-414. 6 p.

Research output: Contribution to conferencePaper

Video summarization based on user log enhanced link analysis

Yu, B., Ma, W. Y., Nahrstedt, K. & Zhang, H. J., Dec 1 2003, p. 382-391. 10 p.

Research output: Contribution to conferencePaper

2004

A case for resource heterogeneity in large sensor networks

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

Research output: Contribution to conferencePaper

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

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

An architectural framework for providing reliability and security support

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

Research output: Contribution to conferencePaper

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

BIDE: Efficient mining of frequent closed sequences

Wang, J. & Han, J., Jun 1 2004, p. 79-90. 12 p.

Research output: Contribution to conferencePaper

Characterizing the effects of transient faults on a high-performance processor pipeline

Wang, N. J., Quek, J., Rafacz, T. M. & Patel, S. J., Jan 1 2004, p. 61-70. 10 p.

Research output: Contribution to conferencePaper

Checkpointing of control structures in main memory database systems

Wang, L., Kalbarczyk, Z., Iyer, R. K., Vora, H. & Chahande, T., 2004, p. 687-692. 6 p.

Research output: Contribution to conferencePaper

Cluster-based failure detection service for large-scale ad hoc wireless network applications

Tai, A. T., Tso, K. S. & Sanders, W. H., Oct 1 2004, p. 805-814. 10 p.

Research output: Contribution to conferencePaper

Coordinating adaptations in distributed systems

Ensink, B. & Adve, V., Jan 1 2004, p. 446-455. 10 p.

Research output: Contribution to conferencePaper

CrossMine: Efficient classification across multiple database relations

Yin, X., Han, J., Yang, J. & Yu, P. S., Jun 1 2004, p. 399-410. 12 p.

Research output: Contribution to conferencePaper

Design and convergence of a time-varying iterative learning control law

Tharayil, M. & Alleyne, A. G., Jan 1 2004, p. 91-97. 7 p.

Research output: Contribution to conferencePaper

Dynamic modeling and control of multi-evaporator air-conditioning systems

Shah, R., Alleyne, A. G. & Bullard, C. W., Nov 22 2004, p. 111-121. 11 p.

Research output: Contribution to conferencePaper

Error sensitivity of the Linux kernel executing on PowerPC G4 and pentium 4 processors

Gu, W., Kalbarczyk, Z. T. & Iyer, R. K., Oct 1 2004, p. 887-896. 10 p.

Research output: Contribution to conferencePaper

Gaia mobility: Extending active space boundaries to everyday devices

Bresler, J., Al-Muhtadi, J. & Campbell, R. H., Jul 12 2004, p. 430-433. 4 p.

Research output: Contribution to conferencePaper

If not now, when? The effects of interruption at different moments within task execution

Adamczyk, P. D. & Bailey, B. P., Oct 1 2004, p. 271-278. 8 p.

Research output: Contribution to conferencePaper

Importance of heap specialization in pointer analysis

Nystrom, E. M., Kim, H. S. & Hwu, W-M. W., Sep 29 2004, p. 43-48. 6 p.

Research output: Contribution to conferencePaper

Information incorporation policies in product development

Zhu, J., Yassine, A. A. & Sreenivas, R. S., Jan 1 2004, p. 219-230. 12 p.

Research output: Contribution to conferencePaper

Iterative modeling and identification of a CO2 air conditioning system

Rasmussen, B. P., Alleyne, A. & Musser, A., Jan 1 2004, p. 813-820. 8 p.

Research output: Contribution to conferencePaper

On the balanced truncation of LTV systems

Farhood, M. & Dullerud, G. E., Dec 1 2004, p. 2245-2249. 5 p.

Research output: Contribution to conferencePaper

On the design of distributed protocols from differential equations

Gupta, I., Dec 27 2004, p. 216-225. 10 p.

Research output: Contribution to conferencePaper

On time-out driven power management policies in wireless networks

Zheng, R., Hou, J. C. & Sha, L. R., Dec 1 2004, p. 4097-4103. 7 p.

Research output: Contribution to conferencePaper

Powertrain optimization for an earthmoving vehicle

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

Research output: Contribution to conferencePaper

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

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

Radiance caching and local geometry correction

Arikan, O., Forsyth, D. A. & O'Brien, J. F., 2004.

Research output: Contribution to conferencePaper

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

The energy efficiency of CMP vs. SMT for multimedia workloads

Sasanka, R., Adve, S. V., Chen, Y. K. & Debes, E., 2004, p. 196-206. 11 p.

Research output: Contribution to conferencePaper

The impact of technology scaling on lifetime reliability

Srinivasan, J., Adve, S. V., Bose, P. & Rivers, J. A., Oct 1 2004, p. 177-186. 10 p.

Research output: Contribution to conferencePaper

UDP network communications for wireless control with loop coordination

Kawka, P. A., Ploplys, N. J. & Aleyne, A. G., Jan 1 2004, p. 487-493. 7 p.

Research output: Contribution to conferencePaper

Where am I and who am I? Issues in collaborative technical help

Twidale, M. & Ruhleder, K., Dec 1 2004, p. 378-387. 10 p.

Research output: Contribution to conferencePaper

2005

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

A framework for electricity market monitoring

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

Research output: Contribution to conferencePaper

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

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

Application-driven coordination-free distributed checkpointing

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

Research output: Contribution to conferencePaper

Automatic pool allocation: Improving performance by controlling data structure layout in the heap

Lattner, C. & Adve, V., Dec 1 2005, p. 129-142. 14 p.

Research output: Contribution to conferencePaper