In this paper, a team of Intel networking engineers presents a flow used to design and validate the microarchitecture of a new packet-processing module for Intel® chipsets, based on models captured using Intel® CoFluentTM Studio (CoFluentTM). With this design and validation flow, the team created an executable specification of the new packet processing module. The team first validated the funct...

virtual water adds a new dimension to crop trades and provides a new way of thinking about water scarcity. a systematic analysis of virtual water flows requires integration of all critical drivers of virtual water flows under a single consistent framework. the aim of this study was to assess virtual water flows related to trades of grain crops (wheat, corn, rice, and coarse cereals) and their i...

A novel system architecture, based on the object model. is the central structuring concept used in the Clouds distributed operating system. This architecture makes Clouds attractive over a wide class of machines and environments. Clouds is a native operating system, designed and implemented at Georgia Tech, and runs on a set of general purpose computers connected via a local area network. The s...

VERITAS, t h e VERITAS logo , VxFS, VxVM, Fi rstWat ch and VERITAS Fi rstWat ch are regi s t e re d trademark s o f VERITAS Softwa re Corporat i o n. VxServerSuite and VxSmartSync are t rademarks of VERITAS Softwa re Corporation. Other product names mentioned herein may be trademarks and/or regi s t e re d trademarks of their respective companies. Overview The VERITAS storage management product...

We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes. The method applies to systems whose structures (i.e., state transition graphs) have more state symmetries than arc symmetries. We introduce a new notion of “virtual symmetry” that strictly subsumes earlier notions of ...