a comparison of buckling analysis of the nanoplate and nanocomposite plate with central square hole embedded in winkler foundation is presented in this article. in order to enhance mechanical properties of nanoplate with central cut out, carbon nano tubes (cnts) are applied as uniform distribution (ud) through thickness direction. in order to define the shape function of plate with square cut o...

By using the trigonometric uniform splines of order 3 with a real tension factor, a numericalmethod is developed for solving a linear second order boundary value problems (2VBP) withDirichlet, Neumann and Cauchy types boundary conditions. The moment at the knots isapproximated by central finite-difference method. The order of convergence of the methodand the theory is illustrated by solving tes...

Contemporary superscalar processors, designed with a one-size-fitsall philosophy, grossly overcommit significant portions of datapath resources that remain unnecessarily activated in the course of program execution. We present a simple scheme for selectively activating regions within the register file and the reorder buffer for reducing leakage as well as dynamic power dissipation. Our techniqu...

This session deals with modeling and simulating extra-functional system properties. The first paper presents a framework to accurately model the power and timing of hardware models without requiring a full micro-architectural simulation of the hardware module to extract signal transitions. The second paper presents a method to extend Design Space Exploration (DSE) of systems with Out-of-Order e...

A parallel method for computing Boolean expressions based on the properties of finite free Boolean algebras is presented. We also show how various finite combinatorial objects can be codded in the formalism of Boolean algebras and counted by this procedure. Particularly, using a translation of first order predicate formulas to propositional formulas, we give a method for constructing and counti...

This paper discusses the technical details of the design veriication of a pipelined processor with out-of-order execution. We have developed new techniques to verify pipelined processors with complex control logic. Our principal technique is modeling the stream of instructions using a table representation, which allows us to directly express many machine-relevant properties. Using this represen...

The increasing demands for greater processor performance to remain competitive in today’s computer market necessitate careful attention to the methods used in designing processors to achieve these performance goals. Processor designs are increasing in complexity to meet performance goals, with such features as out-of-order execution and superscalar operation. Design cycles are decreasing in len...

The genus Serangium Blackburn from China is reviewed. The genus Catanella Miyatake is removed from synonymy with Serangium. Serangium baculum Xiao is transferred to Catanella, as Catanella baculum (Xiao), comb. n. Twelve species of Serangium are described, keyed and illustrated, including eight new species, Serangium magnipunctatum Wang & Ren, sp. n., Serangium trimaculatum Wang & Ren, sp. n., ...

We consider several approaches for reducing the complexity and power dissipation in processors that use separate register file to maintain the commited register values. The first approach relies on a distributed implementation of the Reorder Buffer (ROB) that spreads the centralized ROB structure across the function units (FUs), with each distributed component sized to match the FU workload and...

we describe a cost-optimal parallel algorithm for enumerating all partitions (equivalence relations) of the set {l' ' ' ' 'n},in lexicographic order. The algorithm is designed io be executed on a linear array of processors' It uses n processors' each having ionstant size memory and each being responsrble for producing one element ofa given set partition. set partitions are generated with consta...