The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided desig...

This contribution reports on an approach to hardware/software codesign based on a state transition system design language MAD. MAD has been used for software design for some time, but is now being extended to hardware design by adding the hardware description language VHDL as one of its target languages. The experience of adding a new dimension (i.e. hardware) to the design space and of dealing...

Value predictor predicting result of instruction before real execution to exceed the data flow limit, redundant operation table removing redundant computation dynamically, and asynchronous bus avoiding clock synchronization problem have been proposed as high performance microprocessor design methods. However, these methods increase area cost and power consumption problems because of the larger ...

Table 1 was erroneously published twice, once as Table 1 and once as Table 2. All references to Table 2 refer to Table 1. The following information is missing from the Funding section: This research was supported by the National Science Foundation (NSF) (ITR 0325428, HCC 0834847, DRL 1235958, and Graduate Research Fellowship under Grant No. 1122374). Any opinions, findings, conclusions, or reco...

........................................................................................................ 73 Introduction ................................................................................................... 74 Materials and Methods ................................................................................. 77 Study area ..........................................................

s and Treatment Recommendations Abstract: Stem Cell Transplantation in the Therapy of ALL in Children [1] Evidence supporting the role of hematopoietic stem cell transplantation (SCT) in the therapy of acute Table 1. Grading the Quality of Design and Strength of Evidence Stem Cell Transplantation in the Therapy of ALL in Children [1] Evidence supporting the role of hematopoietic stem cell trans...

A reflectance map design is described which uses a minimal amount of memory for the table, in order to be applicable as an on-chip shader. The shader is designed for use with the volumetric super resolution hardware, which performs shading at supersampled locations. However, the design may be used as well to support surface visualization applications. Despite the small table size, the image qua...

This note extends the construction of the design matrix used for estimating cell probabilities with ignorable missing data described by Lipsitz et al. (1998). A reformulation for the general case of an n-way table is described, and implemented in a SAS macro program. The macro constructs this design matrix and offset variable, estimates the cell probabilities, and returns a table with the estim...