A gun that fires a missile, powered by gas "discharged by the operator of the toy."
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.
| Number | Title | Issue Date |
| 8191047 | Multi-tiered certification service A method for certifying whether a software solution is compatible with an operating environment that includes one or more backend systems associated with a software product. Provide an advanced certification routine including a plurality of tests associated with det... | 05/29/2012 |
| 8185885 | Providing recovery data for program code A method, apparatus and computer program product for providing recovery data for program code. A first version of an object code module is received. A second version of the object code module is received, the second version being a subsequent version to the first ve... | 05/22/2012 |
| 8181169 | Measuring execution time for program optimization Devices, compilers and methods to reduce energy consumption associated with execution of a program by adjusting a computational capability of a CPU with higher accuracy than before. A device sets an appropriate computational capability to the CPU. It includes: chang... | 05/15/2012 |
| 8171454 | Method and apparatus for programming software components A method and apparatus are disclosed for programming software components that treats software components as the basic unit of abstraction and computation. A software component is encapsulated and classes and other program entities, such as data fields and methods, w... | 05/01/2012 |
| 8151258 | Managing software patches In one embodiment, the method includes determining a first set of software patches based on a group of software patches installed on a computing device and a group of available software patches. The method can also include receiving the first set of software patches... | 04/03/2012 |
| 8146060 | Data processing system and method for execution of a test routine in connection with an operating system In a system or a method for execution of a test routine in connection with a test operating system, the program data for provision of an administration operating system is processed. The test operating system or system configuration specified by a list entry is dete... | 03/27/2012 |
| 8141046 | Thread swap visual indication A computer implemented method, apparatus, and computer usable program code for indicating thread swaps. A code is presented on a graphical user interface. A portion of the code is executed. A determination is made as to whether a change from an initial thread to a c... | 03/20/2012 |
| 8141057 | Data processing apparatus and associated method In accordance with a plurality of processing requests, a SAM chip generates IC card entity data including job execution order data showing an order of execution of a plurality of jobs forming processing in accordance with a processing request and status data showing... | 03/20/2012 |
| 8141040 | Assembling work packets within a software factory A method, system, and computer-readable medium for assembling work packets within a software factory are presented. In a preferred embodiment, the computer-implemented method comprises the steps of: collecting a plurality of software artifacts that have been archive... | 03/20/2012 |
| 8141074 | Packaging files having automatic conversion across platforms A mechanism for sharing files, and sets of related files, or packages of files, in a multi-host, multi-platform environment is provided. A public package client handles user requests to perform operations on a software package. Additionally, information about the pa... | 03/20/2012 |
| 8141031 | Automatic software production system An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust ... | 03/20/2012 |
| 8136098 | Using pushdown systems for the static analysis of multi-threaded programs A static, inter-procedural dataflow analysis is used to debug multi-threaded programs which heretofore have been thought unsuitable for concurrent multi-threaded analysis. ... | 03/13/2012 |
| 8136086 | Control method for apparatus capable of using macros describing operation sequence A multi function peripheral (MFP) is provided with a scanner and a printer for operating a copy function, and a macro control unit and macro function unit for operating a macro function in order to reliably operating the macro function even for an event generated as... | 03/13/2012 |
| 8132158 | Mechanism for software transactional memory commit/abort in unmanaged runtime environment A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional M... | 03/06/2012 |
| 8127281 | Method and apparatus for efficient multiple-pattern based matching and transformation of intermediate language expression trees A computer implemented method, system and computer program product for efficient multiple-pattern based matching and transformation of intermediate language expression trees in a compiler. Such an approach includes three constructs of pattern matchers namely a regis... | 02/28/2012 |
| 8127284 | On-demand loading of types of software code of a program executing on a computing device A first computing device receives (over a network) from at least a second computing device a container that includes information relating to types of software code that are potentially invoked by a program executing on the first computing device. A determination is ... | 02/28/2012 |
| 8117591 | Graphical model for test case viewing, editing, and reporting Various techniques for interacting with a test case via a graphical model are disclosed. For example, one method involves displaying a first icon, which represents a first testing activity within a test case; displaying a second icon, which represents a second testi... | 02/14/2012 |
| 8117595 | Method for updating data in accordance with rights management policy Disclosed is a method for dynamically applying a rights management policy to a message by allowing an administrator to associate certain rights management policies with certain senders and recipients of messages, with groups of users possessing certain common criter... | 02/14/2012 |
| 8104029 | Method for computation-communication overlap in MPI applications A computer implemented method is provided for optimizing at the time of compiling a program that employs a message-passing interface (MPI). The method includes: detecting an MPI application source file; identifying a non-blocking communication within the MPI applica... | 01/24/2012 |
| 8099718 | Method and system for whitelisting software components A method and system for whitelisting software components is disclosed. In a first operating environment, runtime information may be collected about a first loaded and executing software component. The collected information may be communicated to a second software co... | 01/17/2012 |
| 8095916 | Grouping breakpoints by a criteria A method, apparatus, system, and signal-bearing medium that in an embodiment find all those breakpoints that meet a selection criteria and add the breakpoints to a breakpoint group. In various embodiments, the selection criteria may be a condition criteria, a hierar... | 01/10/2012 |
| 8091070 | Deep embedding of program languages A programming language is implemented in terms of another programming language via deep and/or modified shallow embedding. Embedded language control structures and/or type system are decomposed to primitive features. These features are semantically mapped to host la... | 01/03/2012 |
| 8056047 | System and method for managing resources using a compositional programming model A system and method for managing resources includes providing mutable entities having related data including triples, and listening for changes in the related data. A first construct is triggered in accordance with the changes in the related data to update the mutab... | 11/08/2011 |
| 8056053 | System and method for cell-based code editing and publishing A code cell is selected from a program code. The code cell is a contiguous subsection of code. To select the code cell from the program code, a first indicator is placed in the program code prior to the beginning of the code cell and a second indicator is placed in ... | 11/08/2011 |
| 8042093 | System providing automatic source code generation for personalization and parameterization of user modules A method and system of automatically generating source code for configuring a programmable microcontroller. The method involves displaying virtual blocks in a computerized design system where the virtual blocks correspond to programmable circuit blocks in a microcon... | 10/18/2011 |
| 8032876 | Method and apparatus for restructuring a software program hierarchy Method, apparatus, and computer readable medium for restructuring a software program hierarchy having interface files and implementation files that include the interface files are described. In one example, dependencies between program units in the interface files a... | 10/04/2011 |
| 8032864 | Computer readable storage medium for multi-language debugging Software developers working on multi-language systems can utilize a multi-language debugging environment. The debugging environment can be uniform across languages, and can seamlessly perform debugging between one or more languages in a multi-language environment. S... | 10/04/2011 |
| 8028282 | System for atomically updating a plurality of files A method for updating platform firmware is disclosed. This capability is facilitated by a standard software abstraction for a firmware storage device, known as Firmware Volume (FV) that is managed through a Firmware File System (FFS). The FFS enables firmware files ... | 09/27/2011 |
| 8028280 | Compiler optimisation of source code by determination and utilization of the equivalence of algebraic expressions in the source code A computer program product and computer system for implementing a method of compiler optimisation of source code during compilation of the source code in a computer environment. The compiler optimisation of source code includes: recasting two algebraic expressions i... | 09/27/2011 |
| 8015553 | Method and apparatus for testing execution flow of program A method and apparatus for testing an execution flow of a program are provided. The method includes measuring the execution flow that reflects instruction values constituting the program and an execution order of the instructions; and verifying the measured executio... | 09/06/2011 |
| 8015543 | Hardware specific code generation A computer-implemented method for generating code based on a graphical model may include: translating the graphical model into a graphical model code, the graphical model code including a first graphical model code function; performing a lookup of the first graphica... | 09/06/2011 |
| 8010950 | Method and apparatus for testing a binding application programming interface One embodiment of the present invention provides a system for testing a binding Application Programming Interface (API) on a device, wherein the binding API is bound to a native API for the device and provides different commands than the native API. During operation... | 08/30/2011 |
| 8001522 | Code accelerator Methods and systems for generating mainframe computer code are provided. Collections of code segments for implementing common input and output operations and error handling operations are linked to an application development platform. Developers identify attributes ... | 08/16/2011 |
| 8001523 | System and methods for implementing an explicit interface member in a computer programming language A system and methods are provided for implementing an explicit interface member in connection with a computer programming language. Thus, a mechanism is provided that prevents conflicts between independently developed interfaces, enables privately implemented interf... | 08/16/2011 |
| 7996821 | Data processor A data processor having a debugging aid function capable of monitoring a plurality of kinds of internal buses from the outside and identifying each of the buses monitored is provided. A central processing unit (CPU), a debugging aid module, and other circuit modules... | 08/09/2011 |
| 7984425 | Method and system for process design validation A method and system for process design validation is provided. A process validation is first triggered. A process design is evaluated against a technical infrastructure component and if a non-positive result is achieved as a result of process design validation, sugg... | 07/19/2011 |
| 7975254 | Design-time rules mechanism for modeling systems According to some embodiments, a visual design tool associated with a generic modeling framework may be selected, and a set of design-time functions used in the visual design tool may be identified. A set of design-time rules may be created (e.g., by a rule creator)... | 07/05/2011 |
| 7962892 | Designtime services for multiple patterns Methods and apparatus, including computer program products, related to designtime services for multiple patterns of a visual modeling language environment (e.g., generic services to handle events related to pattern components in a designtime environment). Input char... | 06/14/2011 |
| 7962893 | System and program for assisting the creation of automatic sampler control program In conventional cases, a control program for an automatic sampler for a liquid chromatograph has to be created by combining operational commands. To do this, users have to know the meaning of each command and learn the programming method. Therefore, the conventional... | 06/14/2011 |
| 7945899 | Method and system for remote software testing Systems and methods for testing a computer program executing on a remote computer physically distant from a local computer are provided. The local and remote computers are connected via a network. The remote computer includes a redirection device operative to transm... | 05/17/2011 |