20^th IEEE International Parallel & Distributed
Processing Symposium
April 25-29, 2006
Rhodes Island, Greece

Welcome Getting Started Conference Information Technical Sessions Workshops Book of Abstracts Author Index Search Proceedings       Technical Committee on Parallel Processing

Session 29: Symbolic Computing Applications   A Dynamic Firing Speculation to Speedup Distributed Symbolic State-space Generation Ming-ying Chung, Gianfranco Ciardo Parallelizing Post-Placement Timing Optimization Jiyoun Kim, Marios C. Papaefthymiou, Jose L. Neves Sim-X: Parallel System Software for Interactive Multi-Experiment Computational Studies Siu-man Yau, Eitan Grinspun, Vijay Karamcheti, Denis Zorin