Patent application number | Description | Published |
20110099175 | PLUPERFECT HASHING - Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a “pluperfect” hash function. Generally, a pluperfect hash function is a hash function that maps distinct elements in a set S to distinct hash values H with no collisions (i.e., perfect hash function) and also includes an additional constraint that the hash function does not map other elements outside the set S into the set of distinct hash values H. In some example embodiments, pluperfect hash functions are used to implement a multi-way branch statement in a computer programming language. The implementation may include generating hash values for each of the case labels of the branch statement according to a pluperfect hash function. | 04-28-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 |
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 |
Patent application number | Description | Published |
20130198727 | Error Propagation - A compiler may receive source code including two user source code blocks, each capable of throwing an exception. The received source code may be associated with a policy that discards a pending exception when a subsequent exception occurs. The compiler may transform the source code such that it allows for a propagation policy that supports multiple exceptions. The transformed source code may be executed in an execution environment. Upon execution of the transformed code, a pending exception may be propagated out and a later-in-time exception may be stored. | 08-01-2013 |
20130298105 | INDICATORS FOR RESOURCES WITH CLOSE METHODS THAT DO NOT COMPLETE ERRONEOUSLY IN SOFTWARE PROGRAMS - The disclosed embodiments provide a system that facilitates the development and compilation of a software program. During operation, the system provides, in a programming language platform associated with source code for the software program, an indicator for a resource with a close method that does not complete erroneously. Next, the system enables use of the indicator with a resource-management statement in the source code, wherein the indicator facilitates omission of an exception-handling construct for the resource-management statement. | 11-07-2013 |
20130298106 | INDICATORS FOR RESOURCES WITH IDEMPOTENT CLOSE METHODS IN SOFTWARE PROGRAMS - The disclosed embodiments provide a system that facilitates the development and compilation of a software program. During operation, the system provides, in a programming language platform associated with source code for the software program, an indicator for a resource with an idempotent close method. Next, the system enables use of the indicator with a resource-management statement in the source code, wherein the indicator facilitates the use of a wrapped resource in the resource-management statement. | 11-07-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 |
Patent application number | Description | Published |
20090202845 | Antimicrobial Anodized Aluminum and Related Method - An anodized aluminum product in continuous web or sheet form, which is heat sealed and coated with an antimicrobial composition. The antimicrobial coating can be bound to surface of the anodic layer and can comprise a network of cross-linked organo-silane molecules that are also covalently bound to the surface of the anodic layer. A process also is provided including: forming an anodic layer on the surface of an aluminum substrate; heat sealing the anodic layer; preheating the web or sheet to a range from about 140° F. to about 200° F.; applying an antimicrobial composition at an application rate sufficient for the composition to at least begin binding to the surface of and form an antimicrobial coating over the anodic layer; and post heating the coated anodized antimicrobial web or sheet to a range from about 140° F. to about 200° F. to further bind the composition to the cure the antimicrobial coating. Optionally, the heat sealed anodic layer can be etched to create a bonding layer to which the antimicrobial composition strongly bonds. | 08-13-2009 |
20120186981 | ANTIMICROBIAL PROCESS ON METAL - An anodized aluminum sheet, which is heat sealed and coated with an antimicrobial composition. The antimicrobial coating may be bound to the surface of the anodic layer and can comprise a network of cross-linked organo-silane molecules that are also covalently bound to the surface of the anodic layer. A process also is provided including: forming an anodic layer on the surface of an aluminum substrate; heat sealing the anodic layer; preheating the sheet; applying an antimicrobial composition at an application rate sufficient for the composition to at least begin binding to the surface of and form an antimicrobial coating over the anodic layer; and post heating the coated anodized antimicrobial sheet to further bind the composition to cure the antimicrobial coating. Optionally, the heat sealed anodic layer can be etched to create a bonding layer to which the antimicrobial composition strongly bonds. | 07-26-2012 |
20140061052 | OUTDOOR SUITABLE ANTIQUE COPPER COLOR ALUMINUM MATERIAL AND PROCESS - A copper-substitute aluminum material made from a copper and cobalt anodizing process. The process includes the steps of: anodizing the aluminum material by submersing it in a basic sulfuric acid to build an anodic layer producing anodized aluminum material; combining copper and cobalt salts together in one bath; lowering the pH of the bath to between about 1.0 and about 3.0; coloring the anodized aluminum material electrolyticly by submersing the anodized aluminum material in the bath of copper and cobalt salts; and applying an electrical current to the bath plating the copper and cobalt salts into the anodized aluminum material. | 03-06-2014 |
20150027897 | ANTIMICROBIAL ANODIZED ALUMINUM AND RELATED METHOD - An anodized aluminum product in continuous web or sheet form, which is heat sealed and coated with an antimicrobial composition. The antimicrobial coating can be bound to surface of the anodic layer and can comprise a network of cross-linked organo-silane molecules that are also covalently bound to the surface of the anodic layer. A process also is provided including: forming an anodic layer on the surface of an aluminum substrate; heat sealing the anodic layer; preheating the web or sheet to a range from about 140.degree. F. to about 200.degree. F.; applying an antimicrobial composition at an application rate sufficient for the composition to at least begin binding to the surface of and form an antimicrobial coating over the anodic layer; and post heating the coated anodized antimicrobial web or sheet to a range from about 140.degree. F. to about 200.degree. F. to further bind the composition to the cure the antimicrobial coating. Optionally, the heat sealed anodic layer can be etched to create a bonding layer to which the antimicrobial composition strongly bonds. | 01-29-2015 |
Patent application number | Description | Published |
20080255115 | THIAZOLIDINEDIONE DERIVATIVES AS PI3 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using thiazolidinedione derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of thiazolidinedione derivatives. | 10-16-2008 |
20090018131 | QUINAZOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinazoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinazoline derivatives. | 01-15-2009 |
20090306074 | THIAZOLIDINEDIONE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using thiazolidinedione derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of thiazolidinedione derivatives. | 12-10-2009 |
20100152112 | QUINOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinoline derivatives. | 06-17-2010 |
20100179144 | QUINAZOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinazoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinazoline derivatives. | 07-15-2010 |
20140296224 | QUINOLINE DERIVATIVES AS PI3 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinoline derivatives. | 10-02-2014 |
Patent application number | Description | Published |
20080300239 | QUINOLINE DERIVATIVES AS PI3 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinoline derivatives. | 12-04-2008 |
20120165321 | QUINOLINE DERIVATIVES AS PI3 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinoline derivatives. | 06-28-2012 |
Patent application number | Description | Published |
20120027838 | FILAMENTS COMPRISING AN INGESTIBLE ACTIVE AGENT NONWOVEN WEBS AND METHODS FOR MAKING SAME - Filaments containing a filament-forming material and an additive, such as an ingestible active agent, nonwoven webs, and methods for making such filaments are provided. | 02-02-2012 |
20120172831 | Methods of Delivering a Health Care Active by Administering Personal Health Care Articles Comprising a Filament - A method of delivering a health care active having the steps of administering to a mammal in need of a health benefit or a treatment for a health condition a personal health care article and consuming the article. The article contains one or more filaments that contain a backbone material, a health care active and optionally aesthetic agents, extensional aids, plasticizers, and crosslinking agents. | 07-05-2012 |
20120225100 | Articlea and processes for Making a Porous Disintegratable Solid Substrate for Personal Health Care Applications - A personal health care article. More particularly, a personal health care article comprising at least one porous disintegratable solid substrate comprising: from about 1% to about 70%, by weight of said substrate, of a surfactant, from about 10% to about 70%, by weight of said substrate, of one or more polymers, from about 0.025% to about 85%, by weight of said substrate, of one or more health care actives, optionally a plasticizer, and optionally an aesthetic agent wherein said article is ingestible. The invention also comprises a process for making a personal health care article. | 09-06-2012 |
20130253017 | Methods of Delivering a Health Care Active by Administering Personal Health Care Articles Comprising a Filmament - A method of delivering a health care active having the steps of administering to a mammal in need of a health benefit or a treatment for a health condition a personal health care article and consuming the article. The article contains one or more filaments that contain a backbone material, a health care active and optionally aesthetic agents, extensional aids, plasticizers, and crosslinking agents. | 09-26-2013 |