Sign up


Match Document Document Title
US20100333078 PACKAGING SYSTEM FOR CUSTOMIZING SOFTWARE  
In one embodiment, a system for customizing executable software code is provided. The system can include a scan logic configured to scan the executable software code to determine an execution...
US20140053144 SERVICE ENVIRONMENT UPGRADES BASED ON UPGRADE HEALTH OF SERVICE UNITS  
Disclosed herein are systems, methods, and software for facilitating technology upgrades. In at least one implementation, an incomplete upgrade to service units within a service environment is...
US20140068573 Error-code and exception-based function dispatch tables  
A condition detected by a virtual routine may be treated by setting an error code or raising an exception, depending on circumstances. Enhanced vtable layouts promote availability of both...
US20130055205 FILTERING SOURCE CODE ANALYSIS RESULTS  
A novel system, computer program product and method and system is provided for filtering the results of a source code analysis tool to present only the most relevant results to a user. A source...
US20110209126 INTER-PROCEDURAL ANALYSIS OF COMPUTER PROGRAMS  
This invention concerns inter-procedural analysis of computer programs. The need for inter-procedural analysis arises, for instance, where information is to be passed across the boundaries between...
US20120159438 Standardized Configuration Checklists For Software Development  
Implementations of the present disclosure include methods for generating a configuration checklist template. In some implementations, methods include retrieving one or more source code files, each...
US20130097584 MAPPING SOFTWARE MODULES TO SOURCE CODE  
A class map is created based on source code for a subject program that includes program modules. The class map maps the program modules to object-oriented programming classes referenced by the...
US20130055233 STREAMLINED METHODOLOGY FOR RESOLVING SOFTWARE INTEGRATION CONFLICTS  
A computer-based system to integrate code changes for a software application is provided. The system detects when a requested code change for a branch of the software application conflicts with...
US20120278788 METHODS FOR CODE GENERATION FROM SEMANTIC MODELS AND RULES  
Computerized methods for translating semantic models and rules into procedural code are described. The methods identify variables present in triples in both the rule conclusion and premise along...
US20120159460 PREFERRED COMPILATION  
A method and system to identify code entities suitable for preferred compilation is provided. An example method comprises detecting a request to start up a computer program comprising a plurality...
US20120324423 NAVIGATION HISTORY VISUALIZATION IN INTEGRATED DEVELOPMENT ENVIRONMENT  
An integrated development environment displays a diagram that indicates relationships between code elements navigated by a user. The diagram provides a visualization of the navigation history of...
US20140013299 GENERALIZATION AND/OR SPECIALIZATION OF CODE FRAGMENTS  
Generalization and/or specialization of code fragments is described, for example, as part of a tool for software developers. In an embodiment, a developer inserts natural language expressing a...
US20130074058 Memoization from Offline Analysis  
Memoization may be deployed using a configuration file or database that identifies functions to memorize, and in some cases, includes input and result values for those functions. The configuration...
US20120089968 RUNTIME AGNOSTIC REPRESENTATION OF USER CODE FOR EXECUTION WITH SELECTED EXECUTION RUNTIME  
An execution environment in a computer system allows user code to be executed using multiple execution runtimes. The execution environment translates the user code into a runtime agnostic...
US20120167057 DYNAMIC INSTRUMENTATION OF SOFTWARE CODE  
A dynamic instrumentation system is described herein that performs dynamic, in-memory software code instrumentation achieved by injecting a library into the process to intercept module loads and...
US20140026127 Automated Compiler Specialization for Global Optimization  
Techniques are provided herein for the offline static analysis of a stable code base in order to build a compiler and tools specialised to that code base. This allows global code base knowledge to...
US20130179858 FRAMEWORK FOR AUTOMATED TESTING OF MOBILE APPS  
A framework for the automated testing of mobile applications is disclosed. A mobile application to be operated on a mobile device is built based on a source code of the mobile application. The...
US20130185700 Tracking Stale Comments in Source Code Listings  
Managing comments within computer software source code by detecting a change in a portion of computer software source code, identifying a comment that is associated with the portion, and providing...
US20100306745 Efficient Code Instrumentation  
A method for instrumenting a computer program, the method including identifying a program slice within a computer program, and instrumenting the program slice within the program.
US20110066998 Building and delivering highly adaptive and configurable tutoring systems  
This invention discloses a computer implemented method for authoring and delivering content in a highly adaptive and easily configurable manner. Given a problem domain, an authoring system, called...
US20140282448 OPERATING SYSTEM SUPPORT FOR CONTRACTS  
A front-end compiler compiles source code into intermediate code, that may later be compiled into binary code. The source code defines an execution scope and includes a contract. When a contract is...
US20110099532 Automation of Software Application Engineering Using Machine Learning and Reasoning  
A system for automatically creating a desired software application design. In response to an input to create a desired software application design, functional requirements for the desired software...
US20130061212 Modern Application Tracing  
Modern application tracing techniques are described herein that enable dynamic logging of events declared in a static manifest. Various events for logging can be declared in a static manifest. The...
US20130311975 Automated tagging and tracking of defect codes based on customer problem management record  
A routine for tagging and tracking source code may be implemented in a software development environment. The routine begins upon the identification of a defect in a software product or system. Once...
US20130311972 Automated tagging and tracking of defect codes based on customer problem management record  
A routine for tagging and tracking source code may be implemented in a software development environment. The routine begins upon the identification of a defect in a software product or system. Once...
US20120174068 Testing Software Code  
A computer-implemented method for testing software code includes the following steps performed by one or more processors: receiving a request to test at least a first portion of software code at a...
US20120005661 Method for Just-in-Time Compilation and Execution of Code Blocks within Discrete Event Simulations  
A method for a discrete event simulation model of a system utilizing a just-in-time compilation for one or more code blocks associated with an event in one or more discrete event simulation models...
US20120036497 INTEGRITY CHECK WHILE COMMITTING CHANGES FROM AN INTEGRATED DEVELOPMENT ENVIRONMENT TO A SOURCE CODE CONTROL SYSTEM  
Integrity check is performed on selected items that are to be committed to storage from an integrated development environment. Integrity check utilizes dependency relationship table to determine...
US20110138356 METHOD AND SOFTWARE PROGRAM PRODUCT FOR ON-THE-FLY MATCHING OF MESSAGES  
A method of matching message elements, including a reading step of reading a contents of a first message and a second message and a determining step that determines whether the content of the first...
US20120311527 SYSTEM AND METHOD OF PROVIDING IN-APP SERVICE  
In order for an in-app service providing system comprised of an in-app service server and a content server to provide a customized service to a user, when the in-app service server receives user...
US20140282456 METHODS, SYSTEMS AND COMPUTER-READABLE MEDIA FOR CODE PROFILING AND MIGRATION EFFORT ESTIMATION  
Systems, methods and computer-readable storage media for profiling software and providing migration effort estimations are described. A software profiling system may be configured to receive code...
US20110191762 MINING DEPENDENCIES FROM DISK IMAGES  
Methods and arrangements for automatically finding the dependency of a software product on other software products or components. From an install image or directory, a signature is found by...
US20130007701 CODE REMEDIATION  
Various technologies related to code remediation are presented. Code to be remediated can be annotated with language-independent annotations. From the annotations, remediated code in a particular...
US20140208290 APPLICATION SOURCE CODE SCANNING FOR DATABASE MIGRATION  
Systems, methods, and other embodiments associated with application source code scanning for database migration are described. In one embodiment, a method includes identifying a subset of...
US20130198727 Error Propagation  
A compiler may receive source code including two user source code blocks, each capable of throwing an exception. The received source code may be associated with a policy that discards a pending...
US20110289486 System and Method for Debugging Dynamically Generated Code of an Application  
A system and method for debugging dynamically generated application code is provided. The system and method compare a received script chunk of the application to the contents of script tags of a...
US20120110561 STRUCTURE LAYOUT OPTIMIZATIONS  
More effective compiler optimizations provide improved cache utilization. The compiler optimizations include a structure layout optimization that leaves the physical layout of the structure fields...
US20130310726 Home Medical Device Systems and Methods for Therapy Prescription and Tracking, Servicing and Inventory  
A home medical device system includes a plurality of home therapy machines that perform a home therapy on a patient; a connectivity server; a system hub coupled to the home therapy machines through...
US20130111436 METHOD AND FRAMEWORK FOR SOFTWARE DEVELOPMENT  
Presented are systems and methods of operation for a framework system. The framework system acquires software code and modularizes the software code to create an associated modular code, wherein...
US20140068567 DETERMINING RELEVANT EVENTS IN SOURCE CODE ANALYSIS  
In embodiments of determining relevant events in source code analysis, a computing device includes a key event manager that is implemented to traverse executable paths in source code of executable...
US20100153939 REMAPPING DEBUGGABLE CODE  
User script code that has been developed for execution in a host application can be remapped to debuggable script code, based on explicit debugging gestures, allowing for appropriate debugging...
US20110258609 METHOD AND SYSTEM FOR SOFTWARE DEFECT REPORTING  
A method and system ties together the identification of a defect during testing with the supporting application code on the systems that led to the generation of a defect. The association between...
US20110265069 METHODS AND SYSTEMS FOR EXECUTION OF TENANT CODE IN AN ON-DEMAND SERVICE ENVIRONMENT INCLUDING UTILIZATION OF SHARED RESOURCES AND INLINE GOVERNOR LIMIT ENFORCEMENT  
A method for evaluating bytecode in an on-demand service environment. A request to compile source code is received in a multitenant database environment. One or more limit enforcement mechanisms...
US20140237460 VECTORIZATION IN AN OPTIMIZING COMPILER  
An optimizing compiler includes a vectorization mechanism that optimizes a computer program by substituting code that includes one or more vector instructions (vectorized code) for one or more...
US20110264718 Virtual System Administration Environment For Non-Root User  
A virtual system environment in a computing system allows non-root users to perform administrative operations normally requiring root privileges. A virtual control module has a virtual file system...
US20130247002 ABSTRACTING BENEFIT RULES FROM COMPUTER CODE  
A method that includes: obtaining a computer code usable to process insurance claims; building a computer readable directed graph representing a control flow of the code, by identifying decisions...
US20110107315 ABSTRACTING BENEFIT RULES FROM COMPUTER CODE  
A method that includes: obtaining a computer code usable to process insurance claims; building a computer readable directed graph representing a control flow of the code, by identifying decisions...
US20140282440 TRANSITIONING BETWEEN CODE-BASED AND DATA-BASED EXECUTION FORMS IN COMPUTING SYSTEMS AND ENVIRONMENTS  
Techniques for transitioning between code-based and data-based execution forms (or models) are disclosed. The techniques can be used to improve the performance of computing systems by allowing the...
US20100131919 OPTIMAL CODE GENERATION FOR DERIVATION TABLES  
A set order that most efficiently separates a set of output vectors of a derivation table is iteratively determined for a set of input vectors belonging to the derivation table. Code is generated...
US20110239195 DEPENDENCE-BASED SOFTWARE BUILDS  
Dependence-based software builds are described. In embodiments, authored source code is received as inputs to a computer device to develop a buildable unit of a software build project. The software...