Featured patents

Automatic Region-Based Verification of Garbage Collectors
US 08776032 B2, July 8, 2014, Compiling code, Chris Hawblitzel / Microsoft Corporation (Redmond, US)
A computer implemented method comprising the following computer executable acts:…

Systems and Methods for Metamodel Transformation
US 08732655 B2, May 20, 2014, Modeling, Wolfgang Pfeifer / SAP AG (Walldorf, DE)
A method implemented by a computing system in response to execution of program…

Control Flow Analysis Using Deductive Reaching Definitions
US 08615748 B2, Dec. 24, 2013, Using flow graph, Pramod Ramarao et al. / International Business Machines Corporation (Armonk, US)
A computer-implemented process for deductive reaching definition analysis,…

Compiling Code for an Enhanced Application Binary Interface (ABI) With Decode Time Instruction Optimization
US 08615746 B2, Dec. 24, 2013, Compiling code, Steven J. Munroe et al. / International Business Machines Corporation (Armonk, US)
A method comprising:…

Memory Controller That Includes Support for Autorun of Software or Data
US 08595717 B2, Nov. 26, 2013, Including downloading, Vinaynathan Viswanathan et al. / Flexiworld Technologies, Inc. (Vancouver, US)
An integrated circuit memory device connectable to a host computing device by…

System and Method for Utilizing Available Best Effort Hardware Mechanisms for Supporting Transactional Memory
US 08533663 B2, Sept. 10, 2013, Code generation, David Dice et al. / Oracle America, Inc. (Redwood City, US)
A computer-implemented method, comprising:…

Interworking System Between User Terminal and Smart Card for Executing Widget, and Method Thereof
US 08495617 B2, July 23, 2013, Including downloading, Eun Su Jung et al. / SK Planet Co., Ltd. KR
An interworking method between a user terminal and a smart card for executing…

Calling Functions as Methods
US 08504986 B2, Aug. 6, 2013, Programming language, James P. Schneider / Red Hat, Inc. (Raleigh, US)
A computer-implemented method comprising:…

Graphical Program Code Coverage
US 08490067 B2, July 16, 2013, Including instrumentation and profiling, Jeffrey R. Boettcher et al. / National Instruments Corporation (Austin, US)
A computer-implemented method for analyzing a graphical program, the method…

Implicit Reset
US 08458655 B1, June 4, 2013, Visual, Matthew Englehart et al. / The MathWorks, Inc. (Natick, US)
A non-transitory computer-readable medium storing computer-executable…

Patentorg has 3234 documents under Data Processing: Software Development, Installation, and Management Patents.

Narrow down the browsing criteria below to see more patents.

Select a subcategory
Quick navigation
New documents
  • Process for the Production of the Actinobacillus Pleuropneumoniae Toxins APXI or APXIII in a Liquid Culture Medium Under Supply of Air Enriched in Carbon Dioxide
  • Method for Manufacturing Nonvolatile Memory Device
  • Supply Chain Demand Satisfaction
  • Supply-Line Management Device
  • Storage Control Device and Method for Managing Snapshot