Journal Articles

International Journal of Parallel Programming (IJPP)

Ian G. Harris, Franco Fummi: Guest Editor’s Introduction. International Journal of Parallel Programming (IJPP) 34(1):1-2 (2006)

Samar Abdi, Daniel Gajski: Verification of System Level Model Transformations. International Journal of Parallel Programming (IJPP) 34(1):29-59 (2006)

IEEE Computer

Martin Bichler, Kwei-Jay Lin: Service-Oriented Computing. IEEE Computer 39(3): 99-101 (2006)

Electronic Notes in Theoretical Computer Science (ENTCS)

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. Electr. Notes Theor. Comput. Sci. 146(2): 105-131 (2006)

Communications for the ACM (CACM)

Mark D. Hill, Jean-Luc Gaudiot, Mary W. Hall, Joe Marks, Paolo Prinetto, Donna Baglio: A Wiki for discussing and promoting best practices in research. Commun. ACM 49(9): 63-64 (2006)

Parallel Computing

Won Woo Ro and Jean-Luc Gaudiot, “A Complexity-Effective Microprocessor Design with Decoupled Dispatch Queues,” to appear in Parallel Computing, in press (2008).

Journal on Applied Signal Processing (EURASIP)

S. Ghiasi, K. Nguyen, E. Bozorgzadeh, M. Sarrafzadeh, “Efficient Timing Budget Management for Accuracy Improvement in a Collaborative Object Tracking System,” to appear in Journal on Applied Signal Processing.

International Journal of Parallel Programming (IJPP)

Hsiao-Hsi Wang, Kuan-Ching Li, Ssu-Hsuan Lu, Chun-Chieh Yang, Jean-Luc Gaudiot , “Design and Implementation of an Agent Home Scheme Strategy for Prefetch-Based DSM Systems,”International Journal of Parallel Programming (IJPP), Springer.

International Journal of Embedded Systems

P. Mishra, N. Dutt, N. Krishnamurthy, M. Abadir, “A Methodology for Validation of Microprocessors using Symbolic Simulation,” International Journal of Embedded SystemsIssue 1/2, 2005.

J. Lee, K. Choi, and N. Dutt, “Evaluating Memory Architectures for Media Applications on Coarse-Grained Reconfigurable Architectures,” International Journal of Embedded Systems, Issue 7, 2005.