VLSI HLS design is a typical design optimization problem with a focus on generating good solutions. Typical expert design systems incorporate a large amount of domain knowledge to generate good initial solutions. These systems are unable to use information gleaned from analysis of the solutions (feedback)to generate better solutions. This paper describes a new technique called Constrained-Redo ...

We consider the problem of computing the influence of a neuronal structure in a brain network. Abraham et al. (2006) computed this influence by using the Shapley value of a coalitional game corresponding to a directed network as a rating. Kötter et al. (2007) applied this rating to large-scale brain networks, in particular to the macaque visual cortex and the macaque prefrontal cortex. Our aim ...

The performance description language PDL provides a compact notation for the speciication of non-functional attributes of VLSI systems. This paper presents evaluation mechanisms which allow the designer to assert performance goals on PDL models of VLSI systems and determine if the constrained models are satissable. This is done by developing a PDL performance model and constructing a constraint...

The high energy thermodynamics of Little String Theory (LST) is known to be unstable. An unresolved question is whether the corresponding instability in LST holographic dual is of stringy or supergravity origin. We study UV thermodynamics of a large metric deformation of the LST dual realized (in the extremal case) by type IIB fivebranes wrapping a two-sphere of a resolved conifold, and demonst...

in a large scale cyclic storage system ,as the number of rule parameters and/or number of operating period increase, general purpose gradient-based nlp solvers and/or genetic algorithms may loose their merits in finding optimally feasible solution to the problem. in these cases hybrid ga which decomposes the main problem into two manageable sub-problems with an iterative scheme between ga and l...

In this paper, we define the generalization problem, summarize various approaches in generalization, identify the credit assignment problem, and present the problem and some solutions in measuring generalizability. We discuss anomalies in the ordering of hypotheses in a subdomain when performance is normalized and averaged, and show conditions under which anomalies can be eliminated. To general...