Michael G Sharp

US Patent:

20060180735, Aug 17, 2006

Filed:

Dec 12, 2005

Appl. No.:

11/302414

Inventors:

William Baker - Heber UT, US
David Balls - Oakley UT, US
Daniel Balls - Oakley UT, US
Michael Sharp - Sandy UT, US

International Classification:

B28B 7/24

US Classification:

249120000, 249163000

Abstract:

A concrete mold device for vertically forming a concrete panel includes a plurality of concrete forms for collectively defining a mold cavity for receiving an uncured concrete mixture therein. The concrete forms can include a pair of opposing side wall forms to define side wall surfaces of the mold cavity and a pair of opposing end wall forms to define end wall surfaces of the mold cavity. An elongate lower support gasket can also be provided and can have an upper surface that defines a bottom surface of the mold cavity. The lower support gasket can have gasket side walls to abut against at least a portion of each of the side wall forms to provide a seal between the lower support gasket and the side wall forms to retain the concrete mixture within the mold cavity.

US Patent:

20100042981, Feb 18, 2010

Filed:

Aug 13, 2009

Appl. No.:

12/583188

Inventors:

Robert Scott Dreyer - Menlo Park CA, US
Joel Kevin Jones - Alameda CA, US
Michael Douglas Sharp - Los Gatos CA, US
Ivan Dimitrov Baev - San Jose CA, US

International Classification:

G06F 9/45

US Classification:

717146, 717155, 717149

Abstract:

Generating parallelized executable code from input code includes statically analyzing the input code to determine aspects of data flow and control flow of the input code; dynamically analyzing the input code to determine additional aspects of data flow and control flow of the input code; generating an intermediate representation of the input code based at least in part on the aspects of data flow and control flow of the input code identified by the static analysis and the additional aspects of data and control flow of the input code identified by the dynamic analysis; and processing the intermediate representation to determine portions of the intermediate representation that are eligible for parallel execution; and generating parallelized executable code from the processed intermediate representation

US Patent:

20190289042, Sep 19, 2019

Filed:

Mar 15, 2018

Appl. No.:

15/922140

Inventors:

- Orem UT, US
Michael Sharp - Pleasant Grove UT, US

International Classification:

H04L 29/06
H04L 29/08

Abstract:

This disclosure relates to a communication network within which devices participating in a communication session dynamically switch between sending media streams to a participating network device through one of multiple communication channel options. For instance, when establishing a communication session (e.g., a video conference), a sending network device establishes two potential communication channels with a receiving network device participating in the communication session. The sending network device determines which of the two potential communication channels is best suited for providing a media stream related to the communication session (e.g., an audio and/or video media stream), and assigns that communication channel as an active communication channel over which the sending network device provides the media stream to the receiving network device.

US Patent:

20160139901, May 19, 2016

Filed:

Feb 12, 2015

Appl. No.:

14/620513

Inventors:

- SAN DIEGO CA, US
ROBERT SCOTT DREYER - MENLO PARK CA, US
JASON KIM - SAN JOSE CA, US
MICHAEL DOUGLAS SHARP - LOS GATOS CA, US

International Classification:

G06F 9/45
G06F 9/44

Abstract:

Systems, methods, and computer programs are disclosed for performing runtime auto-parallelization of application code. One embodiment of such a method comprises receiving application code to be executed in a multi-processor system. The application code comprises an injected code cost computation expression for at least one loop in the application code defining a serial workload for processing the loop. A runtime profitability check of the loop is performed based on the injected code cost computation expression to determine whether the serial workload can be profitably parallelized. If the serial workload can be profitably parallelized, the loop is executed in parallel using two or more processors in the multi-processor system.

US Patent:

20150275464, Oct 1, 2015

Filed:

Mar 15, 2013

Appl. No.:

13/815900

Inventors:

Michael Sharp - Highland UT, US

Assignee:

Verti-Crete, LLC - Sandy UT

International Classification:

E02D 29/02

Abstract:

A retaining block wall, retaining blocks, and a retaining block manufacturing method result in a structural wall with two mechanical interlocks and water management systems.