Patent application number | Description | Published |
20140195563 | OBJECT GRAPH PARTIAL IMMUTABILITY AND ISOLATION ENFORCEMENT - The type definition of particular types such that different portions of the corresponding object graph may have different permissions assigned to those portions during instantiation. This allows structured permissions to be applied to instantiations of the object graphs of those defined types, allowing fine grained control over what access permissions are enforced against which portions of the object graph. In some embodiments, different instantiations of the object graph may apply permissions differently. | 07-10-2014 |
20140196008 | IMMUTABLE OBJECT TYPES - 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. | 07-10-2014 |
20140196015 | DECLARATION OF LIFETIME OF RESOURCE REFERENCE - A language extension that advances safety in system programming by specifying a lifetime of a reference that represents a resource. In accordance with the language extension, the lifetime references a particular scope in a manner that the compiler generates computer-executable instructions that enforce the lifetime of the reference to be a function of (e.g., no longer than) the lifetime of the particular scope. Accordingly, the resource lifetime may be specified in advance to have a particular scope. This helps in performing resource management as typical managed language programs can allow resources to exist indefinitely. Furthermore, because the resources have a defined finite lifetime, they might be more conveniently allocated on a stack, instead of on a heap, for much more efficient processing. | 07-10-2014 |
20140282448 | OPERATING SYSTEM SUPPORT FOR CONTRACTS - A front-end compiler compiles source code into intermediate code, that may later be compiled into binary code. The source code defines an execution scope and includes a contract. When a contract is encountered at runtime of an execution scope, further execution of that execution scope is conditioned on whether a predicate associated with the contract is true. The front-end compiler operates so as to preserve the contract so that the contract continues to be semantically structured such that the predicate may be removed from the intermediate language code. The contract may thus continue to be understood by semantic analysis of the contract. Thus, the predicate may be understood by static analysis tools that operate on the intermediate code. | 09-18-2014 |
Patent application number | Description | Published |
20080272204 | ULTRASONIC FUEL INJECTOR - A fuel injector for delivering fuel to an engine in which a housing of the injector has an internal fuel chamber and at least one exhaust port in fluid communication with the fuel chamber. A valve member is moveable relative to the housing between a closed position in which fuel within the fuel chamber is inhibited against exhaustion from the housing, and an open position in which fuel is exhaustable from the housing. An ultrasonic waveguide is separate from the housing and valve member. The ultrasonic waveguide is elongate and has longitudinally opposite ends. The waveguide further has a first waveguide segment and a second waveguide segment. The first and second segments are disposed entirely within the fuel chamber of the housing. An excitation device is operable in the open position of the valve member to ultrasonically excite the ultrasonic waveguide. | 11-06-2008 |
20080294087 | Systems and Methods for Transverse Phacoemulisification - The invention is generally directed to phacoemulsification systems and methods, and more particularly to systems and methods for providing transverse phacoemulsification. In accordance with one embodiment, a phacoemulsification system is provided having a handpiece with a needle, wherein the phacoemulsification system is configured to vibrate the distal end of the needle in both an effective transverse direction and an effective longitudinal direction when power, having a single effective operating frequency is applied to the handpiece. | 11-27-2008 |
20090236938 | Ultrasonic torsional mode and longitudinal-torsional mode transducer system - The present invention relates to the design of piezoelectric transducer subassemblies and systems primarily intended for medical and dental applications. The invention also provides transducer subassemblies and systems with improved performance and a capability to operate more efficiently in torsional or a combined longitudinal-torsional mode of vibration. The invention enables the size and weight of torsional mode transducers to be reduced. Additionally, the electrical characteristics of these transducer systems are improved, thus enabling the transducer end effector to deliver more power to the operative site. | 09-24-2009 |
20110314919 | AMPLIFYING ULTRASONIC WAVEGUIDES - Ultrasonic waveguides having improved velocity gain are disclosed for use in ultrasonic medical devices. Specifically, the ultrasonic waveguides comprises a first material having a higher acoustic impedance and a second material having a lower acoustic impedance. | 12-29-2011 |
20120293044 | Ultrasonic torsional mode and longitudinal-torsional mode transducer - The present invention relates to the design of piezoelectric transducer subassemblies and systems primarily intended for medical and dental applications. The invention also provides transducer subassemblies and systems with improved performance and a capability to operate more efficiently in torsional or a combined longitudinal-torsional mode of vibration. The invention enables the size and weight of torsional mode transducers to be reduced. Additionally, the electrical characteristics of these transducer systems are improved, thus enabling the transducer end effector to deliver more power to the operative site. | 11-22-2012 |