• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,738,353
Next 10 →

On Theoretical Upper Bounds for Routing Estimation

by Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jiaguang Sun
"... 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-length es ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
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

A Theoretical Upper Bound for IP-Based Floorplanning

by Guowu Yang, Xiaoyu Song, Hannah H. Yang
"... 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 ≥ ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
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

Theoretical upper bound on the mass of the LSP in the MNSSM

by S. Hesselbach A, D. J. Miller B, G. Moortgat-pick A, R. Nevzorov B, M. Trusov C , 712
"... We study the neutralino sector of the Minimal Non-minimal Supersymmetric Standard Model (MNSSM) where the µ problem of the Minimal Supersymmetric Standard Model (MSSM) is solved without accompanying problems related with the appearance of domain walls. In the MNSSM as in the MSSM the lightest neutra ..."
Abstract - Add to MetaCart
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

Theoretical Upper Bounds on the Covering Radii of Boolean Functions

by Michel Mitton , 2004
"... 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. ..."
Abstract - Add to MetaCart
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.

An Information-Theoretic Upper Bound on the Length of the Shortest Proof

by Gustavo Lacerda
"... 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 Π1 ..."
Abstract - Add to MetaCart
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 Π

Theoretical upper bound on the mass of the LSP in the MNSSM

by S. Hesselbacha, D. J. Millerb, G. Moortgat-picka, R. Nevzorovb, M. Trusovc
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

An Information-Theoretic Upper Bound on Planar Graphs Using Well-Orderly Maps

by Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse , 2011
"... This chapter deals with compressed coding of graphs. We focus on planar graphs, a widely studied class of graphs. A planar graph is a graph that admits an embedding in the plane without edge crossings. Planar maps (class of embeddings of a planar graph) are easier to study than planar graphs, but a ..."
Abstract - Cited by 26 (3 self) - Add to MetaCart
, 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

Information Theoretic Upper Bound on the Capacity of Wireless Backhaul Networks

by Harpreet S. Dhillon
"... 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 i ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
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

Hybrid Demand Oblivious Routing: Hyper-cubic Partitions and Theoretical Upper Bounds

by Gábor Németh, Gábor Rétvári
"... Summary. Traditionally, network routing was optimized with respect to an expected traffic matrix, which left the network in a suboptimal state if user traffic did not match expectations. A demand-oblivious rout-ing is, contrarily, optimized with respect to all possible traffic matrices, obviating th ..."
Abstract - Add to MetaCart
. 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

Information-theoretic upper bounds on the capacity of large extended ad hoc wireless networks

by Olivier Lévêque, I. Emre Telatar - IEEE Trans. on Information Theory , 2005
"... 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 of u ..."
Abstract - Cited by 68 (2 self) - Add to MetaCart
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
Next 10 →
Results 1 - 10 of 1,738,353
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University