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: 9971578Abstract: 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: GrantFiled: October 15, 2012Date of Patent: May 15, 2018Assignee: Microsoft Technology Licensing, LLCInventors: John J. Duffy, Jared P. Parsons, Michael Sinz, Alexander D. Bromfield
-
Patent number: 9740460Abstract: 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: GrantFiled: June 25, 2015Date of Patent: August 22, 2017Assignee: Microsoft Technology Licensing, LLCInventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Aleksandra Nadia Culver, Krzysztof J. Cwalina
-
Publication number: 20150324175Abstract: 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: ApplicationFiled: June 25, 2015Publication date: November 12, 2015Inventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
-
Patent number: 9098269Abstract: 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: GrantFiled: January 4, 2013Date of Patent: August 4, 2015Assignee: Microsoft Technology Licensing, LLCInventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
-
Publication number: 20140196008Abstract: 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: ApplicationFiled: January 4, 2013Publication date: July 10, 2014Applicant: MICROSOFT CORPORATIONInventors: John J. Duffy, Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina
-
Publication number: 20140108438Abstract: 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: ApplicationFiled: October 15, 2012Publication date: April 17, 2014Applicant: MICROSOFT CORPORATIONInventors: John J. Duffy, Jared P. Parsons, Michael Sinz, Alexander D. Bromfield
-
Patent number: 7533404Abstract: 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: GrantFiled: December 19, 2001Date of Patent: May 12, 2009Assignee: Cox Communications, Inc.Inventors: Michael Sinz, Jonathan Wurtz
-
Publication number: 20070055752Abstract: 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: ApplicationFiled: September 8, 2005Publication date: March 8, 2007Inventors: Jim Wiegand, Michael Sinz
-
Publication number: 20030135861Abstract: 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: ApplicationFiled: December 19, 2001Publication date: July 17, 2003Inventors: Michael Sinz, Jonathan Wurtz
-
Patent number: 6415660Abstract: 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: GrantFiled: April 17, 2000Date of Patent: July 9, 2002Assignee: Endress + Hauser GmbH + Co.Inventors: Michael Sinz, Roland Müller, Dietmar Spanke, Robert Lalla
-
Patent number: 6054946Abstract: 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: GrantFiled: April 26, 1999Date of Patent: April 25, 2000Assignee: Endress + Hauser GmbH + Co.Inventors: Robert Lalla, Roland Muller, Michael Sinz