Research Output

Filter
Conference article
2009

Reducing peak power with a table-driven adaptive processor core

Kontorinis, V., Shayan, A., Kumar, R. & Tullsen, D. M., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 189-200 12 p.

Research output: Contribution to journalConference article

Redundancy testing and cost assessment for environmental control and life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2009, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Suspended membrane single crystal Silicon micro hotplate for differential scanning calorimetry

Lee, J., Spadaccini, C. M., Mukerjee, E. V. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 852-855 4 p., 4805517.

Research output: Contribution to journalConference article

The BubbleWrap many-core: Popping cores for sequential acceleration

Karpuzcu, U. R., Greskamp, B. & Torrellas, J., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 447-458 12 p.

Research output: Contribution to journalConference article

2008

A Rewriting semantics for Maude strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 207-226 20 p.

Research output: Contribution to journalConference article

Floodless in seattle: A scalable ethernet architecture for large enterprises

Kim, C., Caesar, M. & Rexford, J., Dec 1 2008, In : Computer Communication Review. 38, 4, p. 3-14 12 p.

Research output: Contribution to journalConference article

Granular segregation studies for retroreflector sensor development

Hill, K. M., Fan, Y., Zhang, J., Bernhard, J. T. & Hagness, S. C., Jun 2 2008, In : Proceedings of SPIE - The International Society for Optical Engineering. 6932, 693245.

Research output: Contribution to journalConference article

Operational termination of membership equational programs: The order-sorted way

Lucas, S. & Meseguer, J., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 189-205 17 p.

Research output: Contribution to journalConference article

Reconfigurable control system design for future life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2008, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Reversible nanoscale local wettability modifications by thermochemical nanolithography

Wang, D., Okada, T., Szoszkiewicz, R., Jones, S. C., Lucas, M., Lee, J., King, W. P., Marder, S. R. & Riedo, E., Dec 1 2008, In : Materials Research Society Symposium Proceedings. 1059, p. 37-42 6 p.

Research output: Contribution to journalConference article

Variant Narrowing and equational unification

Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.

Research output: Contribution to journalConference article

2007

Locality sensitive discriminant analysis

Cai, D., He, X., Zhou, K., Han, J. & Bao, H., Dec 1 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 708-713 6 p.

Research output: Contribution to journalConference article

Modeling stochastic performance and random failure

Jiang, H., Bhalerao, K., Rodríguez, L. F., Bell, S., Kortenkamp, D. & Soboyejo, A., Jan 1 2007, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Regular strategies as proof tactics for CIRC

Lucanu, D., Rosu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.

Research output: Contribution to journalConference article

Reliable on-demand management operations for large-scale distributed applications

Liang, J., Gupta, I. & Nahrstedt, K., Oct 1 2007, In : Operating Systems Review (ACM). 41, 5, p. 82-88 7 p.

Research output: Contribution to journalConference article

Testing heuristic tools for life support system analysis

Rodríguez, L. F., Jiang, H., Bell, S. & Kortenkamp, D., Jan 1 2007, In : SAE Technical Papers.

Research output: Contribution to journalConference article

2006

Automotive vapor compression cycles: Validation of control-oriented models

Eldredge, B., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Improving energy efficiency in automotive vapor compression cycles through advanced control design

Keir, M., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas

Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.

Research output: Contribution to journalConference article

2005

A deterministic annealing approach to combinatorial library design for drug discovery

Sharma, P., Salapaka, S. & Beck, C., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 979-984 6 p., WeB13.4.

Research output: Contribution to journalConference article

An architectural framework for detecting process hangs/crashes

Nakka, N., Saggese, G. P., Kalbarczyk, Z. & Iyer, R. K., Sep 26 2005, In : Lecture Notes in Computer Science. 3463, p. 103-121 19 p.

Research output: Contribution to journalConference article

Application of Perceptual Difference Model (PDM) on regularization techniques of parallel MR imaging

Huo, D., Xu, D., Ying, L., Liang, Z. P. & Wilson, D., Sep 19 2005, In : Progress in Biomedical Optics and Imaging - Proceedings of SPIE. 5749, p. 476-483 8 p., 52.

Research output: Contribution to journalConference article

A sufficient completeness reasoning tool for partial specifications

Hendrix, J., Clavel, M. & Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 165-174 10 p.

Research output: Contribution to journalConference article

A survey and comparison of peer-to-peer group communication systems suitable for network-centric warfare

Anwar, Z., Yurcik, W. & Campbell, R. H., Nov 15 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5820, p. 33-44 12 p., 05.

Research output: Contribution to journalConference article

Automatic model-driven recovery in distributed systems

Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.

Research output: Contribution to journalConference article

AVPUC: Automatic video production with user customization

Yu, B. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 203-215 13 p., 21.

Research output: Contribution to journalConference article

Behavioral extensions of institutions

Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.

Research output: Contribution to journalConference article

BIBO stability of an adaptive time-frequency Iterative Learning Control with application to microscale robotic deposition

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4518-4524 7 p., FrB17.3.

Research output: Contribution to journalConference article

Centralized and decentralized powertrain controllers for an earthmoving vehicle

Gupta, P. & Alleyne, A., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1613-1618 6 p., WeC14.3.

Research output: Contribution to journalConference article

Complete symbolic reachability analysis using back-and-forth narrowing

Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.

Research output: Contribution to journalConference article

Congruences for visibly pushdown languages

Alur, R., Kumar, V., Parthasarathy, M. & Viswanathan, M., Oct 19 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.

Research output: Contribution to journalConference article

Continuous optimization

Fahs, B., Rafacz, T., Patel, S. J. & Lumetta, S. S., Nov 10 2005, In : Proceedings - International Symposium on Computer Architecture. p. 86-97 12 p.

Research output: Contribution to journalConference article

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Distributed architectures and implementations of observer based controllers for performance optimization

Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.

Research output: Contribution to journalConference article

Distributed optimal contention window control for elastic traffic in wireless LANs

Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.

Research output: Contribution to journalConference article

Efficient monitoring of ω-languages

D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Estimation of corrosion damage in steel reinforced mortar using waveguides

Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.

Research output: Contribution to journalConference article

Experiences with starfield visualizations for analysis of library collections

Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.

Research output: Contribution to journalConference article

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language

Viswanathan, M. & Kim, M., Sep 19 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.

Research output: Contribution to journalConference article

From conditional to unconditional rewriting

Roşu, G., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.

Research output: Contribution to journalConference article

GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications

Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.

Research output: Contribution to journalConference article

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Localized fairness: A rewriting semantics

Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.

Research output: Contribution to journalConference article

Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.

Research output: Contribution to journalConference article

Natural narrowing for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.

Research output: Contribution to journalConference article

Natural rewriting for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.

Research output: Contribution to journalConference article

New sensitivity analysis attack

El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.

Research output: Contribution to journalConference article