Abstract: A method and system for advertising software applications by placing application shortcuts on a start menu or desktop and writing entries to the system registry enabling file extension-based activation and Class ID-based activation of those applications, thereby advertising the applications as available even if not installed. In network settings, advertised applications may be assigned to a user via a policy. To this end, an advertising script is stored with a policy associated with computer or user policy recipients, and the advertising script includes assigned application identifier information. One or more scripts are applied, such as to a user at logon or a machine at re-boot. The scripts are processed by an installer mechanism to advertise the application. Applications advertised as available to the user prior to any installation thereof are installed by an installer as needed upon user activation.

Abstract: A system and method for manifesting content received via the Internet by an automatic data processing system includes and involves a content retrieval module for retrieving content from the Internet. The content is arranged to be manifested by the automatic data processing system. Also included and involved is a content manifestation module that is coupled to the content retrieval module. The content manifestation module is operable to receive a replaceable software delegate during its operation, and to manifest the content within the automatic data processing system in accordance with the replaceable software delegate. The replaceable software delegate controls the manifestation of the content by the content manifestation module.

Abstract: A method of making a link directive file, the file being used for link processing where a plurality of object files are linked into an execute form file and disposing instruction codes and variable data in a memory space, the method comprising the steps of visually displaying the aforesaid link directive file as a memory image.

Abstract: A system and method for increasing the speed of operation of a theorem prover relating to program verification using adaptive pattern matching technique is disclosed. Source code in a specific programming language is converted to one or more formulae, each representing a specific reformulation of the source code that facilitates program verification. Each formula derived from the source code is converted into an E-graph which is a particular type of a directed acyclic graph having leaf nodes and interior nodes. Some of the nodes of an E-graph may be related to other nodes through equivalence relationships. Equivalence relationships between a group of nodes is stored in a data structure called an equivalence class. A collection of rules defining the grammar of the programming language is stored in an axiom database. Rules and conjectures can dynamically be added to the axiom database. Each rule or conjecture to be tested is converted into a pattern.

Abstract: A compiler for a distributed object system in which functional requirements on system performance criteria can be entered as comments fields in an object oriented language (e.g. C++) which are ignored by a conventional compiler (to allow compilation of a single processor version of the program for debugging) but are interpreted by a pre-compiler to take into account system data when compiling code for the host computers of the distributed system. The system may be a telecommunications system.

Abstract: A race condition detection system and method statically detects potential race conditions in a multi-threaded computer program. The race condition detector builds a synchronization graph representing at least a subset of a computer program's method declarations, field declarations, and synchronization statements. Edges are constructed between the nodes representing execution paths in the computer program. Each node is associated with a set of lock designations that correspond to all locks that are consistently held along all executions paths in the computer program to the respective node. The race condition detector analyzes this information to determine whether accesses to object data fields are consistently protected by an appropriate lock. An object data field access that is not protected by an appropriate lock indicates a potential race condition. At least a subset of indicated potential race conditions are reported.

Abstract: A method and several variants for optimizing the detection of out of bounds array references in computer programs are described, while preserving the semantics of the computer program. Depending on the variant implemented, the program is divided at run-time or compile-time into two or more regions. The regions are differentiated by the number of checks that need to be performed at run-time on the array accesses within the region. In particular, some regions of the program will not need any array bounds checks performed at run-time, which will increase the speed at which the computer program executes. As well, the state of program variables at the time any out of bounds access is detected is the same as the state of the program variables would have been had the transformation not been performed. Moreover, the regions not needing any checks at run-time will be known at compile-time, enabling further compiler optimizations on the region.

Abstract: An expert system selects a computer solution from a set of predefined, proven solution to meet a specific need. Each of the predefined solutions comprises a plurality of hardware platforms and associated software, and a communication facility between the hardware platforms. The system identifies and directs display of a multiplicity of different characteristics of computer solutions within the set. Then, the user selects one of the characteristics to reduce the number of possible solutions from the set. In response, the system may then display other characteristics which can be selected to further reduce the number of possible solutions from those identified after the one characteristic was selected. According to a preferred embodiment of the present invention, this narrowing process always results in one or more solutions from the set; there are no “dead ends”.

Abstract: A method, apparatus, and article of manufacture, and a memory structure for accepting data input into a computer is disclosed. The method comprises the steps of presenting a component to the user, wherein the component includes an input area for accepting the input data, and the component is subject to a constraint for the data, accepting user input into the component input area, and following an assistance policy associated with the component when the user input violates the value constraint. In one embodiment, the value constraint for the input data is organized according to the component content type. In another embodiment, the method comprises the steps of defining a component comprising an input area for accepting input data, associating the component with a value constraint according to a content type of the input area, and associating the component with an assistance policy selected from a set of assistance policies.

Abstract: A translator-based embedded scripting environment includes multiple translators executed by one or more computers. An original input source is split into a plurality of intermediate sources for processing by a plurality of translators executed by one or more computers. One or more of the corresponding intermediate sources includes a class definition that contains one or more methods. Another one of the corresponding intermediate sources includes logic to instantiate the class definition as an object and logic to invoke the one or more of the methods of the object in order to maintain a sequence of execution specified in the original input source. Placeholders are used within the class definition during the translations to identify locations of file input/output operations that write data to an output destination.

Abstract: A computer-implemented method and apparatus for parallelizing input computer-program code based on class-specific abstractions. The method includes the steps of providing a class-specific abstraction (CSA), and generating parallelization code based on the CSA and the input code. Other aspects include checking the input code for compliance with the CSA, performing a dependency analysis of the input code for compliance with the CSA, analyzing the control flow of the input code based on the CSA, and generating a block-based representation of a control flow based on index variables in the input code and on the CSA. In one embodiment, the CSA includes a computational-set template, a dependency template, and a set of allowed index-variable access patterns. Yet other aspects include generating synchronization points based on the CSA, mapping a computational set to a virtual array of parallel processors, and mapping the virtual array of parallel processors to a physical array of parallel processors.

Abstract: A method for optimizing matching network between an output impedance and an input impedance in a semiconductor process apparatus is disclosed. The method includes the steps of: providing a neural network capable of being trained through repeated learning; training the neural network from previously performed process conditions; setting up an initial value; comparing the initial value with a theoretically calculated value, to obtain error between the values; and repeating the training, setting, and comparing steps until the error becomes zero.

Abstract: An implementation of Java is disclosed in which references to the constant pool are implemented by using a Data Resolution Field within the constant pool entry. The Data Resolution Field acts as an index to a jump table to jump to resolve the reference or to perform the bytecode instruction. When the reference is resolved, the contents of the Data Resolution Field in the constant pool entry are modified so that the next time the bytecode is run, the resolution steps need not be done.

Abstract: A panel-presentation-software creation method for creating a software which provides presentation of plural edit panels by using a template with an image fitting region and an editor-designated fitting image to be fitted in the image fitting region, the method comprises the steps of creating a reference file containing the description of reference information including link information designating each image file containing the fitting image, and creating a panel presentation software at least including a panel presentation program, a template file containing the template, and the reference file.

Abstract: A method of processing data relating to a plurality of examples using a data classifier arranged to classify input data into one of a number of classes, and a rule inducer, comprising the steps of: (i) inputting a series of inputs to the data classifier so as to obtain a series of corresponding outputs; (ii) inputting said series of outputs and at least some of said series of inputs to the rule inducer so as to obtain a series of rules which describe relationships between the series of inputs to the data classifier and the series of corresponding outputs from the data classifier.

Abstract: A method and apparatus for implementing type-safe, heterogeneous object-oriented property lists. A library of classes and template classes implementing a heterogeneous property list is defined, wherein each object of the property list includes a property name and an associated property value of a selected property type. Instantiation of objects having equal property names and unequal property types is prevented with a constructor, and template functions are provided each of which accesses the objects of the property list according to a type of data passed to the function.

Abstract: A method and apparatus in a data processing system for generating object code. A source code is received for compilation. A parameter is received, wherein the parameter indicates that a portion of the object code that is to be generated from a translation of the source code into an object code format only is to be interpreted. The source code is compiled into object code. An indication is created for the portion of the object code that only is to be interpreted.

Abstract: Systems, methods and computer program products are provided which provide an end-to-end software development tracking system including a software change management system which manages software versions and releases. A document management system tracks documentation related to software development and provides data associated with documents in the document management system to the software change management system. The document management system also receives data from the software change management system so as to track changes in the software versions and releases associated with documents in the document management system.

Abstract: A technique for automatically generating browsable language grammars. A grammar specification is used to identify the structure of an input grammar, so that a specification pre-processor, grammar parser and grammar generator can work together to generate a marked up grammar that is a browsable representation of the input grammar. The specification defines how a terminal is represented, how a non-terminal is represented, how production rules are represented, etc. Using the specification, the specification pre-processor generates the grammar parser for subsequent use with production rules found in the input grammar. When an actual set of production rules in the input grammar are provided to the grammar parser, it generates an intermediate form of the grammar that is then used by the grammar generator to generate the browsable, marked up version of the production rules.

Abstract: A new class of data file storing objects which have the ability to self-extract, i.e. within objects in the new class, there is a method to extract selected individual files stored in the objects. There is provided a computer controlled object oriented programming system having means for interfacing a plurality of programming objects with each other and including at least one data storage object of an object class comprising means within said object for storing a plurality of data files, and means within said object for extracting said stored data files from said object. The object class is most effectively used with Java objects. The compressed files stored in the objects may be program files. The files are usually compressed into a single file for distribution.