Silver Peak Systems, Inc.

The Fanfare Group, Inc.

Carl Hubbard

David Anthony Hughes

Damon John Ennis

Hon Tat Ho

Paul Kingston Duffie

Pawan Singh

Satomi Okazaki

Patrick Hornberger

Disclosed is a method for data traffic optimization within a virtual environment. The method may be implemented within a data center hosting virtual machines and using virtual switches for routing data traffic. The method includes instructing a virtual switch associated with a virtual machine to redirect one or more data packets directed to or from a first address associated with the virtual machine to a second address associated with data optimization virtual machine, wherein the redirection is based at least in part on an access control list, receiving, at the data optimization virtual machine, the one or more data packets redirected by the virtual switch, selectively performing one or more transformations on the one or more data packets to create one or more transformed data packets, and transmitting the one or more transformed data packets to the first address.

Workload optimization in a wide area network utilizing virtual switches

The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

System verification test using a behavior model

Growing community of inventors

Los Altos, CA, United States of America

Carl Hubbard