Patents by Inventor Michael Sinz

Michael Sinz has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 9971578
    Abstract: The annotation of a returned reference from an executable component to signify that there are no external references to the particular object graph referenced by the returned reference. If either 1) there are no input arguments to the executable component or 2) each input argument is either immutable or represents an object graph that has no external mutable references pointing into the object graph, and no internal mutable references that reference external objects, the particular attribute is assigned to the returned reference. Accordingly, if the returned reference is writable (as determined by evaluating the declaration code or the call code for the executable component), the returned reference is free to have whatever access permissions assigned to it, and may also be assigned to an isolated memory location, though such assignments will cause the returned reference to lose the particular attribute.
    Type: Grant
    Filed: October 15, 2012
    Date of Patent: May 15, 2018
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: John J. Duffy, Jared P. Parsons, Michael Sinz, Alexander D. Bromfield
  • Patent number: 9740460
    Abstract: A language extension that advances safety in system programming in that an entire type may be declared to be immutable in the case in which all instances of that type are immutable. The immutable type declaration automatically causes any instances of that type to be treated as immutable, and automatically causes all directly or indirectly reachable members (e.g., fields, methods, properties) of the instance to also be treated as immutable. Furthermore, any construction time reference that allows for field assignment of the instance is not permitted to survive beyond the point at which the instance becomes accessible to its creator. Accordingly, this instance, and any other instance of that same type, will be immutable from the very time of construction. The ability to classify all such instances as immutable is beneficial as the immutable characteristic permits actions that normally would not be allowed due to resource access safety.
    Type: Grant
    Filed: June 25, 2015
    Date of Patent: August 22, 2017
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Aleksandra Nadia Culver, Krzysztof J. Cwalina
  • Publication number: 20150324175
    Abstract: A language extension that advances safety in system programming in that an entire type may be declared to be immutable in the case in which all instances of that type are immutable. The immutable type declaration automatically causes any instances of that type to be treated as immutable, and automatically causes all directly or indirectly reachable members (e.g., fields, methods, properties) of the instance to also be treated as immutable. Furthermore, any construction time reference that allows for field assignment of the instance is not permitted to survive beyond the point at which the instance becomes accessible to its creator. Accordingly, this instance, and any other instance of that same type, will be immutable from the very time of construction. The ability to classify all such instances as immutable is beneficial as the immutable characteristic permits actions that normally would not be allowed due to resource access safety.
    Type: Application
    Filed: June 25, 2015
    Publication date: November 12, 2015
    Inventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
  • Patent number: 9098269
    Abstract: A language extension that advances safety in system programming in that an entire type may be declared to be immutable in the case in which all instances of that type are immutable. The immutable type declaration automatically causes any instances of that type to be treated as immutable, and automatically causes all directly or indirectly reachable members (e.g., fields, methods, properties) of the instance to also be treated as immutable. Furthermore, any construction time reference that allows for field assignment of the instance is not permitted to survive beyond the point at which the instance becomes accessible to its creator. Accordingly, this instance, and any other instance of that same type, will be immutable from the very time of construction. The ability to classify all such instances as immutable is beneficial as the immutable characteristic permits actions that normally would not be allowed due to resource access safety.
    Type: Grant
    Filed: January 4, 2013
    Date of Patent: August 4, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
  • Publication number: 20140196008
    Abstract: A language extension that advances safety in system programming in that an entire type may be declared to be immutable in the case in which all instances of that type are immutable. The immutable type declaration automatically causes any instances of that type to be treated as immutable, and automatically causes all directly or indirectly reachable members (e.g., fields, methods, properties) of the instance to also be treated as immutable. Furthermore, any construction time reference that allows for field assignment of the instance is not permitted to survive beyond the point at which the instance becomes accessible to its creator. Accordingly, this instance, and any other instance of that same type, will be immutable from the very time of construction. The ability to classify all such instances as immutable is beneficial as the immutable characteristic permits actions that normally would not be allowed due to resource access safety.
    Type: Application
    Filed: January 4, 2013
    Publication date: July 10, 2014
    Applicant: MICROSOFT CORPORATION
    Inventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
  • Publication number: 20140108438
    Abstract: The annotation of a returned reference from an executable component to signify that there are no external references to the particular object graph referenced by the returned reference. If either 1) there are no input arguments to the executable component or 2) each input argument is either immutable or represents an object graph that has no external mutable references pointing into the object graph, and no internal mutable references that reference external objects, the particular attribute is assigned to the returned reference. Accordingly, if the returned reference is writable (as determined by evaluating the declaration code or the call code for the executable component), the returned reference is free to have whatever access permissions assigned to it, and may also be assigned to an isolated memory location, though such assignments will cause the returned reference to lose the particular attribute.
    Type: Application
    Filed: October 15, 2012
    Publication date: April 17, 2014
    Applicant: MICROSOFT CORPORATION
    Inventors: John J. Duffy, Jared P. Parsons, Michael Sinz, Alexander D. Bromfield
  • Patent number: 7533404
    Abstract: A headend system includes an apparatus. The apparatus comprises receives a plurality of separate MPEG input streams; merges the plurality of separate input streams, and outputs a merged stream that is capable of being processed by a single PID processor in a television converter apparatus.
    Type: Grant
    Filed: December 19, 2001
    Date of Patent: May 12, 2009
    Assignee: Cox Communications, Inc.
    Inventors: Michael Sinz, Jonathan Wurtz
  • Publication number: 20070055752
    Abstract: Disclosed herein are systems and methods to dynamically connect a communication device to the appropriate computer network according to the compliance level of the communication device. In one embodiment, a communication device connected to a compliance network is checked for sufficient compliance with one or more policies of a destination network. If not in sufficient compliance, the communication device in this embodiment is not allowed while insufficiently compliant to connect to the destination network, and optionally receives any appropriate updates via the connection with the compliance network. If in sufficient compliance or when rendered in sufficient compliance, the communication device is allowed in this embodiment to connect to the destination network via a connection that is not identical to the connection previously established between the communication device and the compliance network.
    Type: Application
    Filed: September 8, 2005
    Publication date: March 8, 2007
    Inventors: Jim Wiegand, Michael Sinz
  • Publication number: 20030135861
    Abstract: A headend system includes an apparatus. The apparatus comprises receives a plurality of separate MPEG input streams; merges the plurality of separate input streams, and outputs a merged stream that is capable of being processed by a single PID processor in a television converter apparatus.
    Type: Application
    Filed: December 19, 2001
    Publication date: July 17, 2003
    Inventors: Michael Sinz, Jonathan Wurtz
  • Patent number: 6415660
    Abstract: The invention relates to a method for the highly accurate determination of the filling level (q) of a product (4) in a container (2), measuring signals being transmitted in the direction of the surface (5) of the filled product (4) and reflected at the surface (5) as echo signals and the filling level (q) in the container (2) being determined by evaluation of the amplitude values (A) and phase values (&psgr;) of the reflected echo signals by means of a pulse delay-time method. Furthermore, an apparatus suitable for carrying out the method is proposed. The invention is based on the object of proposing a method and an apparatus which permit highly accurate filling level measurements in containers (2), even if multipath propagation or multimode propagation occurs.
    Type: Grant
    Filed: April 17, 2000
    Date of Patent: July 9, 2002
    Assignee: Endress + Hauser GmbH + Co.
    Inventors: Michael Sinz, Roland Müller, Dietmar Spanke, Robert Lalla
  • Patent number: 6054946
    Abstract: For measuring the level of a material in a vessel by a radar-based method an antenna arranged above the highest level anticipated radiates electromagnetic waves to the surface of the material contained in the vessel and receives reflected echo waves. The transit time of the wanted echo waves reflected by the material surface is measured from which the level is computed. Since this transit time corresponds to the group delay, for determining the reduction factor by which the group velocity of the electromagnetic waves differs from the velocity of propagation in the free space due to the geometry of the propagation space the phase difference of the wanted echo waves relative to a reference oscillation and the group delay are measured for various levels and the reduction factor is determined on the basis of the changes in the phase difference as a function of the group delay.
    Type: Grant
    Filed: April 26, 1999
    Date of Patent: April 25, 2000
    Assignee: Endress + Hauser GmbH + Co.
    Inventors: Robert Lalla, Roland Muller, Michael Sinz