Abstract: Three-dimensional earth-formation visualization. At least some of the illustrative embodiments are a memory device stores a program that, when executed, causes the one or more processors to output from a queue, over a network connection, an encoded video stream of a three-dimensional earth-formation model. The processors are also caused to adjust a size of the queue based on a quality of the network connection.

Abstract: Three-dimensional earth-formation visualization. At least some of the illustrative embodiments are a memory device stores a program that, when executed, causes the one or more processors to output from a queue, over a network connection, an encoded video stream of a three-dimensional earth-formation model. The processors are also caused to adjust a size of the queue based on a quality of the network connection.

Abstract: A system, method, and computer program product is presented for simulating a system of hardware components. Each component is simulated in a hardware definition language such as VERILOG. Each component is represented as a simulated device under test (DUT) that is incorporated into a simulation module. The invention synchronizes the simulation modules by issuing clock credit to each simulation module. Each simulation module can only operate when clock credit is available, and can only operate for some number of clock cycles corresponding to the value of the clock credit. Operation is said to consume the clock credit. After a simulation module has consumed its clock credit, its DUT halts. Once every simulation module has consumed its clock credit and halted, another clock credit can be issued. This allows checkpointing of the operation of each DUT and simulates parallelism of the DUTs using executable images of manageable size.