| Document Date: 2009-02-23 21:54:36
Open Document File Size: 533,49 KBShare Result on Facebook
City Riverside / Mountain View / / Company Oxford University Press / Synopsys Inc. / / Country United States / / / Facility University of California / / IndustryTerm synchronous systems / pattern recognition algorithm / synchronous discrete event systems / message-passing algorithm / computing / state-space generation algorithm / cross-product / prediction algorithm / synchronous discrete-state systems / / Organization Oxford University / Department of Computer Science and Engineering / University of California / Riverside / / / Position Author / Vp / / Product Kronecker / / ProvinceOrState California / / Technology state-space generation algorithm / load balancing / peer-to-peer / message-passing algorithm / pattern recognition algorithm / Firing prediction algorithm / virtual memory / sequential Saturation algorithm / /
SocialTag |
Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View,