Sciweavers

3910 search results - page 419 / 782
» Analyzing Cross-Connected Networks
Sort
View
CADE
2000
Springer
15 years 11 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
ETM
2010
163views Economy» more  ETM 2010»
15 years 7 months ago
Estimating AS Relationships for Application-Layer Traffic Optimization
The relationships among autonomous systems (ASes) on the Internet are categorized into two major types: transit and peering. We propose a method for quantifying AS' network si...
Hirochika Asai, Hiroshi Esaki
IJAR
2008
106views more  IJAR 2008»
15 years 6 months ago
Probabilistic logic with independence
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
Fabio Gagliardi Cozman, Cassio Polpo de Campos, Jo...
TVLSI
2002
107views more  TVLSI 2002»
15 years 6 months ago
Low-power clock distribution using multiple voltages and reduced swings
: Clock networks account for a significant fraction of the power dissipation of a chip and are critical to performance. This paper presents theory and algorithms for building a low...
Jatuchai Pangjun, Sachin S. Sapatnekar
ICRA
2010
IEEE
144views Robotics» more  ICRA 2010»
15 years 5 months ago
Adaptation to robot failures and shape change in decentralized construction
— Our prior work [1] presented a decentralized algorithm for coordinating the construction of a truss structure out of multiple components. In this paper, we discuss adaptation i...
Seung-kook Yun, Daniela Rus