Bizarre Patents
Pet Toilet-Like Water Disk and Food Storage
One pet-friendly inventor patented "a device for watering pets, e.g., a dog or cat." The device, he helpfully noted, "has the general shape of a toilet."
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 |
| 20120072890 | UNIFIED DATA TYPE SYSTEM AND METHOD A type system includes a dual representation for basic data types. One representation is the basic data type representation common to such basic built-in data types, known as an unboxed value type or simply as a value type. Each of the basic data types also has a boxed ... | 03/22/2012 |
| 20110302651 | VERIFICATION OF A SEGMENTED PROGRAM ON A PARALLEL PROCESSING COMPUTING SYSTEM Embodiments of the invention provide a method, apparatus, and program product to verify a program that includes a plurality of sections with a computing system that is configured to process a plurality of threads of execution. The method comprises verifying and executin... | 12/08/2011 |
| 20110276948 | PARTITION-BASED STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS Partition-based static analysis of computer software applications may include inspecting each of a plurality of modules of a computer software application to identify at least one dependency of the inspected module on at least one other module of the computer software a... | 11/10/2011 |
| 20110202906 | COMPILING METHOD AND COMPILING PROGRAM A compiling method for translating an input program to an object program enables a user to easily ascertain how the input program and the object program are affected by designation of a plurality of extended language specifications. The compiling method includes: analyz... | 08/18/2011 |
| 20110191756 | Code string search apparatus, search method, and program A code ID range table holding code ID ranges for each code and a next code ID table holding next code IDs, which are the code ID located next to each code ID, are created. Code ID ranges of codes configuring a search code string are read out from the code ID range table... | 08/04/2011 |
| 20110179403 | SYSTEM AND METHOD FOR ANNOTATION-DRIVEN FUNCTION INLINING Disclosed herein are systems, methods, and computer-readable storage media for obfuscating using inlined functions. A system configured to practice the method receives a program listing including annotated functions for obfuscation, identifies an annotated function call... | 07/21/2011 |
| 20110173594 | Selective Loading of Code Elements for Code Analysis Systems and methods are described herein for selectively loading code elements included in a plurality of software entities comprising a target software entity and one or more reference software entities to facilitate analysis of the target software entity by a code ana... | 07/14/2011 |
| 20110154306 | Methods And Apparatuses For Endian Conversion An embodiment of the invention includes code, such as a compiler, that enables byte order dependent code to execute on opposite byte order dependent architectures or systems. The compiler analyzes source code and produces diagnostic reports that indicate where source co... | 06/23/2011 |
| 20110035726 | IDENTIFYING SOURCE CODE ELEMENTS FOR REFACTORING A solution for identifying build errors associated with a source code file for determining source code elements for refactoring. An embodiment of the invention utilizes a source code management system in combination with build logs generated by a build environment to de... | 02/10/2011 |
| 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 a... | 02/03/2011 |
| 20100325607 | Generating Code Meeting Approved Patterns A compiler deployed as a component of an integrated development environment (“IDE”) is adapted to transform source code into target code that is correct by construction by complying with approved patterns described by an external configuration file which is utilized... | 12/23/2010 |
| 20100325618 | FAULT TOLERANT COMPILATION WITH AUTOMATIC ERROR CORRECTION A compilation method is provided for automated user error correction. The method includes using a compiler driver run by a processor to receive a source file for compilation. With a compiler component invoked by the compiler driver, the method includes identifying an er... | 12/23/2010 |
| 20100318976 | METHOD AND SYSTEM FOR CONSTRUCTING A CUSTOMIZED WEB ANALYTICS APPLICATION A method for constructing a customized web analytics application comprises providing a base analytics code, including a base data mining code and a plurality of tokens corresponding to unincorporated code snippets, and incorporating code snippets as selected to create t... | 12/16/2010 |
| 20100306749 | Software Analysis Framework Presently described is a decompilation method of operation and system for parsing executable code, identifying and recursively modeling data flows, identifying and recursively modeling control flow, and iteratively refining these models to provide a complete model at th... | 12/02/2010 |
| 20100281471 | METHODS AND APPARATUSES FOR COMPILER-CREATING HELPER THREADS FOR MULTI-THREADING Methods and apparatuses for compiler-created helper thread for multi-threading are described herein. In one embodiment, exemplary process includes identifying a region of a main thread that likely has one or more delinquent loads, the one or more delinquent loads repres... | 11/04/2010 |
| 20100223604 | MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module... | 09/02/2010 |
| 20100211938 | SCHEMA-BASED DYNAMIC PARSE/BUILD ENGINE FOR PARSING MULTI-FORMAT MESSAGES A parse/build engine that can handle multi-format financial messages. The engine converts the different format messages into a common format, and the common format message is then processed by the business service application. A parser examines the message and determine... | 08/19/2010 |
| 20100169870 | System and Method for Reducing Transactional Abort Rates Using Compiler Optimization Techniques In transactional memory systems, transactional aborts due to conflicts between concurrent threads may cause system performance degradation. A compiler may attempt to minimize runtime abort rates by performing one or more code transformations and/or other optimizations o... | 07/01/2010 |
| 20100138815 | IMPLEMENTING ASPECTS WITH CALLBACKS IN VIRTUAL MACHINES Implementing aspects via callback in a virtual machine, where an aspect weaver weaves the aspect with a module to provide primary and crosscutting functionality in the runtime execution of the module. The virtual machine has multiple modules that are part of an applicat... | 06/03/2010 |
| 20100083237 | Reducing trace overheads by modifying trace operations A method of compiling a computer program to improve trace efficiency is disclosed. The computer program comprises a plurality of trace operations for triggering output of trace data generated by said computer program, and the method of compiling comprises the steps of: ... | 04/01/2010 |
| 20100070955 | ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS A computer-implemented pointer alias-analysis for concurrent software programs utilizing a divide-and-conquer approach, transaction level summarization and parallelization.... | 03/18/2010 |
| 20100005456 | COMPILING METHOD, COMPILING APPARATUS AND COMPUTER SYSTEM FOR A LOOP IN A PROGRAM A method for compiling a program including a loop is provided. In the program, the loop includes K instructions (K>2) and repeats for M times (M>2). The compiling method comprises following steps: performing resource conflict analysis to the K instructions in the ... | 01/07/2010 |
| 20090288073 | Edit Time Analyzer in a Loosely Typed Textual Language Analyzing code written in a loosely typed language. User input specifying code for a script may be received. The specified code may be analyzed. More specifically, one or more code portions referenced by the specified code may be determined. Properties of symbols of the... | 11/19/2009 |
| 20090172648 | BYTE CODE ANALYSIS LIBRARY A method to obtain offline source code is described. The system implementing the method extracts metadata from offline source code an constructs a logical model of the extracted metadata.... | 07/02/2009 |
| 20090094587 | INFORMATION PROCESSING TERMINAL AND PROGRAM An information processing terminal capable of specifying function information of a Jar file not to read the function information from a Jad file in which the function information of the Jar file are described, and a program used to specify the function information of th... | 04/09/2009 |
| 20090094588 | METHOD AND SYSTEM FOR PROGRAM TRANSFORMATION USING FLOW-SENSITIVE TYPE CONSTRAINT ANALYSIS A method for analyzing a program is provided. The method includes, determining an object type that may exist at an execution point of the program, wherein this enables determination of possible virtual functions that may be called; creating a call graph at a main entry ... | 04/09/2009 |
| 20090070751 | Methods and apparatus for generating branchless code for select statements In one embodiment, the present invention includes a method for determining whether a select statement can be transformed, and if so selecting a first or second transformation operation based on compiler-evaluated values for certain variables of the select statement, per... | 03/12/2009 |
| 20090024987 | METHOD AND SYSTEM FOR FACILITATING THE UTILIZATION OF COMPLEX DATA OBJECTS Computer implemented method, system and computer usable program code for facilitating utilization of data. A computer implemented method for facilitating utilization of data includes receiving data, wherein the received data is in a first representation. The received da... | 01/22/2009 |
| 20090019430 | METHODS AND ARRANGEMENTS FOR UNIFIED PROGRAM ANALYSIS A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and e... | 01/15/2009 |
| 20080307399 | GENE EXPRESSION PROGRAMMING BASED ON HIDDEN MARKOV MODELS Computer programs (600, 700, 800, 900, 1000) and a programmed computer (1100) for automatically generating computer programs (i.e. sequences of instructions) are provided. The computer programs (600, 700, 800, 900, 1000) use Hidden Markov Models ( 12/11/2008 | |
| 20080271000 | Predicting Conflicts in a Pervasive System A method of predicting conflicts in a system is described which uses a process calculus to describe programs and actions within the system. The source code for programs is transformed into an expression in the process calculus and then the reduction rules for the proces... | 10/30/2008 |
| 20080256523 | Computerized Data Warehousing A system and method for transforming data from a first format to a second format. A pre-existing set of software instructions may be used to transform the data from the first format to the second format. A user may document a set of format parameters for the first forma... | 10/16/2008 |
| 20080235674 | COMPILER METHOD OF EXPLOITING DATA VALUE LOCALITY FOR COMPUTATION REUSE A compiler method for exploiting data value locality for computation reuse. When a code region having single entry and exit points and in which a potential computation reuse opportunity exists is identified during runtime, a helper thread is created separate from the ma... | 09/25/2008 |
| 20080235673 | Method and System for Measuring Database Programming Productivity A method for measuring database programming productivity is disclosed. The method quantifies the database programming effort, which can then be used to calculate the software productivity for database development.... | 09/25/2008 |
| 20080229292 | Validator-Driven Architecture of an XML Parsing and Validating Solution A method for parsing a document in an Extensible Markup Language (XML) format includes identifying data via the XML format, defining a tag set including a plurality of tags, defining a tokenizer that produces one token at a time, parsing the XML document via a parser, v... | 09/18/2008 |
| 20080201697 | EXTENSIBLE MARKUP LANGUAGE PARSING USING MULTIPLE XML PARSERS Disclosed are a method, information processing system, and a computer readable medium for parsing a hierarchical markup document. The method includes initializing a first parser for parsing a hierarchical markup document. The first parser parses the hierarchical markup ... | 08/21/2008 |
| 20080148245 | SIMULTANEOUS STATIC ANALYSIS ON DISPARATE RESOURCE TYPES A system and method is provided for offering simultaneous or concurrent static analysis on a software product or software project where the software product or project comprises disparate resource types, such as the Java® technology or C/C++programming language. A key ... | 06/19/2008 |
| 20080127138 | ANALYZING ERP CUSTOM OBJECTS BY TRANSPORT The invention is directed to analyzing enterprise resource planning (ERP) custom objects by transport. A method in accordance with an embodiment of the present invention includes: providing a development box, wherein the development box includes: a listing of a pluralit... | 05/29/2008 |
| 20080120608 | GENERATING A STATISTICAL TREE FOR ENCODING/DECODING AN XML DOCUMENT A method and apparatus for generating a statistical tree representing an extensible markup language Schema (XSD) is disclosed. Components of the XSD are prioritized according to predefined rules. A root node representing the XSD is created. Pairs of child nodes are gene... | 05/22/2008 |
| 20080120606 | Universal XML translator An Extensible Markup Language (XML) translator for bridging electronic data and document transfer between differing legal-system XML standards.... | 05/22/2008 |
