We describe a rigorous ATPG-like methodology for validating the branch prediction mechanism of the Pow-erPC604 which can be easily generalized and made applicable to other processors. Test sequences based on nite state machine (FSM) testing are derived from small FSM-like models of the branch prediction mechanism. These sequences are translated into PowerPC instruction sequences. Simulation res...

In this paper, a Krein-Milman  type theorem in $T_0$ semitopological cone is proved,  in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.

Motivation: Bio-ontologies, such as the Gene Ontology, represent important sources of prior knowledge that may be automatically integrated to support predictive data analysis tasks. The assessment of similarity of gene products provides the basis for the implementation of classification tools and the automated validation of functional associations. This study discusses alternative techniques fo...

jor uni ver si ties, Mich i gan State Uni ver sity main tains a range of struc tural units to sup port ac tiv i ties and func tions which, col lec tively sus tain an en vi ron ment in sup port of the in tel lec tual en ter prise that is Mich i gan State Uni ver sity. Such ac tiv i ties and func tions in clude re search; out reach and en gage ment pro grams; cul tural events; health, coun sel in...

In this paper, the notion of $L$-convex fuzzy sublattices is introduced and their characterizations are given. Furthermore,  the notion of the degree to which an $L$-subset is an $L$-convex fuzzy sublattice is proposed and its some  characterizations are given. Besides, the $L$-convex fuzzy sublattice degrees of the homomorphic image and pre-image of an $L$-subset are studied. Finally, we obtai...

omotopy analysis method (ham) is a promising method for handling func-tional equations. recent publications proved the eectiveness of ham in solvingwide variety of problems in dierent elds. ham has a unique property whichmakes it superior to other analytic methods, this property is its ability to con-trol the convergence region of the solution series. in this work, we claried theadvantages ...

In this paper we introduce a sequential block iterative method and its simultaneous version with op-timal combination of weights (instead of convex combination) for solving convex feasibility problems.When the intersection of the given family of convex sets is nonempty, it is shown that any sequencegenerated by the given algorithms converges to a feasible point. Additionally for linear feasibil...

The rational cubic function with three parameters has been extended to rational bi-cubic function to visualize the shape of regular convex surface data. The rational bi-cubic function involves six parameters in each rectangular patch. Data dependent constraints are derived on four of these parameters to visualize the shape of convex surface data while other two are free to refine the shape of s...