Abstract: A database system includes a locking mechanism for a materialized view defined on base relations. In response to updates of a base relation, a predefined lock (e.g., Y lock or IY lock) is placed on the materialized view. With the locking mechanism, transaction concurrency is enhanced by enabling concurrent updates of a materialized view by plural transactions in certain cases.

Abstract: A method is described for modeling interactions between models. A first adaptively sampled distance field having a first spatial hierarchy for a first model is generated, and a second adaptively sampled distance field having a second spatial hierarchy for a second model is generated. During each time step, a potential overlap region is determined using the spatial hierarchies of the first and second adaptively sampled distance fields. When the potential overlap region is non-empty, a third adaptively sampled distance field is generated from the first and second adaptively sampled distance fields using a first interaction procedure and first properties and a fourth adaptively sampled distance field is generated from the first and second adaptively distance fields using a second interaction procedure and second properties to model the interactions between the first and second models.

Abstract: A method apparatus for hardware and software co-simulation in ASIC development includes developing hardware and software concurrently and co-simulating the hardware and software therebetween via a network while the hardware and software are being developed. The method and apparatus for hardware and software co-simulation allows the software development and testing of hardware and software to start with the design of hardware so as to reduce an overall system development cycle involving ASICs.

Abstract: A method and apparatus for recording time information for received digital data streams are provided. The method includes recording first time information and second time information on a recording medium. The first time information is part of management data for managing presentation data and the second time information is time information of the presentation data. The format of the first time information coincides with the format of the second time information.

Abstract: A method, apparatus and article of manufacture for accessing data in a database. One embodiment comprises providing a query against the database, the query being associated with a re-execution indication; initially executing the query; providing an initial query result; determining at least one re-execution time from the re-execution indication; and re-executing the query at the at least one determined re-execution time.

Abstract: Object simulation and interaction of and between computer-generated or graphical objects in a virtual space includes neutral scene graphs, data structures and procedures for using such graphs and data structures.

Abstract: A process and method for projection beam lithography which utilizes an estimator, such as a Kalman filter to control electron beam placement. The Kalman filter receives predictive information from a model and measurement information from a projection electron beam lithography tool and compensates for factors which cause beam placement error such as wafer heating and beam drift. The process and method may also utilize an adaptive Kalman filter to control electron beam placement. The adaptive Kalman filter receives predictive information from a number of models and measurement information from a projection electron beam lithography tool and compensates for factors which cause beam placement error such as heating and beam drift. The Kalman filter may be implemented such that real-time process control may be achieved.

Abstract: An automated system (100) and method for developing Complete Context™ Bots (30) for an organization. After extracting data from existing narrowly focused systems, mission measures and organization levels are defined for one or more organizations. The elements, factors and risks that contribute to mission measure performance by organization level and organization are systematically defined and stored in a ContextBase (60) using up to six context layers. ContextBase (60) information is extracted for specified combinations of context layers, organization levels and organizations as required to produce complete context frames that are used to support simulations of bot performance under a variety of scenarios. The program instructions that will maximize bot performance under the forecast scenarios are identified. After this programming is transferred to the Complete Context™ Bot (30), it is activated.

Abstract: An automatic adaptive dimensioning program for CAD software in which dimension annotations are created by the CAD program automatically as an object is drawn and automatically associated with the object. Thereafter, changing the length of the object automatically changes the associated dimension annotation, or alternatively, changing the associated dimension annotation automatically changes the length of the object. When another object is interposed into or superposed onto an intermediate position of the existing object, the automatic adaptive dimensioning annotation feature of the invention automatically creates dimension annotations corresponding to the position of the new object relative to the existing object. The new object can be automatically positioned in relation to the existing object by specifying interposition dimensions or segment lengths in the dimension annotations.

Abstract: A method and system for disabling an instrumentation event in a simulation model within a batch simulation farm in which a simulation client communicates with an instrumentation server to process simulation data with respect to the simulation model. An instrumentation event disable list is assembled within the instrumentation server. The assembly of the event disable list includes identifying an instrumentation event to be disabled during simulation processing of the simulation model, and delivering to the instrumentation server an instrumentation event name corresponding to the instrumentation event to be disabled. Prior to simulating the simulation model within the simulation client, the instrumentation event disable list is retrieved from the instrumentation server, and instrumentation events are disabled as specified within the instrumentation event disable list.

Abstract: A method is disclosed for calibrating a mathematical model of a component using prototype full-field experimentally collected deformation/strain data. Specifically, the method involves obtaining actual experimental field data using strain sensitive coating material and then mapping said data on a CAD mesh model. The analytical mesh model is then compared to a finite element model that is based on theoretical values referred to as boundary conditions. The finite element model boundary conditions are then calibrated to reflect the values derived from the experimental field measurements. Once calibrated, the model can be used to optimize design of components.

Abstract: A method for solving finite element problems in n+1 dimensions by iteratively extruding an n-dimensional finite element mesh in an n+1th dimension to form “slabs” which can be more easily solved within the entire n+1-dimensional problem. In a preferred embodiment, a three-dimensional unstructured finite element mesh representing a physical system is extruded in the time dimension. The four-dimensional prisms formed by the extrusion are divided into simplices, forming the four-dimensional finite element mesh of an individual time slab. Time slabs corresponding to a series of time intervals are sequentially generated and solved. In a preferred embodiment, only a few time slabs are stored in working memory at a time so that a reduced amount of memory (in comparison to conventional methods of solving comparable problems) is required.

Abstract: A design tool and method characterizes a circuit at a hardware level description. A behavioral level description of the circuit is created. Symbolic equations for components of the behavioral level description are created. The behavioral level description is partitioned by inserting a marker component into the behavioral level description of the circuit to simplify subsequent processing used to prove equivalence between the behavioral and hardware level descriptions. The symbolic equations are back-substituted until output variables are expressed in terms of input variables that determine the output variables. The marker component is defined using a unique symbolic name. Current time counts of each clock cycle are used to compute an index for the marker component. The behavioral level description is transformed to produce symbolic and numeric files for compilation to gates and proof of functionality.

Abstract: The invention is a method for simulating one or more characteristics of a multi-component, hydrocarbon-bearing formation into which a displacement fluid having at least one component is injected to displace formation hydrocarbons. The first step of the method is to equate at least part of the formation to a multiplicity of gridcells. Each gridcell is then divided into two regions, a first region representing a portion of each gridcell swept by the displacement fluid and a second region representing a portion of each gridcell essentially unswept by the displacement fluid. The distribution of components in each region is assumed to be essentially uniform. A model is constructed that is representative of fluid properties within each region, fluid flow between gridcells using principles of percolation theory, and component transport between the regions. The model is then used in a simulator to simulate one or more characteristics of the formation.

Abstract: A system and method for taking-off material details using a two-dimensional CAD interface for estimating a bill of materials and automatically creating a material take-off list for items in a two or three-dimensional design drawing, without manual work. The taken-off list information is provided on-line upon receiving an order for an information provision service through a communication network, such as the internet. The system is applicable, for example, in architecture, civil engineering, machinery, and facilities. The system comprises: a project information containing unit for containing project information including position data, design specifications, and shape data for a variety of design items; a material/cost containing unit for containing material information and cost information for building elements included in a CAD drawing; and a bill-of-material take-off processing unit for creating a material take-off list and the associated cost.

Abstract: An apparatus has program analysis information generation device for automatically generating program analysis information by analyzing a computer program, and program analysis information storage device for sequentially storing the generated program analysis information in a predetermined data recording medium in arbitrary units. A plurality of kinds of program analysis information generated by the program analysis information generation device are stored in the data recording medium as a database every time individual analysis information is obtained. Hence, upon obtaining program analysis information for a large-scale program, even when the memory capacity that can be mounted on a computer is limited, target program analysis information can be reliably obtained without encountering any memory shortage during analysis.

Abstract: An infrastructure and a set of steps are disclosed for evaluating performance of computer systems. The infrastructure and method provide a flexible platform for carrying out analysis of various computer systems under various workload conditions. The flexible platform is achieved by allowing/supporting independent designation/incorporation of a workload specification and a system upon which the workload is executed. The analytical framework disclosed and claimed herein facilitates flexible/dynamic integration of various hardware models and workload specifications into a system performance analysis, and potentially streamlines development of customized computer software/system specific analyses. The disclosed performance technology infrastructure includes a workload specification interface facilitating designation of a particular computing instruction workload. The workload comprises a list of resource usage requests.

Abstract: A method for synthesizing a sequence includes defining a switching linear dynamic system (SLDS) with a plurality of dynamic systems. In a Viterbi-based method, a state transition record for a training sequence is determined. The corresponding sequence of switching states is determined by backtracking through the state transition record. Parameters of dynamic models are learned in response to the determined sequence of switching states, and a new data sequence is synthesized, based on the dynamic models whose parameters have been learned. In a variational-based method, the switching state at a particular instance is determined by a switching model. The dynamic models are decoupled from the switching model, and parameters of the decoupled dynamic model are determined responsive to a switching state probability estimate. Similar methods are used to interpolate from an input sequence.

Abstract: Techniques are disclosed for storing content in distributed computing environments to reduce storage overhead and improve efficiency and/or speed of accessing and delivering the stored content. A content management system (or other authoring system, such as a text editor) supplies hints about dependencies among objects or files, such as which objects are embedded into a web page and which objects are referenced by the web page. These hints are then used when deploying the corresponding files on a storage system, such that the files which are likely to be retrieved together are (preferably) stored together. Optionally, run-time observations by a web server may be used as input to this process to determine how best to store content during a subsequent redeployment.

Abstract: A technique for observability based coverage of a design under test (DUT) is presented. A conventional simulation signal is augmented to include a “tag value.” In the course of a simulation, assignment statements (for which observability-based coverage is desired) “inject” tag values on their output signals. A tag value contains an identifier uniquely identifying the assignment statement that produced it. A tag value also contains a “tag history.” The tag history contains copies of the tag values for assignment statements earlier in the flow of control or in the flow of data. If a tag propagated through the DUT appears at an observable output, the circuit designer knows that the assignment statements it identifies have satisfied observability based coverage.