949-824-9127

Journal of Parallel Distributed Computing (JPDC)

Brian Demsky, Navid Farri Tehrany: Integrating file operations into transactional memory. J. Parallel Distrib. Comput. 71(10): 1293-1304 (2011) Yuping Zhang, Chun Jason Xue, Chengmo Yang, Alex Orailoglu: Migration-aware adaptive MPSoC static schedules with dynamic...

International Journal of Parallel Programming (IJPP)

Shaoshan Liu, Ligang Wang, Xiao-Feng Li, Jean-Luc Gaudiot: Space-and-Time Efficient Parallel Garbage Collector for Data-Intensive Applications. International Journal of Parallel Programming 39(4): 451-472 (2011) Shaoshan Liu, Christine Eisenbeis, Jean-Luc...

Formal Modeling: Actors, Open Systems, Biological Systems

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 207-222

IEEE Design & Test Computers (IEEE D&ToC)

Samar Abdi, Yonghyun Hwang, Lochi Yu, Gunar Schirner, Daniel D. Gajski: Automatic TLM Generation for Early Validation of Multicore Systems. IEEE Design & Test of Computers 28(3): 10-19 (2011) Weiwei Chen, Xu Han, Rainer Dömer: Multicore Simulation of...

Frontiers in Neuroinformatics

M. Richert, J.M. Nageswaran, J.L. Krichmar: An Efficient Simulation Environment for Modeling Large-scale Cortical Processing. Frontiers in Neuroinformatics 5, 1-15