A method to tenderize meat with an explosive shockwave.
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 |
| 8161467 | Compiling method and storage medium therefor A compiler includes a register allocator for allocating registers for instructions in a program to be compiled, and a code generator for generating object code based on the register allocation results performed by the register allocator. The register allocator alloc... | 04/17/2012 |
| 7861236 | System and method for version control for software development A method for constructing a software distribution image includes modifying zero or more to-be-compiled components of the software distribution image using pre-processing instructions to delineate modifications for inclusion or exclusion from a final compiled version... | 12/28/2010 |
| 7596747 | Incrementally parsing style sheets A style sheet is incrementally parsed when a change is made. Instead of parsing the entire style sheet text each time a change is made, only a portion of the style sheet is parsed in response to the incremental change. As a result of the incremental parsing the numb... | 09/29/2009 |
| 7530015 | XSD inference The automatic generation of schemas for XML documents is provided. In an illustrative implementation, a computer readable medium having computer readable instructions to instruct a computing environment to execute one or more inference algorithms is provided. In ope... | 05/05/2009 |
| 7441238 | Extendable compiler framework To meet the current trend in computer programming, a multi-programming-language compiler system is designed to include a compiler framework which creates a general environment in which to carry out compilation and language modules to encapsulate the details of vario... | 10/21/2008 |
| 7428730 | Software development environment A method and system for programming a software development environment to reserve memory space for direct access by a remote direct memory program. ... | 09/23/2008 |
| 7406592 | Method, system, and apparatus for efficient evaluation of boolean expressions Methods, systems, and computer-readable media are provided for efficiently evaluation Boolean expressions. According to the method, the Boolean expression is expressed using pre-fix notation. Each element in the pre-fix expression is then parsed. For each first oper... | 07/29/2008 |
| 7367019 | Parameter management using compiler directives A method, system, architecture and apparatus for managing program function parameters using compiler directives. A parameter management system can include a compiler coupled to a primary symbol-type dictionary and a supplemental symbol-type dictionary containing par... | 04/29/2008 |
| 7367023 | Method and apparatus for generating computer programming code selectively optimized for execution performance and not optimized for serviceability A compiler has the capability to selectively compile individual portions of a compilable code module for optimum execution performance or for serviceability. In one aspect, individual portions, such as procedures (being less than the entire module) are selectively o... | 04/29/2008 |
| 7343600 | Providing an image of installed software utilizing uninstall code A method for providing an image of software installed on a computer system is disclosed. The method includes the steps of deconstructing the image into at least one portion and creating at least one module from the at least one portion of the image. The deconstructi... | 03/11/2008 |
| 7337105 | Electronic equipment setting information creating method and apparatus, and security policy creating method and associated apparatus A method and an associated apparatus for automatically creating security policies written in specific languages of specific devices based on a security policy written in natural language. A product level policy creating apparatus comprises language conversion means ... | 02/26/2008 |
| 7328430 | Method for analyzing data and performing lexical analysis A system and method provide the ability to construct lexical analyzers on the fly in an efficient and pervasive manner. The system and method split the table describing the automata into two distinct tables and splits the lexical analyzer into two phases, one for ea... | 02/05/2008 |
| 7325230 | System for compiling source programs into machine language programs, a computer implemented method for the compiling and a computer program product for the compiling within the computer system A system for compiling source programs into machine language programs, comprising: a data type information processing module configured to analyze a definition statement of a fixed-point data type in a source program, acquire data type information of the fixed-point... | 01/29/2008 |
| 7318221 | Windows™ F-language interpreter A computer system includes a memory and a processor. The memory includes an interpreter for interpreting data in a multiple task system. The interpreter includes a scanner for reading at least one command from an input port and providing a token according to the cat... | 01/08/2008 |
| 7316011 | Memory reduction for object-oriented compilers An exemplary method includes parsing metadata associated with at least a portion of source code to construct a truncated parse tree; selecting a segment of the truncated parse tree; parsing metadata associated with the selected segment to construct one or more addit... | 01/01/2008 |
| 7296297 | System and method for using web-based applications to validate data with validation functions Clients using standard software protocols may access stored validation functions in order to perform validation functions on data via a number of methods including Internet applications, a Java RMI server, a CORBA gateway server and graphical screen interphase appli... | 11/13/2007 |
| 7287040 | Test strategy system and method for accounts held direct at-fund The present invention provides a system and method for a user to test and transfer data from a client's database or network to a host's database or network. In accordance with an exemplary embodiment of the present invention, a user acquires data information from a ... | 10/23/2007 |
| 7284274 | System and method for identifying and eliminating vulnerabilities in computer software applications A system and method for certifying software for essential and security-critical systems. The system and method provide a methodology and corresponding analysis engines increase the level of confidence that common vulnerabilities are not present in a particular appli... | 10/16/2007 |
| 7277953 | Integrated procedure for partitioning network data services among multiple subscribers A method and apparatus for partitioning network data services among multiple subscribers uses information stored in several tables to define a plurality of independent networks where each independent network comprises a set of access ports and a unique set of destin... | 10/02/2007 |
| 7275241 | Dynamic instrumentation for a mixed mode virtual machine The present invention provides a method, apparatus, and computer instructions for dynamic intermediate code transformation in a mixed mode compiler. In an exemplary embodiment, an object code compiler of a virtual-machine, such as the just-in-time (JIT) compiler ( | 09/25/2007 |
| 7266810 | Runtime profiling of platform-independent software applications A system and method for profiling the runtime environment of a software application written in a platform-independent (e.g. platform neutral) programming language. Such a software application can invoke a non-application-code component to facilitate the functioning ... | 09/04/2007 |
| 7266415 | Method of and apparatus for operating working machines A method for operation of a working machine with at least one adjustable operating parameter of at least one working unit of the working machine, includes associating the working machine with a control generator coupled to a control editor for changing the at least ... | 09/04/2007 |
| 7243349 | Providing an image of installed software utilizing uninstall code A method for providing an image of software installed on a computer system is disclosed. The method includes the steps of deconstructing the image into at least one portion and creating at least one module from the at least one portion of the image. The deconstructi... | 07/10/2007 |
| 7228530 | Source program processing method Comparison indices each for two components incorporated in a source program are used for easy and quantitative evaluation of functional redundancy in the program, effective and accurate extraction of redundant code segments from the program and also effective and ac... | 06/05/2007 |
| 7219339 | Method and apparatus for parsing and generating configuration commands for network devices using a grammar-based framework A method of automatically parsing a network device configuration and generating a representation of one or more configuration commands for a network device that uses a command-line interface, using a grammar-based framework, is disclosed. One or more syntax definiti... | 05/15/2007 |
| 7213234 | System and method for function point sampling for software size estimates A system, method, and computer program product for estimating the function point count of a software application or portfolio. Strata are defined, and random samples are chosen for a function point count. Results are analyzed and quantified, and a confidence interva... | 05/01/2007 |
| 7210130 | System and method for parsing data A dynamically extensible approach to parsing textual input consisting of a predictive parser and associated predictive parser generator is provided. The combination, together with a plug-in/resolver architecture, provides the ability to handle a set of languages tha... | 04/24/2007 |
| 7210135 | Data flow analysis of transactional processes A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominan... | 04/24/2007 |
| 7207038 | Constructing control flows graphs of binary executable programs at post-link time A method and a system for constructing a control flow graph (CFG, 106) from an executable computer program (104). The solution detects data intermixed with instructions and instruction set changes. The method includes the steps of defining block leader... | 04/17/2007 |
| 7203925 | Graphical compiler A system for displaying logical structure of heterogeneous source code includes a parser configured to read the source code and to generate parsed code. A code mapper having access to the parsed code is configured to generate from that parsed code a map representati... | 04/10/2007 |
| 7203930 | Graphical interface system monitor providing error notification message with modifiable indication of severity An interface is provided between a running computer application and a system monitor. The system monitor handles notification messages generated by the computer application. The interface includes an import module to scan a source file, extract notification messages... | 04/10/2007 |
| 7197746 | Multipurpose lexical analyzer A method for lexically analyzing an input stream including invoking a multipurpose lexical analyzer, wherein invoking the multipurpose lexical analyzer comprises examining a parameter setting, scanning the input stream to obtain a token using a token definition, and... | 03/27/2007 |
| 7185323 | Using value speculation to break constraining dependencies in iterative control flow structures One embodiment of the present invention provides a system that uses value speculation to break constraining dependencies in loops. The system operates by first identifying a loop within a computer program, and then identifying a dependency on a long-latency operatio... | 02/27/2007 |
| 7155707 | Compiling computer programs including branch instructions This patent describes a method of compiling a computer program from a sequence of computer instructions including a plurality of first, set branch, instructions which each identify a target address for a branch and a plurality of associated second, effect branch ins... | 12/26/2006 |
| 7150008 | Non-invasive rule-based binary analysis of software assemblies Checking program elements and program element behaviors for adherence to software development rules. An analysis engine receives a rule assembly containing metadata and intermediate language instructions representing one or more rules. The analysis engine also recei... | 12/12/2006 |
| 7143345 | Method and system for multiple level parsing A system and method for parsing source code written in a high-level programming language at multiple levels may be performed to populate a tree data structure. To obtain information at lower levels, higher levels are parsed. Each level of parsing is performed as a s... | 11/28/2006 |
| 7137108 | Identifying non-externalized text strings that are not hard-coded A method, computer program product and data processing system for identifying non-externalized strings that are not hard-coded. In one embodiment, a method comprises the step of scanning a code, e.g., Java, line by line until a pair of string delimiters is identifie... | 11/14/2006 |
| 7127704 | Interactive software engineering tool with support for embedded lexical contexts In response to programmer input of a trigger token, a program editor creates a pair of boundary tokens encapsulating an embedded lexical context and positions an insertion point within the embedded lexical context. The operations on the embedded lexical context are ... | 10/24/2006 |
| 7111283 | Program history in a computer programming language A programming-language construct called a program history, and a method, system, apparatus, and data structure for translating computer source code that contains the program history construct. A program history captures data regarding the state of the program as it ... | 09/19/2006 |
| 7111286 | Method, system and computer product for parsing binary data A method for parsing binary data is disclosed. The method includes receiving binary data and a parse request, the parse request calling for either a non-differenced parsing method or a differenced parsing method, invoking a parse tree and receiving a parse definitio... | 09/19/2006 |