|
Match
|
Document |
Document Title |
|
|
7549165 |
Trusted operating system with emulation and process isolation
A trusted computer system that offers Linux® compatibility and supports contemporary hardware speeds. It is designed to require no porting of common applications which run on Linux, to be easy to...
|
|
|
7548879 |
Convenience store effectiveness model (CSEM)
Convenience Store Effectiveness Model (CSEM) is a self-contained PC application to quantitatively predict operational and financial impact of changes to Convenience Store (CStore) and Financial...
|
|
|
7546225 |
Methods and systems for electronics assembly system consultation and sales
Methods and systems for electronics assembly system consultation and sales build upon an approach to modeling and simulation of such systems in which the system is modeled at a preselected level of...
|
|
|
7543266 |
Lock-free state merging in parallelized constraint satisfaction problem solvers
Solver state merging in parallel constraint satisfaction problem (CSP) solvers. Solver state during processing of a computational thread of parallel CSP solvers is represented as a set of support...
|
|
|
7543279 |
Method for simulating back program execution from a traceback sequence
A program execution data trace is created by instrumenting a program to record value sets during execution and an instruction trace. By simulating instructions either backward or forward from a...
|
|
|
7539495 |
Node placement method within a wireless network, such as a wireless local area network
The disclosure includes a method of and associated system for placing nodes ( 104 - 109 ) in a wireless local area network (WLAN). The method includes receiving user-specified parameters regarding...
|
|
|
7539992 |
Scheduling method, program product for use in such method, and task scheduling apparatus
A task generation unit extracts classes forming a system from design information of the system designed on an object-oriented basis and generates tasks corresponding to the extracted classes. A...
|
|
|
7539980 |
Method and apparatus for concurrency testing within a model-based testing environment
A method and apparatus for concurrency testing within a model-based testing environment is provided. One implementation involves concurrency testing within a model-based software system testing...
|
|
|
7536292 |
Method of generating a performance model from a functional model
A process for generating a performance model from a functional model for a system including a plurality of distributed hardware and software entities that engage to provide a service to at least...
|
|
|
7536288 |
Method, system and program product supporting user tracing in a simulator
According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more...
|
|
|
7536284 |
Electrical wire interconnect system risk assessment tool
A system, method, and computer program product for assessing risk to an aircraft electrical wire interconnect system (EWIS). Information describing an aircraft EWIS, historical failure information,...
|
|
|
7526353 |
Sequence design support system
A sequence design support system is used to support a design of a sequence control program which controls a flow path condition of a fluid in an apparatus and piping system which is constructed...
|
|
|
7523023 |
Automatic generation of component interfaces for computational hardware implementations generated from a block diagram model
Method and systems are provided for representing interfaces between electronic components of a computational hardware device in a graphical model and automatically generating code from the...
|
|
|
7523025 |
Host terminal emulator
Disclosed is a host terminal emulator installed in a client computer to detect a coordinate at which a non-protecting attribute is set from coordinates in CUI screen data when it is received from a...
|
|
|
7523030 |
Simulation system and computer program
Disclosed is a simulation system for displaying source lines in a behavior level description during execution of simulation to indicate the execution status of a conditional branch statement in a...
|
|
|
7519527 |
Method for a database workload simulator
A computer implemented method, apparatus, and computer usable program code to execute a set of instructions a selected number of times to simulate user loads for a selected number of users. A...
|
|
|
7519525 |
Post initial microcode load co-simulation method, system, and program product
Disclosed is simulation of circuit behavior by running a central electronic core simulation in a high level simulator up to and including initial microload, creation of a post-IML (initial...
|
|
|
7516052 |
Container-based architecture for simulation of entities in a time domain
The present invention relates generally to a software architecture for simulation of physical entities. The invention provides an object-oriented container based framework architecture for...
|
|
|
7516425 |
Method for generating minimal leakage current input vector using heuristics
A method for generating an input vector to reduce the leakage current in an integrated circuit by using heuristics includes transforming the integrated circuit to a logic representation with PMOS...
|
|
|
7516383 |
Method and apparatus for analyzing delay in circuit, and computer product
An extracting unit extracts unprocessed capturing destination in a circuit. A tracing unit traces an output branch point from a capturing destination and a determining unit determines an estimated...
|
|
|
7509646 |
Method of managing workloads in a distributed processing system
An embodiment of the present invention is a method for generating a simulated processor load on a system of CPU's, and introducing a controlled workload into the system that is spread evenly across...
|
|
|
7509629 |
Method for system and architecture design using unified modeling language (UML)
To provide a UML design method by which architecture design pursuing optimal design parameters while viewing the overall target system on the UML model can be performed. A UML design method of the...
|
|
|
7505888 |
Reporting model generation within a multidimensional enterprise software system
Techniques are described for automatically generating a reporting model based on a relational database storing multidimensional data in accordance with a relational database schema. A model...
|
|
|
7502725 |
Method, system and computer program product for register management in a simulation environment
A method for register management in a simulation environment including receiving an instruction from an instruction unit decode pipeline. An address generation interlock (AGI) function is executed...
|
|
|
7502726 |
Systems and methods for maintaining a session between a client and host service
The invention relates to methods and systems for reconnecting a client and providing user authentication across a reliable and persistent communication session. A first protocol that encapsulates a...
|
|
|
7499841 |
Application for managing model-based material properties for simulation-based engineering
An application for generating a property set associated with a constitutive model of a material includes a first program module adapted to receive test data associated with the material and to...
|
|
|
7493248 |
Method, system and program product supporting phase events in a simulation model of a digital system
According to a method of simulation processing, an instrumented simulation executable model of a design is built by compiling one or more hardware description language (HDL) files specifying one or...
|
|
|
7493249 |
Method and system for dynamic performance modeling of computer application services
A generic queueing network model of a Web services environment is introduced. The behavior of a service is abstracted in three phases: serial, parallel and dormant, thus yielding a Serial Parallel...
|
|
|
7490032 |
Framework for hardware co-simulation by on-demand invocations from a block model diagram design environment
The present invention relates to integration of an external processor capable of execution of one or more functions into a block diagram model environment such that the block diagram model...
|
|
|
7490031 |
Mechanization of modeling, simulation, amplification, and intelligence of software
The invention models software as a physical device with causality. It develops interaction between software and user in a software dynamic system that connects software or modeled software with a...
|
|
|
7490325 |
System and method for providing intelligent pre-staging of data in a compute environment
A system, computer-readable medium and method for performing intelligent data pre-staging for a job submitted to a cluster environment. The method aspect comprises determining availability of...
|
|
|
7487071 |
Physical units of measure in modeling languages
The present invention provides intrinsic units of measure for modeling physical systems. Physical systems may then be modeled using the units of measure. As such, actual units, reflecting real...
|
|
|
7487502 |
Programmable event driven yield mechanism which may activate other threads
Method, apparatus, and program means for a programmable event driven yield mechanism that may activate other threads. In one embodiment, an apparatus includes execution resources to execute a...
|
|
|
7487079 |
Enterprise service delivery technical architecture
An Enterprise Service Delivery Technical Architecture includes a Technical Model, and a Technical Delivery Framework, and is designed to facilitate the development of complete enterprise service...
|
|
|
7487396 |
System and method to locate and correct software errors within a protocol stack for wireless devices
The present invention provides a method to test a protocol stack operable to be loaded to a wireless terminal. This involves the creation of simulation scripts from prior test case logs associated...
|
|
|
7487080 |
Partitioning a model in modeling environments
Methods and systems for partitioning objects in modeling environments are disclosed. The modeling environments enable users to partition an object (parent object) to include other objects (child...
|
|
|
7483827 |
Translating objects between software applications which employ different data formats
A mechanism for translating objects between applications that use different formats is described. As described, a source object is generated using a source application. The source object is then...
|
|
|
7480602 |
System verification test using a behavior model
The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected...
|
|
|
7478031 |
Method, system and program for developing and scheduling adaptive integrated circuity and corresponding control or configuration information
A method, system and program are provided for development of an adaptive computing integrated circuit and corresponding configuration information, in which the configuration information provides an...
|
|
|
7475001 |
Software package definition for PPU enabled system
A PPU enhanced system stores software packages implementing, at least in part, a physics subroutine. The package being implemented as a plurality of modules, at least one module being stored and...
|
|
|
7472053 |
Geometric model database for use in ubiquitous computing
A system and process for providing a geometric model database for use in an ubiquitous computing environment. In general, the geometric model database system and process is capable of accepting...
|
|
|
7469203 |
Wireless network hybrid simulation
A simulation method and system partitions network traffic into background traffic and explicit traffic, wherein explicit traffic is processed in detail, and background traffic is processed at a...
|
|
|
7467068 |
Method and apparatus for detecting dependability vulnerabilities
The present invention is a method and an apparatus for detecting dependability vulnerabilities in production IT environments. In one embodiment, a method for detecting a dependability vulnerability...
|
|
|
7464012 |
Simplified process simulator
Process simulators, including a novel process simulator that utilizes simplified mathematical correlations to predict the performance of equipment or subsystems in a process unit. The process...
|
|
|
7460988 |
Test emulator, test module emulator, and record medium storing program therein
There is provided a test emulator for emulating a test apparatus including a plurality of test modules for supplying test signal to devices under test respectively, including: a plurality of test...
|
|
|
7461148 |
Virtual private server with isolation of system components
A server includes a host running an operating system kernel. Isolated virtual private servers (VPSs) are supported within the kernel. At least one application is available to users of the VPS. A...
|
|
|
7457738 |
Method for decoding instruction in architectural simulator
In order to decode a simulation instruction in accordance with the present invention, a new decoding program is generated, which includes flat-type decoding codes for at least one of the...
|
|
|
7458043 |
Generation of tests used in simulating an electronic circuit design
Various approaches for generating input data for simulating a circuit design are disclosed. In one approach, a test generator program is generated from a main program that uses a test generator...
|
|
|
7454783 |
System, method, and apparatus for automatic login
A key which is a peripheral device which can directly connect to a host and stores multiple passwords and associated access data. The peripheral device includes an interface to a port of the host...
|
|
|
7451072 |
Network simulation system and method
A method allows communication within a network. The method includes the steps of: transmitting data packet as a broadcast signal ( 107 ) from a first application node ( 105 ) of a first subnetwork...
|