Did You Know...
...that a workman who left the soap mixing machine on too long was responsible for making Ivory Soap? He was so embarrassed by his mistake that he threw the mess in a stream. Imagine his dismay when the evidence of his error floated to the surface! Result: Ivory soap, the soap that floats.
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Application No. | Application Title | Issue Date |
| 20120084749 | PROGRAMMING LANGUAGE SUPPORT FOR REACTIVE PROGRAMMING Program language support is provided to facilitate reactive programming. Code can be provided that initiates conversion between a first-class pattern and a second-class pattern, wherein the patterns operate with respect to push-based data. Support is also provided for p... | 04/05/2012 |
| 20120047494 | APPLICATION PROGRAMMING INTERFACE (API) ROUTER IMPLEMENTATION AND METHOD An application programming interface (API) implementation that can interface between an application and a programming library. The implementation includes a Function Router Wrapper that receives a formatted string from the application. The formatted string includes a fu... | 02/23/2012 |
| 20120042304 | PROGRAM CONVERSION APPARATUS AND COMPUTER READABLE MEDIUM According to one embodiment, as to a first program code including a plurality of variables, an access pattern of each variable by a processor is decided. The first program code is converted to a second program code including a plurality of threads. Each thread is execut... | 02/16/2012 |
| 20120036502 | CONSISTENCY CHECKING FOR TRANSLATED INTRUCTIONS In one embodiment, after translating a plurality of target instructions from a target memory location into a plurality of host instructions, a write operation to a target memory portion which includes said target memory location is detected. In response to the detecting... | 02/09/2012 |
| 20110314442 | REDUCING PARALLELISM OF COMPUTER SOURCE CODE An example embodiment disclosed is a method for reducing parallelism of computer source code. The method includes receiving multi-threaded program source code and representing the multi-threaded program source code as a polyhedral framework stored in computer readable m... | 12/22/2011 |
| 20110314451 | VALIDATING TRANSLATIONS OF EXTERNALIZED CONTENT FOR INCLUSION IN AN APPLICATION A method and system for validating translated files for inclusion in an application being developed. Translatable files having externalized content in a single base language are sent for translation into other languages. Translated files resulting from a translation of ... | 12/22/2011 |
| 20110314456 | System and Method for Mapping Structured Document to Structured Data of Program Language and Program for Executing Its Method The data transcription processing unit is prepared. This unit is beforehand provided with the document-structure definition information on the structured documents, i.e., the processing target, the structure definition information on the program language, and the corres... | 12/22/2011 |
| 20110307874 | CREATING TEXT FUNCTIONS FROM A SPREADSHEET The present invention extends to methods, systems, and computer program products for creating text functions form a spreadsheet. Embodiments of the invention extract functions from spreadsheets and represent the functions in textual form. Representation in textual form ... | 12/15/2011 |
| 20110307876 | REGISTER MAPPING TECHNIQUES FOR EFFICIENT DYNAMIC BINARY TRANSLATION Generally, the present disclosure provides a system and method for mapping registers from a system with more registers to a system with fewer registers. Regions may be formed that include one or more blocks of code with relatively frequent register accesses. The most fr... | 12/15/2011 |
| 20110289492 | PROGRAM CODE GENERATION SUPPORT DEVICE AND METHOD, PROGRAM EXECUTION DEVICE AND METHOD, AND PROGRAM CODE COMPRESSION PROCESSING DEVICE AND METHOD AND PROGRAM THEREOF To obtain a program code generation support device, method, and the like, capable of generating a new program code, in particular, generating in accordance with an incorporating apparatus, by performing a further optimization on a program code. The device includes stora... | 11/24/2011 |
| 20110271262 | Method and apparatus for detecting transient faults via dynamic binary translation A method for detecting transient fault includes translating binary code to an intermediate language code. An instruction of interest in the intermediate language code is identified. Reliability instructions are inserted in the intermediate language code to validate valu... | 11/03/2011 |
| 20110219361 | CORRECT REFACTORING OF CONCURRENT SOFTWARE Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurrent behaviors. We analyze the types of such behavioral changes caused by current refactoring... | 09/08/2011 |
| 20110219362 | Virtual Execution Environment for Streaming Languages A virtual execution environment (VEE) for a streaming Intermediate Language (IL), wherein the streaming IL represents a streaming program, communicates streaming data in queues, stores data-at-rest in variables, and determines data by functions, where inputs are read fr... | 09/08/2011 |
| 20110185346 | AUTOMATED BUILDING AND RETARGETING OF ARCHITECTURE-DEPENDENT ASSETS Architecture-dependent assets are automatically built and retargeted. An asset originally built for one architecture is downloaded and automatically retargeted on another architecture. This automatically retargeting may be performed on demand, at runtime.... | 07/28/2011 |
| 20110167414 | SYSTEM AND METHOD FOR OBFUSCATION BY COMMON FUNCTION AND COMMON FUNCTION PROTOTYPE Disclosed herein are systems, methods, and computer-readable storage media for obfuscating by a common function. A system configured to practice the method identifies a set of functions in source code, generates a transformed set of functions by transforming each functi... | 07/07/2011 |
| 20110167410 | MULTI LANGUAGE SOFTWARE CODE ANALYSIS The invention concerns the analysis of software code that includes code that is written in multiple languages. In particular the invention concerns, but is not limited to, static analysis on source code of an embedded system that has source code that is written in a low... | 07/07/2011 |
| 20110138370 | Typed-Data Translation for Platform Independence A method, computer program and device for the translation of typed data objects in a heterogeneous computational environment is described. The operating system (or installed shared code libraries) translates typed data objects from a first format (e.g., big-endian) to a... | 06/09/2011 |
| 20110131555 | EXTERNAL PROGRAMMATIC INTERFACE FOR IOS CLI COMPLIANT ROUTERS A method of receiving and translating data within an external programmatic interface (EPI) is described. The method calls for receiving input into the EPI. The input is traversed. Where the input is presented in a prescribed format other than CLI, it is translated into ... | 06/02/2011 |
| 20110126179 | Method and System for Dynamic Patching Software Using Source Code Systems and methods for extracting an original source code for an application, the original source code including source code for a function, receiving source code for a new function, the source code being a same type as the original source code, the new function to rep... | 05/26/2011 |
| 20110126177 | METHOD, SYSTEM AND COMPUTER PROGRAM FOR BYTECODE WEAVING A method, computer apparatus and computer program product for bytecode weaving is described herein. The method includes determining when a code module such as an OSGi bundle that requires bytecode weaving becomes available for loading into a system. Code associated with... | 05/26/2011 |
| 20110113408 | PARTIAL ON-DEMAND LAZY SEMANTIC ANALYSIS Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be u... | 05/12/2011 |
| 20110099541 | Context-Sensitive Slicing For Dynamically Parallelizing Binary Programs In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region ba... | 04/28/2011 |
| 20110078668 | SYSTEMS AND METHODS FOR PROVIDING AN EMBEDDED SERVICE-ORIENTED USER INTERFACE INTEGRATION BUS Embodiments of the invention can provide systems and methods for providing an embedded service-oriented user interface integration bus. According to one embodiment, a system can be provided having a memory for storing computer executable instructions and a processor in ... | 03/31/2011 |
| 20110055804 | Using Ecoprint for Cloning of Applications Methods and systems for automating technology integrations are presented. A source application system that connects to external technologies, such as plug-ins, is ported from one computing environment or ecosystem to another and thereby integrated on the other ecosystem... | 03/03/2011 |
| 20110055806 | METHOD AND SYSTEM TO DISCOVER POSSIBLE PROGRAM VARIABLE VALUES BY CONNECTING PROGRAM VALUE EXTRACTION WITH EXTERNAL DATA SOURCES A system and method of discovering one or more program variable values may extract an abstract interpretation of a program variable used in a computer program, locate installation-specific repositories associated with the computer program, parse the located installation... | 03/03/2011 |
| 20110055814 | COMPILER-ASSISTED PROGRAM SOURCE CODE FILTER A computer implemented method, apparatus, and computer program product for filtering source code are described. A code filtering compiler identifies an entry for a named entity in a symbol table. When a flag for the named entity in the symbol table indicates the named e... | 03/03/2011 |
| 20110016508 | Security Deployment System To address security that can arise in information systems, the present invention uses novel methods and/or systems to enhance security in information systems, using a new way to deploy selected security policies. Instead of trying to modify a whole binary file all at on... | 01/20/2011 |
| 20100333074 | Automatic conversion of MPI source code programs into MPI thread-based programs A method, system, and computer program product containing instructions for automatically converting an MPI source code program into an MPI thread-based program. In response to inputs in the form of an MPI source code program and a command, a converter declares a global ... | 12/30/2010 |
| 20100306746 | BINARY REWRITING WITHOUT RELOCATION INFORMATION A binary rewriter that can provide complete code coverage without relocation information is provided, together with a method of performing such rewriting. The method can include processing a binary file as an original binary file. The method can also include disassembli... | 12/02/2010 |
| 20100306734 | METHOD AND APPARATUS FOR MULTI-LANGUAGE SOFTWARE DEVELOPMENT A method in a software development environment for developing product runtime code having at least two code components written in different runtime languages, the method comprising: providing a programming interface for development of the code components in a single dev... | 12/02/2010 |
| 20100299657 | AUTOMATIC PARALLELIZATION USING BINARY REWRITING Binary rewriters that do not require relocation information and automatic parallelizers within binary rewriters are provided, as well as methods for performing binary rewriting and automatic parallelization. The method, in certain embodiments. includes disassembling a b... | 11/25/2010 |
| 20100281458 | APPLICATION MODIFICATION FRAMEWORK Methods and apparatus for an application modification framework used in an integrated technology platform are shown, which allows hot deployment of modifications, including a modification component, a hot deployment component, and a package manager component. The framew... | 11/04/2010 |
| 20100275070 | CONVERSION OF A CLASS ORIENTED DATA FLOW PROGRAM WITH INHERITANCE TO A STRUCTURE ORIENTED DATA FLOW PROGRAM System and method for converting a class oriented data flow program to a structure oriented data flow program. A first data flow program is received, where the first data flow program is an object oriented program comprising instances of one or more classes, and wherein... | 10/28/2010 |
| 20100257514 | EFFECTIVE MAPPING OF CODE SECTIONS TO THE SAME SECTION OF SECONDARY MEMORY TO IMPROVE THE SECURITY OF COMPUTING SYSTEMS Executable computer code sections can be stored in the same section of secondary memory (e.g., instruction cache) during execution time in order to reduce the observable changes to the state of the secondary memory, thereby enhancing the security of computing systems th... | 10/07/2010 |
| 20100235647 | Hardware Security for Software Processes A system and method for secure processing is provided, wherein a monitor application is injected into a secure application binary within the security perimeter of a secure processor. The components of the monitor application are injected into different portions of the a... | 09/16/2010 |
| 20100229160 | CONVERTING PROGRAM CODE OF A MULTI-THREADED PROGRAM INTO PROGRAM CODE CAUSING LESS LOCK CONTENTIONS A method, computer system, and computer readable article of manufacture for converting a first program code in a multi-threaded program into a second program code which causes less lock contention. A processing unit determines whether the first program code includes eit... | 09/09/2010 |
| 20100211936 | METHODS AND APPARATUS FOR INTEGRATING ENGINEERING MODELS FROM DISPARATE TOOLS IN SUPPORT OF MODEL RESUE A computer system having stored in memory a set of executable software tools that include both producer tools and consumer tools, wherein one or more of the tools may be both a producer tool and a consumer tool, a model repository, and a set of software engines that inc... | 08/19/2010 |
| 20100211937 | INTERMEDIATE FORM FOR BITWIDTH SENSITIVE APPLICATIONS AND USES THEREOF Techniques for representing a program are provided. The techniques include creating one or more sub-variables for each of one or more variables in the program, and maintaining a single size of each of the one or more variables throughout a life-span of each of the one o... | 08/19/2010 |
| 20100192137 | METHOD AND SYSTEM TO IMPROVE CODE IN VIRTUAL MACHINES A computer readable storage medium is provided having executable instructions stored thereon for executing a method of operating a computing system, in which an inner virtual machine translates first instructions, which are supported by the inner virtual machine, into s... | 07/29/2010 |
| 20100175054 | SYSTEM AND METHOD FOR TRANSFORMING A UML MODEL INTO AN OWL REPRESENTATION A system and method for transforming a human-readable Unified Mark-Up Language (UML) model having a plurality of packages for design purposes into a machine-readable Web Ontology Language (OWL) representation having a plurality of OWL namespaces or a plurality of OWL do... | 07/08/2010 |
