Journal Articles

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)

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

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)

Jean-Luc Gaudiot, Yale N. Patt, Kevin Skadron: Foreword. Computer Architecture Letters 5(2): (2006)

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)

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

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.

G. Madl, S. Abdelwahed, and D. Schmidt, “Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking,” International Journal of Time-Critical Computing Systems, invited paper, 2005.
download pdf

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.

P. Mishra, N. Dutt, N. Krishnamurthy, M. Abadir, “A Methodology for Validation of Microprocessors using Symbolic Simulation,” International Journal of Embedded Systems, Issue 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.