Research Output per year
Research Output
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 journal › Conference article
Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs
Nistor, A., Marinov, D. & Torrellas, J., 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 541-552 12 p.Research output: Contribution to journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference article
Some observations on supervisory policies that enforce liveness in partially controlled Free-choice Petri nets
Sreenivas, R. S., Feb 24 2006, In : Mathematics and Computers in Simulation. 70, 5-6, p. 266-274 9 p.Research output: Contribution to journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference 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 journal › Conference article