Abstract: Routing space estimation plays a crucial role in design automation of digital systems. We investigate the problem of estimating upper bounds for global routing of two-terminal nets in two-dimensional arrays. We show the soundness of the bounds for both wiring space and total wire

Abstract. Floorplan is a crucial estimation task in the modern layout design of systems on chips. The paper presents a novel theoretical upper bound for slicing floorplans with soft modules. We show that, given a set of soft modules of total area Atotal, maximum area Amax, and shape flexibility r

neutralino can be the absolutely stable lightest supersymmetric particle (LSP) providing a good candidate for the cold dark matter component of the Universe. In contrast with the MSSM the allowed range of the mass of the lightest neutralino in the MNSSM is limited. We establish the theoretical upper bound

We prove new upper bounds for the covering radii ρ(n) and ρB(n) of the first order Reed-Muller code R(1, n). Although these bounds be ac-tually theoretical, they improve the classical Helleseth-Kløve-Mykkeltveit (H.K.M.) bound 2n−1 − 2n2−1.

Consider a short theorem, i.e. one that can be written down using just a few symbols. Can its shortest proof be arbitrarily long? We answer this question in the negative. Inspired by arguments by Calude et al (1999) and Chaitin (1984) that construct an upper bound on the first counterexample of a Π

Abstract not found

, but as a planar graph may admit an exponential number of maps, they give little information on graphs. In order to give an information-theoretic upper bound on planar graphs, we introduce a definition of a quasi-canonical embedding for planar graphs: well-orderly maps. This appears to be an useful tool

Abstract—We derive an information theoretic upper bound on the capacity of a wireless backhaul network modeled as a classical random extended network, except that we assume the number of antennas at each base station (BS) also scales up as an arbitrary function of network size. The antenna scaling

. However, our scheme did not provide a theoretical upper bound for the link over-utilization. In this paper, we tackle the problem again from a different perspective. Based on a novel hyper-cubic partition of the demand space, we construct a new algorithm that readily delivers the theoretical bounds

Abstract—We derive an information-theoretic upper bound on the rate per communication pair in a large ad hoc wireless network. We show that under minimal conditions on the attenuation due to the environment and for networks with a constant density of users, this rate tends to zero as the number