Research Output

Filter
Conference article
2009

Defining and executing P systems with structured data in K

Serbǎnuţǎ, T., Ştefǎnescu, G. & Roşu, G., Feb 23 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5391 LNCS, p. 374-393 20 p.

Research output: Contribution to journalConference article

mSWAT: Low-cost hardware fault detection and diagnosis for multicore systems

Sastry Hari, S. K., Li, M. L., Ramachandran, P., Choi, B. & Adve, S. V., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 122-132 11 p.

Research output: Contribution to journalConference article

Pathlet routing

Godfrey, P. B., Ganichev, I., Shenker, S. & Stoica, I., Nov 30 2009, In : Computer Communication Review. 39, 4, p. 111-122 12 p.

Research output: Contribution to journalConference article

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., Roşu, 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

Threshold voltage variation effects on aging-related hard failure rates

Greskamp, B., Sarangi, S. R. & Torrellas, J., Jan 1 2007, In : Proceedings - IEEE International Symposium on Circuits and Systems. p. 1261-1264 4 p., 4252875.

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 categorical approach to simulations

Palomino, M., Meseguer, J. & Martí-Oliet, N., 2005, In : Lecture Notes in Computer Science. 3629, p. 313-330 18 p.

Research output: Contribution to journalConference article

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

A low-power bus design using joint repeater insertion and coding

Sridhara, S. R. & Shanbhag, N. R., 2005, In : Proceedings of the International Symposium on Low Power Electronics and Design. p. 99-102 4 p.

Research output: Contribution to journalConference article

Analysis of target detection performance for wireless sensor networks

Cao, Q., Yan, T., Stankovic, J. & Abdelzaher, T., 2005, In : Lecture Notes in Computer Science. 3560, p. 276-292 17 p.

Research output: Contribution to journalConference article

An architectural framework for detecting process hangs/crashes

Nakka, N., Saggese, G. P., Kalbarczyk, Z. & Iyer, R. K., Jan 1 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., Jan 1 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. & Roşu, G., Jan 1 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., 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., Madhusudan, P. & Viswanathan, M., 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

Design and comparison of lightweight group management strategies in EnviroSuite

Luo, L., Abdelzaher, T., He, T. & Stankovic, J. A., Jan 1 2005, In : Lecture Notes in Computer Science. 3560, p. 155-172 18 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., Jan 1 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Open Access

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 constructions for one-way hash chains

Hu, Y. C., Jakobsson, M. & Perrig, A., Oct 17 2005, In : Lecture Notes in Computer Science. 3531, p. 423-441 19 p.

Research output: Contribution to journalConference article

Efficient model checking of hardware using conditioned slicing

Vasudevan, S., Emerson, E. A. & Abraham, J. A., May 23 2005, In : Electronic Notes in Theoretical Computer Science. 128, 6, p. 279-294 16 p.

Research output: Contribution to journalConference article

Efficient monitoring of ω-languages

D'Amorim, M. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Open Access

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