Patent application number | Description | Published |
20090271748 | METHOD AND APPARATUS FOR SIMULATING BEHAVIORAL CONSTRUCTS USING INDETERMINATE VALUES - One embodiment of the present invention provides a system that simulates behavioral constructs of a register transfer level design using indeterminate values. The system may receive hardware description language code which includes a construct that behaves differently depending on the value of an expression, e.g., the construct may execute different portions of code based on the value of a control expression, or it may store data in different storage locations based on the value of an index expression, etc. In response to determining that the expression's value is indeterminate, the system can execute two or more alternatives that are controlled by the expression, and then merge the results in some prescribed way. An embodiment of the present invention can enable a user to reduce the discrepancy between the results generated by a register transfer level simulation and the results generated by the associated gate level simulation. | 10-29-2009 |
20110161897 | METHOD AND APPARATUS FOR SIMULATING BEHAVIORAL CONSTRUCTS USING INDETERMINATE VALUES - One embodiment of the present invention provides a system that simulates behavioral constructs of a register transfer level design using indeterminate values. The system may receive hardware description language code which includes a construct that behaves differently depending on the value of an expression, e.g., the construct may execute different portions of code based on the value of a control expression, or it may store data in different storage locations based on the value of an index expression, etc. In response to determining that the expression's value is indeterminate, the system can execute two or more alternatives that are controlled by the expression, and then merge the results in some prescribed way. An embodiment of the present invention can enable a user to reduce the discrepancy between the results generated by a register transfer level simulation and the results generated by the associated gate level simulation. | 06-30-2011 |
20120072876 | METHOD AND APPARATUS FOR REDUCING X-PESSIMISM IN GATE-LEVEL SIMULATION AND VERIFICATION - Methods and apparatuses are described for reducing or eliminating X-pessimism in gate-level simulation and/or formal verification. A system can identify a set of reconvergent inputs of a combinational block in a gate-level design. Next, the system can determine whether or not the combinational block is expected to exhibit X-pessimism during gate-level simulation. If the combinational block is expected to exhibit X-pessimism during gate-level simulation, the system can modify the gate-level design to reduce X-pessimism during gate-level simulation. In some embodiments, the system can build a model for the gate-level design by using unique free input variables to represent sources of indeterminate values. The system can then use the model to perform formal verification. | 03-22-2012 |
Patent application number | Description | Published |
20110033093 | System and method for the graphical presentation of the content of radiologic image study reports - The present invention is directed in general to imaging technologies, and more specifically to a diagrammatic reporting methodology. A system and method are provided for graphically presenting the content of radiological image study reports. Even further, a system and method are provided for presenting the content of structured radiological reports including multiple imaging studies and their corresponding findings in a symbolic color-coded graphical diagram. Further still, the present invention may utilize an ontology of radiological knowledge to interpret report content to generate the information to be diagrammatically displayed in a symbolic color-coded graphical diagram. | 02-10-2011 |
20110035235 | System and Method for Processing Radiological Information Utilizing Radiological Domain Ontology - The present invention is directed in general to a system and method that employs radiological report domain ontology to specify and model radiological report information as knowledge. A system and method are provided that allow for consulting the ontology in the context of the model that the ontology fulfills. The result of consulting the ontology is validated, identified and classified radiological report information that is based on information provided in the consultation. | 02-10-2011 |
20110035352 | System and Method for Processing Radiological Information Utilizing Radiological Domain Ontology - The present invention is directed in general to a system and method that employs radiological domain ontology to specify and model radiological information as knowledge. A system and method are provided that allow for consulting the ontology in the context of the model that the ontology fulfills. The result of consulting the ontology is validated, identified and classified radiological information that is based on information provided in the consultation. | 02-10-2011 |
20110087624 | System and Method for Generating Knowledge Based Radiological Report Information Via Ontology Driven Graphical User Interface - A system and method are provided to generate knowledge-based radiological report information via an ontology driven graphical user interface. Even further, a system and method are provided that employ radiological report domain ontology to specify and model a graphical user interface knowledge that is used by the present invention to create a graphical user interface and then to exercise the graphical user interface to generate knowledge-based radiological report information. | 04-14-2011 |
Patent application number | Description | Published |
20090037807 | COORDINATED XML DATA PARSING AND PROCESSING FROM WITHIN SEPARATE COMPUTING PROCESSES - Embodiments of the present invention address deficiencies of the art in respect to extensible markup language (XML) data processing and provide a novel and non-obvious method, system and computer program product for inter-device transfer of parsed XML documents. In one embodiment of the invention, a markup serialization method can be provided. The method can include receiving a request in a second computing process for offloaded parsing of markup from an application in a first computing process, retrieving markup from the application, parsing the markup in the second computing process to produce a serialized data object for the markup, placing the serialized data object into shared memory for the application, and returning a reference to the serialized data to the application. | 02-05-2009 |
20090063498 | AVOIDING REDUNDANT COMPUTATION IN SERVICE-ORIENTED ARCHITECTURES - A request for a software service utilizes a service intermediary. The service intermediary 1) checks the request to confirm that it conforms to XML well-formedness, and 2) validates the schema of the request. If the request passes both tests, then flags are appended to the request, which is sent to a service provider. The flag indicates to the service provider that the request has already been checked and validated, such that the service provider only needs to provide the requested service, without redundantly checking and validating the request. | 03-05-2009 |
20090172395 | System and Method for Service Virtualization Using a MQ Proxy Network - A system, method, and computer program product for transmitting message traffic encapsulating a MQ network having a plurality of MQ clients coupled to a MQ queue via at least one MQ queue manager and at least one MQ proxy server coupled to the plurality of MQ clients. The at least one MQ proxy server retrieves a message from a first MQ client coupled thereto, evaluates the message content and forwards the message to the MQ queue via a designated MQ queue manager. If the destination MQ client is served by a second MQ proxy server the originating MQ proxy server notifies the second MQ proxy server coupled to the second MQ client. The second MQ proxy server retrieves the message from the MQ queue thru the designated MQ queue manager, evaluates the message content and forwards the message to the second MQ client. If the first MQ client and the second or destination MQ client are served by the same MQ proxy server, then the MQ proxy server will just retrieve the message from the MQ queue through the designated MQ queue manager and forward the message to the second MQ client. | 07-02-2009 |
20100115075 | DIRECTIONAL OPTIMIZATION FOR POLICY EVALUATION - Embodiments of the present invention provide a method, system and computer program product for directional optimization of policy statements for a Web service. In an embodiment of the invention, a method for directional optimization of policy statements in a policy document can be provided. The method can include loading a policy document referenced for a Web service, extracting a policy from the policy document, and determining whether the extracted policy is bidirectional or direction agnostic. A single run time presentation for the extracted policy can be created when the extracted policy is direction agnostic. Otherwise, separate run time presentations can be created for each direction of the extracted policy when the extracted policy is bi-directional. | 05-06-2010 |