| Patents for G06F 9 - Arrangements for programme control, e.g. control unit (241,428) |
|---|
| 05/21/2013 | US8448171 Communications between virtual machines that have been migrated |
| 05/21/2013 | US8448170 System and method for providing annotated service blueprints in an intelligent workload management system |
| 05/21/2013 | US8448169 Managing unique electronic identification for kernel extensions in isolated virtual space |
| 05/21/2013 | US8448168 Recording medium having virtual machine managing program recorded therein and managing server device |
| 05/21/2013 | US8448167 Storage system, and remote copy control method therefor |
| 05/21/2013 | US8448166 Automated state migration while deploying an operating system |
| 05/21/2013 | US8448165 System and method for logging operations of virtual machines |
| 05/21/2013 | US8448164 SOA-registry, method and platform manager for automatic SOA application deployment |
| 05/21/2013 | US8448163 Deploying J2EE web applications in an OSGI environment |
| 05/21/2013 | US8448162 Hitless software upgrades |
| 05/21/2013 | US8448161 Application tracking for application execution environment |
| 05/21/2013 | US8448160 Application programming interface for identifying, downloading and installing applicable software updates |
| 05/21/2013 | US8448159 Method and system for policy enabled programming |
| 05/21/2013 | US8448158 Program code generation support device and method, program execution device and method, and program code compression processing device and method and program thereof |
| 05/21/2013 | US8448157 Eliminating redundant operations for common properties using shared real registers |
| 05/21/2013 | US8448156 Systems and methods for caching compute kernels for an application running on a parallel-processing computer system |
| 05/21/2013 | US8448155 Automatically creating parallel iterative program code in a graphical data flow program |
| 05/21/2013 | US8448154 Method, apparatus and software for processing software for use in a multithreaded processing environment |
| 05/21/2013 | US8448153 Encoding data and metadata for run-time checking of computer code and data serialization |
| 05/21/2013 | US8448152 High-level language, architecture-independent probe program compiler |
| 05/21/2013 | US8448151 Method for binarizing initial script on operating system and operating method of binary script |
| 05/21/2013 | US8448150 System and method for translating high-level programming language code into hardware description language code |
| 05/21/2013 | US8448149 Method for the conversion of ladder diagrams |
| 05/21/2013 | US8448148 Detection of deadlocks or race conditions in physical systems using load testing |
| 05/21/2013 | US8448147 Heterogenic Coverage Analysis |
| 05/21/2013 | US8448146 Generation of functional tests for re-hosted applications |
| 05/21/2013 | US8448145 Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions |
| 05/21/2013 | US8448144 Testing software applications with progress tracking |
| 05/21/2013 | US8448143 System and method for message choreographies of services |
| 05/21/2013 | US8448142 Incremental runtime compliance validation of renderable objects |
| 05/21/2013 | US8448141 Evaluation of software based on change history |
| 05/21/2013 | US8448140 Execution time estimation method and device |
| 05/21/2013 | US8448139 Automatic correction of application based on runtime behavior |
| 05/21/2013 | US8448138 Recording user-driven events within a computing system |
| 05/21/2013 | US8448137 Software model integration scenarios |
| 05/21/2013 | US8448136 Creating a composite program module in a computing ecosystem |
| 05/21/2013 | US8448135 Race structure for a graphical program |
| 05/21/2013 | US8448134 Systems and methods for reliably identifying controls invoked during quality-assurance reviews of user interfaces |
| 05/21/2013 | US8448133 Software development, deployment and evolution system, method and program product |
| 05/21/2013 | US8448132 Systems and methods for modifying code generation templates |
| 05/21/2013 | US8448131 Test data creation and execution system for service oriented architecture |
| 05/21/2013 | US8448130 Auto-generated code validation |
| 05/21/2013 | US8448129 Work packet delegation in a software factory |
| 05/21/2013 | US8448128 Post-merger integration systems |
| 05/21/2013 | US8448127 Software forecasting system |
| 05/21/2013 | US8448126 Compliance program assessment tool |
| 05/21/2013 | US8448124 Post timing layout modification for performance |
| 05/21/2013 | US8448120 RC extraction for single patterning spacer technique |
| 05/21/2013 | US8448112 System, method, and computer program product for automatic power management verification |
| 05/21/2013 | US8448110 Method to reduce delay variation by sensitivity cancellation |
| 05/21/2013 | US8448106 Large scale finite state machines |
| 05/21/2013 | US8448102 Optimizing layout of irregular structures in regular layout context |
| 05/21/2013 | US8448097 High performance DRC checking algorithm for derived layer based rules |
| 05/21/2013 | US8448090 Selective plug-in activation for resource-limited platforms |
| 05/21/2013 | US8448087 Method for navigating between sections on a display space |
| 05/21/2013 | US8448072 Interception of automatic status updates for a social networking system |
| 05/21/2013 | US8448069 Object set property viewer |
| 05/21/2013 | US8447997 Method for managing storage, program and system for the same |
| 05/21/2013 | US8447993 Integrated energy savings and business operations in data centers |
| 05/21/2013 | US8447965 Apparatus for monitoring microprocessor |
| 05/21/2013 | US8447964 File update system and boot management system of mobile communication terminal, method of updating file in mobile communication terminal, and method of booting mobile communication terminal |
| 05/21/2013 | US8447963 Method and system for simplifying distributed server management |
| 05/21/2013 | US8447962 Gathering and scattering multiple data elements |
| 05/21/2013 | US8447961 Mechanism for efficient implementation of software pipelined loops in VLIW processors |
| 05/21/2013 | US8447960 Pausing and activating thread state upon pin assertion by external logic monitoring polling loop exit time condition |
| 05/21/2013 | US8447959 Multithread processor and method of controlling multithread processor |
| 05/21/2013 | US8447958 Substituting portion of template instruction parameter with selected virtual instruction parameter |
| 05/21/2013 | US8447957 Coprocessor interface architecture and methods of operating the same |
| 05/21/2013 | US8447956 Running subtract and running divide instructions for processing vectors |
| 05/21/2013 | US8447955 Efficient memory update process for well behaved applications executing on a weakly-ordered processor |
| 05/21/2013 | US8447953 Instruction controller to distribute serial and SIMD instructions to serial and SIMD processors |
| 05/21/2013 | US8447949 Detection of zero address events in address formation |
| 05/21/2013 | US8447908 Multilevel memory bus system for solid-state mass storage |
| 05/21/2013 | US8447889 Portable mass storage device with virtual machine activation |
| 05/21/2013 | US8447865 Optimal source interface selection |
| 05/21/2013 | US8447839 Three-layer web management protocol device emulation |
| 05/21/2013 | US8447807 Method and apparatus for updating and synchronizing information between a client and a server |
| 05/21/2013 | US8447806 Method and apparatus for updating and synchronizing information between a client and a server |
| 05/21/2013 | US8447744 Extensibility platform using data cartridges |
| 05/21/2013 | US8447720 Adaptive case-based reasoning system using dynamic method for knowledge acquisition |
| 05/21/2013 | US8447719 Compilation of causal rules into continuations |
| 05/21/2013 | US8447711 Architecture of a hierarchical temporal memory based system |
| 05/21/2013 | US8447583 Self initialized host cell spatially aware emulation of a computer instruction set |
| 05/21/2013 | US8447554 System, method and computer program for remotely testing system components over a network |
| 05/21/2013 | US8447485 Brake hydraulic pressure controlling apparatus for vehicle |
| 05/21/2013 | US8447158 Repeater device |
| 05/21/2013 | US8446298 Quick record function in a smart pen computing system |
| 05/21/2013 | CA2507255C System and method for preference application installation and execution |
| 05/21/2013 | CA2454290C Graphical user interface (gui) script generation and documentation |
| 05/18/2013 | CA2776650A1 Electronic device and method for updating a time identifier associated therewith |
| 05/16/2013 | WO2013071193A1 System and method for changing functionalities of websites using widgets |
| 05/16/2013 | WO2013070940A1 Configuration of a metrologically sealed device via a passive rf interface |
| 05/16/2013 | WO2013070811A1 Geo-fence based on geo-tagged media |
| 05/16/2013 | WO2013070810A1 Connection of users by geolocation |
| 05/16/2013 | WO2013070637A1 Technique for live analysis-based rematerialization to reduce register pressures and enhance parallelism |
| 05/16/2013 | WO2013070621A2 An algorithm for 64-bit address mode optimization |
| 05/16/2013 | WO2013070616A1 An algorithm for vectorization and memory coalescing during compiling |
| 05/16/2013 | WO2013070562A1 Reactive expression generation and optimization |
| 05/16/2013 | WO2013070561A1 External serialization and deserialization |
| 05/16/2013 | WO2013070508A1 Visualization of data dependency in graphical models |