| Patent application number | Description | Published |
|---|
| 20110029960 | ENCAPSULATING AND MANAGING DIAGNOSTIC INFORMATION - The disclosed embodiments provide a system that encapsulates and manages diagnostic information. During operation, the system detects an event that generates diagnostic information, and stores this diagnostic information in a format that preserves semantic information associated with the event. The system also determines an output context (e.g., the intended target environment) for the diagnostic information, and then uses the preserved semantic information to output the diagnostic information in a context-sensitive format suited for the output context. Note that outputting customized diagnostic information that is adapted to a specific target environment facilitates improving the quality of diagnostic information presented to a user. | 02-03-2011 |
| 20110099535 | Encoding Switch on Ordered Universes with Binary Decision Diagrams - Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a multi-way branch statement in a computer programming language. The multi-way branch statement may include a plurality of case labels each having a non-primitive data type (e.g., strings) and being associated with a block of code to be executed dependent upon a control variable that also has a non-primitive data type. The implementation may include encoding the case labels for the multi-way branch statement as a binary decision diagram (BDD), such as a zero-suppressed binary decision diagram (ZDD), wherein the control variable for the multi-way branch statement may be compared with the case labels by stepping through the BDD. The BDD may include identifiers that provide information regarding which of the case labels is matched by the control variable, such that an appropriate code block may be executed. | 04-28-2011 |
| 20110179402 | METHOD AND SYSTEM FOR COMPILING A DYNAMICALLY-TYPED METHOD INVOCATION IN A STATICALLY-TYPED PROGRAMMING LANGUAGE - A method for compiling source code, involving: obtaining a statement of the source code comprising a method call, where the source code is composed in a statically-typed programming language; determining whether the method call is a dynamic method call; upon determining that the method call is a dynamic method call, compiling a dynamic method invocation without performing type checking on the method call; upon determining that the method call is not a dynamic method call: performing type checking on the method call, selecting a target method to invoke, and compiling a static method invocation to invoke the target method. | 07-21-2011 |
| 20110185344 | CHARACTERIZING ARTIFICIALITY IN OBJECT CODE - One embodiment of the present invention provides a system that characterizes content in object code. During operation, the system receives the source code of a program. The system also receives one or more pieces of object code of the program, or creates one or more pieces of object code from the source code. Next, the system identifies a construct in the object code. The system then determines whether the construct is physically present in the source code. If the construct is not physically present, the system determines whether the construct is logically present in the source code, wherein a construct is logically present if it is required by the programming language. If so, the system sets a construct flag to indicate that the construct is “synthesized.” However, if not, the system sets the construct flag to indicate that the construct is “synthetic.” Finally, the construct flag is made available to a reflective API. | 07-28-2011 |
| 20110271251 | ACCESS CONTROL IN MODULES FOR SOFTWARE DEVELOPMENT - The disclosed embodiments provide a system that provides access control for a software program. During operation, the system identifies a member of a module to be used in the software program. Next, the system infers the visibility of the member based on the accessibility of the member. Finally, the system uses the visibility and the accessibility to provide access control during the life cycle of the software program. | 11-03-2011 |
| 20110271254 | POLYPHASIC MODULES FOR SOFTWARE DEVELOPMENT - The disclosed embodiments provide a system that facilitates the development and maintenance of a software program. This system includes a software development kit (SDK) and a runtime system for the software program. During operation, the system associates classes of the software program with module declarations for a set of modules and uses the module declarations to manage dependencies in the software program throughout the life cycle of the software program. | 11-03-2011 |
| 20110321019 | COMPILE-TIME MANAGEMENT OF POLYPHASIC MODULES - The disclosed embodiments provide a system that facilitates the compilation of a software program. During operation, the system uses a directory hierarchy for the software program to infer a compilation unit to be used in the software program as a member of a module. Next, the system obtains a module declaration for the module using the directory hierarchy. Finally, the system enables compilation of the software program by dynamically identifying and locating one or more dependencies of the module using the module declaration and the directory hierarchy. | 12-29-2011 |
| 20120005660 | Type Inference of Partially-Specified Parameterized Types - A compiler receives source code for a program and determines that the code includes a declaration expression and an initialization expression in an assignment context. The declaration expression introduces a variable and specifies part of a parameterized type for the variable but not another part of the parameterized type. A parameterized type may include a ground type part and one or more type arguments; in a declaration expression, the specified part of the parameterized type may include a ground type and the unspecified part may include one or more of the type arguments. The initialization expression specifies an initial value for the variable, where the value has a parameterized type. The assignment context associates the declared variable with the initial value. The compiler infers the type for the variable based at least on the part specified in the declaration expression and on the type specified by the initialization expression. | 01-05-2012 |
| 20120096433 | DEPENDENCY RESOLUTION IN POLYPHASIC MODULES - Some embodiments provide a system that facilitates the development, maintenance, and execution of a software program. During operation, the system obtains a module declaration for a module to be used in the software program. Next, the system resolves one or more dependencies of the module using the module declaration and a list of available modules for the software program. Finally, the system uses the resolved dependencies to manage the software program throughout the life cycle of the software program. | 04-19-2012 |
| 20120117538 | CHARACTERIZING INTERFACE EVOLUTION AND CONSUMER ROLES IN MODULE SYSTEMS - The disclosed embodiments provide a system that facilitates the development and maintenance of a software program. This system includes a software development kit (SDK) and a runtime system for the software program. During operation, the system obtains a role associated with a dependency of a consumer in the software program on an interface. Next, the system obtains a compatibility policy for the interface. Finally, the system uses the role and the compatibility policy to manage use of the interface by the consumer in the software program. | 05-10-2012 |
| 20120210308 | BINDING-BASED CHARACTERIZATION OF CLOSURES IN SOFTWARE PROGRAMS - The disclosed embodiments provide a system that facilitates the compilation and execution of a software program. During operation, the system obtains a closure from source code for the software program. Next, the system characterizes a type of the closure based on a mutability of one or more variables captured by the closure. Finally, the system encodes the type into a compiled form of the closure to facilitate subsequent execution of the closure in a multithreaded environment. | 08-16-2012 |
| 20120210320 | PREVENTING UNSAFE SHARING THROUGH CONFINEMENT OF MUTABLE CAPTURED VARIABLES - The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system provides a mechanism for restricting a variable to a runtime context in the software program. Next, the system identifies the runtime context during execution of the software program. Finally, the system uses the mechanism to prevent incorrect execution of the software program by ensuring that a closure capturing the variable executes within the identified runtime context. | 08-16-2012 |
| 20120272214 | INTERFACE METHOD RESOLUTION FOR VIRTUAL EXTENSION METHODS - The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains, from the software program, a method call associated with one or more interfaces containing a virtual extension method. Next, the system resolves the method call by obtaining a method implementation corresponding to the method call from at least one of an inheritance hierarchy associated with the method call and the virtual extension method. | 10-25-2012 |
| 20130174133 | ADAPTIVE SELECTION OF PROGRAMMING LANGUAGE VERSIONS FOR COMPILATION OF SOFTWARE PROGRAMS - The disclosed embodiments provide a system that facilitates the development and compilation of a software program. During operation, the system obtains a set of compilation units to be used in the software program and a version order associated with a programming language of the compilation units. Next, for each compilation unit from the set of compilation units, the system uses the version order to select a version of the programming language that is compatible with the compilation unit. The system then uses the version to compile the compilation unit. | 07-04-2013 |
| 20140040860 | Efficient and Expansive Conversions Between Reference and Primitive - A tool, such as a compiler or an interpreter, receives program source code and determines that the code includes an operation for which type conversion is permitted on an operand. The tool determines a source type of the operand, and a target type to which the operand is to be converted. In response to determining that the source type is a reference type and the target type is a primitive type, the tool generates a set of instructions to (a) determine whether, at run time, in accordance with a class definition of the reference type, a value of the target primitive type can be obtained via one or more method invocations on the operand (b) if such a value can be obtained, obtain the value and assign the value to a result of the operation and (c) if such a value cannot be obtained, generate an error indication. | 02-06-2014 |
| 20140208323 | PREVENTING UNSAFE SHARING THROUGH CONFINEMENT OF MUTABLE CAPTURED VARIABLES - The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system provides a mechanism for restricting a variable to a runtime context in the software program. Next, the system identifies the runtime context during execution of the software program. Finally, the system uses the mechanism to prevent incorrect execution of the software program by ensuring that a closure capturing the variable executes within the identified runtime context. | 07-24-2014 |
| 20150301807 | Partial Specialization of Generic Classes - Generic classes may have more than one specializable type parameter and it may be desirable to specialize one or more of the type variables while not specializing others. The result of partial specialization may be one or more additional generic classes that are further specializable on the remaining type parameters. A runtime specializer may partially specialize a generic class to produce a partially specialized class and may subsequently further specialize the partially specialized class to generate a fully specialized class. Thus, rather than performing the specialization of a generic class all at once, such as by specializing Map into Map or Map, one type parameter may be partially specialized, such as resulting in Map, and then at some later time the remaining type parameter(s) may be specialized, such as to generate Map or Map. | 10-22-2015 |
| 20150301808 | Manual Refinement of Specialized Classes - While a runtime specializer may always be able to generate an automated specialized version of a generic class, in some cases an alternate form of user control over specialization may allow the use of automated specialization while also adding (or overriding) specialization-specific method implementations. In general, the set of members of a generic class may not change when the class is specialized. In other words, the same members may exist in the auto-specialized version as in the generic version. However, manual refinement of specialized classes may allow a developer to hand specialize a particular (possibly a better) representation and/or implementation of one or more methods of the specialized class. | 10-22-2015 |
| 20150301812 | Metadata-driven Dynamic Specialization - Metadata-driven dynamic specialization may include applying a type erasure operation to a set of instruction in a generic class or to a method declaration that includes typed variables using an encoded form of an instruction or an argument to an instruction. The instruction may operate on values of the reference types and the argument may be a signature that indicates the reference types. The encoded form may be annotated to include metadata indicating which type variables have been erased and which reference types are the erasures of type variables. Additionally, the metadata may indicate that the instruction operates on values of, and that the argument indicates reference types that are erasures of, the type variables of the class (or method) declaration. Moreover, the encoded form of the instruction or argument may be used directly without specialization or transformation. | 10-22-2015 |
| 20150301840 | Dependency-driven Co-Specialization of Specialized Classes - The loading or operation of a specialized class may trigger the specialization of other classes. A compiler may be configured to recognize dependency relationships between generic classes and to describe the classes in terms of the type variables of the triggering types (e.g., the types and/or type parameterizations) that trigger the specialization of classes based on the specialization of a first class. A compiler may include information, such as structural references, indicating dependency relationships between classes when generating class files. Thus, the class file may include information indicating that a class extends a class resulting from applying a specialization code generator to an argument. Loading a first class may trigger the loading of a second class described by a structural description such that a specializer (and/or class loader) may apply the structural description to generate and load the second class for the particular parameterization. | 10-22-2015 |
| Patent application number | Description | Published |
|---|
| 20090263707 | High Energy Lithium Ion Secondary Batteries - Lithium ion secondary batteries are described that have high total energy, energy density and specific discharge capacity upon cycling at room temperature and at a moderate discharge rate. The improved batteries are based on high loading of positive electrode materials with high energy capacity. This capability is accomplished through the development of positive electrode active materials with very high specific energy capacity that can be loaded at high density into electrodes without sacrificing performance. The high loading of the positive electrode materials in the batteries are facilitated through using a polymer binder that has an average molecular weight higher than 800,000 atomic mass unit. | 10-22-2009 |
| 20090305131 | HIGH ENERGY LITHIUM ION BATTERIES WITH PARTICULAR NEGATIVE ELECTRODE COMPOSITIONS - Combinations of materials are described in which high energy density active materials for negative electrodes of lithium ion batteries. In general, metal alloy/intermetallic compositions can provide the high energy density. These materials can have moderate volume changes upon cycling in a lithium ion battery. The volume changes can be accommodated with less degradation upon cycling through the combination with highly porous electrically conductive materials, such as highly porous carbon and/or foamed current collectors. Whether or not combined with a highly porous electrically conductive material, metal alloy/intermetallic compositions with an average particle size of no more than a micron can be advantageously used in the negative electrodes to improve cycling properties. | 12-10-2009 |
| 20110017528 | LITHIUM ION BATTERIES WITH LONG CYCLING PERFORMANCE - Batteries with high energy and high capacity are described that have a long cycle life upon cycling at a moderate discharge rate. Specifically, the batteries may have a room temperature fifth cycle discharge specific energy of at least about 175 Wh/kg discharged at a C/3 discharge rate from 4.2V to 2.5V. Additionally, the batteries can maintain at least about 70% discharge capacity at 1000 cycles relative to the fifth cycle, with the battery being discharged from 4.2V to 2.5V at a C/2 rate from the fifth cycle through the 1000th cycle. In some embodiment, the positive electrode of the battery comprises a lithium intercalation composition with optional metal fluoride coating. Stabilizing additive maybe added to the electrolyte of the battery to further improve the battery performance. The batteries are particularly suitable for use in electric vehicles. | 01-27-2011 |
| 20120028105 | Battery Packs for Vehicles and High Capacity Pouch Secondary Batteries for Incorporation into Compact Battery Packs - High performance battery packs are described especially for use in electric vehicles and plug-in hybrid electric vehicles. Based on high energy lithium ion battery designs, the battery packs can have pairs of parallel connected batteries to supply an energy capacity at full discharge of at least about 40 kilowatt-hours or in alternative embodiments a set of all series connected batteries that can produce at full discharge at least about 15 kilowatt-hours. In some embodiments, lithium rich positive electrode active materials can be used to faun the batteries in which the material comprises a composition approximately represented by a formula xLi | 02-02-2012 |
| 20120263987 | HIGH ENERGY LITHIUM ION SECONDARY BATTERIES - Lithium ion secondary batteries are described that have high total energy, energy density and specific discharge capacity upon cycling at room temperature and at a moderate discharge rate. The improved batteries are based on high loading of positive electrode materials with high energy capacity. This capability is accomplished through the development of positive electrode active materials with very high specific energy capacity that can be loaded at high density into electrodes without sacrificing performance. The high loading of the positive electrode materials in the batteries are facilitated through using a polymer binder that has an average molecular weight higher than 800,000 atomic mass unit. | 10-18-2012 |
| 20130004847 | HIGH ENERGY LITHIUM ION BATTERIES WITH PARTICULAR NEGATIVE ELECTRODE COMPOSITIONS - Combinations of materials are described in which high energy density active materials for negative electrodes of lithium ion batteries. In general, metal alloy/intermetallic compositions can provide the high energy density. These materials can have moderate volume changes upon cycling in a lithium ion battery. The volume changes can be accommodated with less degradation upon cycling through the combination with highly porous electrically conductive materials, such as highly porous carbon and/or foamed current collectors. Whether or not combined with a highly porous electrically conductive material, metal alloy/intermetallic compositions with an average particle size of no more than a micron can be advantageously used in the negative electrodes to improve cycling properties. | 01-03-2013 |
| Patent application number | Description | Published |
|---|
| 20090020703 | OPTICAL FILTER FOR IMPROVED WHITE LIGHT IMMUNITY IN AN INTRUSION DETECTOR - An optical filter device for filtering radiation energy includes a substrate having a plurality of coating layers which are both transmissive to a specified wavelength band of radiation. The plurality of coating layers on a surface of the substrate each have a specified coating thickness. The plurality of coating layers cause destructive interference and/or reflection of the radiation outside the specified wavelength band of the radiation while radiation within the specified wavelength band is passed through the substrate and the plurality of coating layers. The substrate or window/filter may be positioned in a housing between a receiving element such as a pyroelectric element and the radiation energy wherein the specified wavelength band of radiation passes through the substrate and plurality of coating layers to the pyroelectric element. A signaling device communicates a signal indicating when the radiation energy within the specified wavelength band reaches the at least one pyroelectric element. | 01-22-2009 |
| 20090166538 | ADJUSTABLE MOTION DETECTION SENSOR WITH CAM - This invention relates generally to the field of motion detection sensors, and in particular to a system and method for adjusting the position of a printed circuit board relative to a focusing element. The invention includes a housing having a front opening and an interior cavity. A focusing element is located within the front opening and the detector is coupled to a printed circuit board located within the interior cavity. A cover is coupled to the printed circuit board and disposed within the interior cavity. A cam is operatively coupled with the cover and the printed circuit board for adjusting the position of the printed circuit board such that the detector's position is adjusted relative to the focusing element. | 07-02-2009 |
| 20090167538 | MOTION DETECTOR FOR DETECTING TAMPERING AND METHOD FOR DETECTING TAMPERING - A motion detector for detecting a tampering within a detection zone. A vibration-sensing unit sensitive to vibrations applied to the detector is provided to produce a vibration output signal representative of a detected parameter of the vibrations. A light-sensing unit sensitive to light in a predetermined spectrum is provided to produce a light output signal representative of a detected parameter of the light in the predetermined spectrum. A processing unit is further provided to determine if the vibration output signal is consistent with a predetermined model indicative of a tampering and producing an activating signal accordingly. | 07-02-2009 |
| 20110057105 | MOTION DETECTION SYSTEM AND METHOD - A motion detection system for detecting the presence of a moving object within a detection zone. A first sensor responsive to light in a first range of wavelengths in the detection zone is provided to generate a first output signal indicative of a first detected parameter of the light in the first range. A second sensor responsive to light in a second range of wavelengths in the detection zone is provided to generate a second output signal indicative of a second detected parameter of the light in the second range. The second range of wavelengths is different from the first range of wavelengths and the second sensor is disposed approximately to the first sensor. A processing component is provided to generate a variable threshold value for the first sensor based upon the second output signal indicative of a second detected parameter of the light in the second range and compare the first output signal with the variable threshold value. The processing component further generates an activating signal if the first output signal exceeds the threshold value. | 03-10-2011 |
| 20130265162 | Large Gap Door/Window, High Security, Intrusion Detectors Using Magnetometers - A door, or window detector incorporates a magnet and a magnetometer. Dual loop processing can be provided for real-time signals from the magnetometer, as the magnet moves relative to it, to determine when at least one of small gap or large gap indicating alarms should be issued. Security can be substantially increased by randomizing the orientation of the magnet. | 10-10-2013 |
| 20140218195 | Apparatus and Method for Rapid Human Detection with Pet Immunity - A method and apparatus where the apparatus performs the steps of detecting a moving object within a secured area, determining a size of the moving object, determining that the size exceeds a predetermined threshold value associated with an animal, determining an aspect ratio of the moving object, determining that the aspect ratio meets a predetermined aspect threshold value associated with an animal or crawling human, but not an upright human, retrieving an indicator from memory that establishes whether an animal is present or not present within the secured area and setting an alarm upon detecting that the moving object exceeds the predetermined size threshold, that the determined aspect ratio meets the aspect ratio of an animal or crawling human and that the indicator establishes that there is no animal present in the secured area. | 08-07-2014 |
| 20150075858 | Mounting Screw Retention Feature for a Housing of an Electronic Device - A corner mountable housing ( | 03-19-2015 |
| Patent application number | Description | Published |
|---|
| 20130006271 | Fasteners, Deployment Systems, and Methods for Ophthalmic Tissue Closure and Fixation of Ophthalmic Prostheses and Other Uses - Methods and devices for ophthalmic tissue closure and fixation of ophthalmic prostheses are provided. In accordance with some embodiments, devices for both grasping and clipping a plurality of ocular tissue and ocular prostheses are provided. Various device embodiments are provided for both malleable clips and delivery of normally closed clips (i.e. shape memory). The device may accommodate a plurality of clips which include, but are not limited to: malleable metals, absorbable, shape memory, drug-eluting, and adhesive dispensing. The clips may be pigmented to match the colors of associated tissue (cornea, iris, conjunctiva, sclera, retina) to serve to camouflage fixation clips for healing duration or permanently. According to one aspect, shallow angle access to anatomy may be provided by specialized angulation of device shaft and closure jaws that are intended to access the eye through a small self-healing cornea incision and/or any ocular tissue. | 01-03-2013 |
| 20130168432 | Fasteners, Deployment Systems, and Methods for Ophthalmic Tissue Closure and Fixation of Ophthalmic Prostheses and Other Uses - Improved tissue fasteners are disclosed that can be inserted into (and optionally through) tissue structures underlying a tissue surface, for affixing overlapping tissues and tissue planes together, and the like. In some embodiments, an elongate anvil body may protrude distally and/or laterally from a fastener support disposed along the base. The anvil body may have a sharpened end and be configured to penetrate into the tissue, with the elongate anvil body optionally having a bend from a more distal orientation adjacent the clip support to a more lateral orientation adjacent the sharpened end during at least a portion of the deployment. The first leg can be driven through a desired location on the surface of the first tissue and against a receptacle of the anvil body so as to deform the fastener and affix it to the first tissue. | 07-04-2013 |
| 20140175157 | Fasteners, Deployment Systems, and Methods for Ophthalmic Tissue Closure and Fixation of Ophthalmic Prostheses and Other Uses - Improved tissue fasteners are disclosed that can be inserted into (and optionally through) tissue structures underlying a tissue surface for affixing overlapping tissues and tissue planes together, and the like. In some embodiments, an elongate anvil body may protrude distally and/or laterally from a fastener support disposed along the base. The anvil body may have a sharpened end and be configured to penetrate into the tissue, with the elongate anvil body optionally having a bend from a more distal orientation adjacent the clip support to a more lateral orientation adjacent the sharpened end during at least a portion of the deployment. The first leg can be driven through a desired location on the surface of the first tissue and against a receptacle of the anvil body so as to deform the fastener and affix it to the first tissue. | 06-26-2014 |
| 20150223806 | Fasteners, Deployment Systems, and Methods for Ophthalmic Tissue Closure and Fixation of Ophthalmic Prostheses and Other Uses - Methods and devices for ophthalmic tissue closure and fixation of ophthalmic prostheses are provided. In accordance with some embodiments, devices for both grasping and clipping a plurality of ocular tissue and ocular prostheses are provided. Various device embodiments are provided for both malleable clips and delivery of normally closed clips (i.e. shape memory). The device may accommodate a plurality of clips which include, but are not limited to: malleable metals, absorbable, shape memory, drug-eluting, and adhesive dispensing. The clips may be pigmented to match the colors of associated tissue (cornea, iris, conjunctiva, sclera, retina) to serve to camouflage fixation clips for healing duration or permanently. According to one aspect, shallow angle access to anatomy may be provided by specialized angulation of device shaft and closure jaws that are intended to access the eye through a small self-healing cornea incision and/or any ocular tissue. | 08-13-2015 |
