The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
RAM-based storage aggregates the RAM of servers in data center networks (DCN) to provide extremely high storage performance. For quick recovery of storage server failures, Mem-Cube [1] exploits the proximity of the BCube network to limit the recovery traffic to the recovery servers' 1-hop neighborhood. However, previous design is applicable only to BCube, and has suboptimal recovery performance due...
RAM-based storage aggregates the RAM of thousands of commodity servers in data center networks (DCN) to provide extremely low I/O latency and high I/O throughput. In order to achieve fast failure recovery, MemCube exploits network proximity to restrict failure detection and recovery within 1-hop range. However, previous design is applicable only to the BCube network, which limits the usage of RAM-based...
Model checking has been widely used in program verification and debugging. In this paper, we present ModelX, which makes the first step towards using formal methods to verify the design of large-scale cloud applications. Our basic idea is to model the high-level behavior of cloud applications in early design, and use the distributed model checker, SPIN, to verify whether the LTL (linear temporal logic)...
As one of the components in iVCE software platform, iVCE/M devotes to the performance improvement of the I/O-intensive and memory-intensive applications with efficient aggregation of distributed memory resources. To facilitate the deployment of iVCE/M, the data locating algorithm with balanced time and space cost, as well as the transparent interface for the legacy applications without code modification,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.