| Document Date: 2009-02-23 01:16:02
Open Document File Size: 230,58 KBShare Result on Facebook
City Hampton / / / Facility National Institute of Aerospace / University of California / / IndustryTerm locally-synchronous systems / local area network protocol / globally-asynchronous locally-synchronous systems / open queuing network / manufacturing system authorizing production / election protocol / globally-asynchronous locally-synchronous discrete event systems / sequential algorithm / message-passing algorithm / mutex protocol / computing / state-space generation algorithm / manufacturing system / cross-product / round robin solution / / Organization Institute of Aerospace / National Aeronautics and Space Administration / University of California / Riverside / / Person Ming-Ying Chung / / / Position Queen / / ProvinceOrState Virginia / California / / Technology Leader election protocol / RAM / sequential algorithm / local area network protocol / Slotted ring network protocol / state-space generation algorithm / Saturation algorithm / peer-to-peer / message-passing algorithm / Aloha network protocol / Caching / virtual memory / 3 Abstract The Saturation algorithm / sequential Saturation algorithm / / URL www.elsevier.nl/locate/entcs / /
SocialTag |
PDMC 2007 Preliminay Version Caching, Hashing, and Garbage Collection for Distributed State Space Construction Ming-Ying Chung 1 Gianfranco Ciardo 2 Radu I. Siminiceanu 3