Match Document Document Title
9043764 Cross-platform compiler for data transforms  
Techniques for automatically partitioning a multi-platform data transform flow graph to one or more target output platforms are provided. The techniques include performing type inference on a...
9043765 Simultaneously targeting multiple homogeneous and heterogeneous runtime environments  
A single software project in an integrated development environment (IDE) may be built for multiple target environments in a single build episode. Multiple different output artifacts may be...
9038032 Symbolic execution and automatic test case generation for JavaScript programs  
A method includes, by one or more computing devices, determining JavaScript statements to be evaluated, parsing the JavaScript statements, translating the JavaScript statements into Java bytecodes...
9038039 Apparatus and method for accelerating java translation  
An apparatus and method for accelerating Java translation are provided. The apparatus includes a lookup table which stores an lookup table having arrangements of bytecodes and native codes...
9038034 Compiling for programmable culling unit  
During compilation, the interval bounds for a programmable culling unit are calculated if possible. For each variable, interval bounds are calculated during the compilation, and the bounds...
9032377 Efficient parallel computation of dependency problems  
A computing method includes accepting a definition of a computing task, which includes multiple Processing Elements (PEs) having execution dependencies. The computing task is compiled for...
9032002 Single file serialization for physical and logical meta-model information  
A technique for serializing both logical and physical meta-model information in a single file is disclosed. In an embodiment, the logical meta-model information is serialized in an Extensible...
9026994 Cloud-based localization platform  
Systems, methods, and computer-readable media having computer-executable instructions embodied thereon that generate notifications that are delivered to translators who provide updates or...
9015649 Method and apparatus for electronic system model generation  
A method of transmitting data is disclosed. At least one system block of a system-on-chip (SoC) is modeled at an untimed functional level in first and second untimed functional models. First and...
9015678 Testing internationalized software using test resource file and test font  
A storage medium containing computer code, which when executed by a computer causes the computer to perform the steps of creating a second file of messages to be outputted by the software from a...
9009684 Method, apparatus and product for porting applications to embedded platforms  
A computer-implemented method and apparatus for transforming code to embedded environments, the method comprising: receiving program code not complying with a limitation of an embedded computing...
9009727 Virtualization with in-place translation  
In a computing system having virtualization software including a guest operating system (OS), a method for executing guest OS instructions that includes: replacing each of one or more guest OS...
9003412 Performing identified repeatable computations in a changing computing environment  
A physical computer system includes a processor and a memory configured to store instructions executable by the processor to implement a virtualization module, which in turn implements virtual...
9003383 Analytic engine to parallelize serial code  
The subject system provides the ability to parallelize pre-existing serial code by importing and encapsulating all of the serial code into an object orientated flowchart language utilizing an...
9003384 Methods and apparatuses for automatic type checking via poisoned pointers  
A method and an apparatus that modify pointer values pointing to typed data with type information are described. The type information can be automatically checked against the typed data leveraging...
9003382 Efficient just-in-time compilation  
Systems and methods for just-in-time (JIT) code compilation by a computer system. An example method may comprise identifying a defined pattern in a byte stream, evaluating a conditional expression...
8997070 Extension mechanism for scripting language compiler  
A method for forming an extension to a scripting language compiler is disclosed. A compiler of a machine receives a source code that has a new keyword to a scripting language of the compiler. An...
8990785 System and method for efficiently deploying massively diverse program instances to resist differential attacks  
A system and method for producing a massive number of diverse program instances so as to deter differential attacks, collusion, and similar hostile actions. Code portions are shown to be defined...
8990515 Aliasing buffers  
The present invention extends to methods, systems, and computer program products for aliasing buffers. Embodiment of the inventions supporting buffer aliasing through introduction of a level of...
8990335 Continuous full scan data store table and distributed data store featuring predictable answer time for unpredictable workload  
A method for storing and retrieving data in a storage node of a data store and storage node of a data store, storing in main-memory at least one segment of a relational table. The storage node...
8984498 Variance analysis for translating CUDA code for execution by a general purpose processor  
One embodiment of the present invention sets forth a technique for translating application programs written using a parallel programming model for execution on multi-core graphics processing unit...
8983825 Collaborative language translation system  
A collaborative language translation system, computer readable storage medium, and method is disclosed that allocates as between automated and manual language translation services, wherein a...
8984496 Extensible internal representation of systems with parallel and sequential implementations  
The present invention provides systems and methods which allow the translation of a first representation into an intermediate representation and then into a target representation. The first...
8972947 Data presentation in integrated development environments  
Methods and apparatus are provided to access and present data from a process executing on a separate device, with the data being presented in a form suitable for the type of data, such as a...
8972874 Graphical user interface typing and mapping system  
A graphical user interface (GUI) type model helps application designers create error free graphical user interface applications (GAPs). The GUI type model provides a reference set of GUI element...
8972372 Searching code by specifying its behavior  
Systems and methods are disclosed for receiving a first specification that identifies program code behavior associated with a plurality of documents. The specification includes an input-output...
8972327 Transformation of a source model to a target model  
An aspect of the invention includes transforming a source model to a target model. A source model is received and a transformation specification that includes a set of rules is accessed. Each rule...
8966456 System and method for providing and using meta-data in a dynamically typed array-based language  
A class definition syntax that leverages the array and math-oriented nature of a dynamically typed array-based programming language is discussed. Some embodiments of the present invention provides...
8966457 Method and system for converting a single-threaded software program into an application-specific supercomputer  
The invention comprises (i) a compilation method for automatically converting a single-threaded software program into an application-specific supercomputer, and (ii) the supercomputer system...
8966461 Vector width-aware synchronization-elision for vector processors  
A medium, method, and apparatus are disclosed for eliding superfluous function invocations in a vector-processing environment. A compiler receives program code comprising a width-contingent...
8959477 Scripting language for business applications  
The present disclosure involves systems, software, and computer implemented methods for providing a scripting language for business applications. One process includes operations for providing a...
8959501 Type and length abstraction for data types  
Embodiments are directed to implementing a generic SIMD data type in software code. In an embodiment, a computer system accesses a portion of software code that includes an algorithm with a...
8959493 Using range validation in assembly language programming  
Embodiments of the present invention provide a method, system and computer program product for USING range validation during assembly of an assembly language program. In an embodiment of the...
8949777 Methods and systems for mapping a function pointer to the device code  
Methods for mapping a function pointer to the device code are presented. In one embodiment, a method includes identifying a function which is executable by processing devices. The method includes...
8943487 Optimizing libraries for validating C++ programs using symbolic execution  
Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution, comprising for each loop, if there is a branching condition within the loop, then rewrite the...
8938723 Use of GPU for support and acceleration of virtual machines and virtual environments  
A system, method and computer program product for a system, method and computer program product for using a GPU of a host computer system for supporting functionality of a number of VMs...
8938724 Delivering customized content to mobile devices  
The illustrative embodiment of the present invention provides a platform that enables a content developer to distribute uniform content to multiple types of requesting mobile devices. By authoring...
8938709 Multiple architecture viewpoints in single unified modeling language (UML) model  
A method, a system and a program product provide for defining for an information technology (IT) system that may be modeled within the context of a plurality of architecture viewpoints, and whose...
8938634 User generated data center power savings  
Technologies are described herein for providing power savings in a data center. Some example technologies may identify some user-provided hardware independent power saving codes from multiple...
8935654 Analysis system for test artifact generation  
A requirements testing system facilitates the review and analysis of requirement statements for software applications. The requirements testing system generates test artifacts from the requirement...
8930888 Modelling serialized object streams  
Modelling a serialized object stream can include receiving a stream of bytes corresponding to the serialized form of a first object, creating an empty initial model for containing a generic object...
8930881 Dual programming interface  
A computer-implemented method for providing an informal interface and a formal interface to a computing application using a computer is provided. The informal interface includes first routines,...
8931103 Generating security permissions  
Embodiments of the invention relate to generating security permissions for applications. A static analysis on an application is carried out to determine security exceptions and to determine the...
8930928 Method for modifying the assembly output of a compiler  
The present invention performs manipulations on the assembly file level. As a compiler outputs an assembly file, the assembly file may be inspected and modified before it is sent to the assembler....
8924946 Systems and methods for automatically optimizing high performance computing programming languages  
Systems and methods for replacing inferior code segments with optimal code segments. Systems and methods for making such replacements for programming languages using Message Passing Interface...
8918771 Decision tree ensemble compilation  
In one embodiment, a decision tree is evaluated in interpreted mode while statistics are collected. The decision tree is then represented as source code, and each decision in the decision tree is...
8914322 Methods and systems for managing composite data files  
Systems and methods for managing data, such as metadata or non-metadata such as content. In one exemplary method, a composite document is received and it is determined whether the composite...
8910110 Application translation cost estimator  
The invention provides a computer-implemented method for estimating the cost of translating a body of text associated with a software application, wherein the software application is configured to...
8910130 Method and system for executing a 3GL program and/or an assembler program within a 4GL runtime environment  
Certain example embodiments transform a third-generation language (3GL) and/or an Assembler program so that it can be executed within a fourth-generation language (4GL) runtime environment....
8910143 Conversion system and method for use in upgrading a monitoring system  
A conversion system for use with a first monitoring system includes an interface module for receiving a plurality of hardware configuration settings associated with the first monitoring system and...