Sciweavers

2270 search results - page 333 / 454
» On the distribution of eigenvalues of graphs
Sort
View
CONCUR
2007
Springer
16 years 16 days ago
Strategy Logic
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
WIOPT
2006
IEEE
16 years 11 days ago
Ad Hoc networks with topology-transparent scheduling schemes: Scaling laws and capacity/delay tradeoffs
— In this paper we investigate the limiting properties, in terms of capacity and delay, of an ad hoc network employing a topology-transparent scheduling scheme. In particular, we...
Daniele Miorandi, Hwee Pink Tan, Michele Zorzi
ASPDAC
2006
ACM
116views Hardware» more  ASPDAC 2006»
16 years 10 days ago
Post-routing redundant via insertion for yield/reliability improvement
- Reducing the yield loss due to via failure is one of the important problems in design for manufacturability. A well known and highly recommended method to improve via yield/relia...
Kuang-Yao Lee, Ting-Chi Wang
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
15 years 12 months ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 12 months ago
Physical Path Planning Using the GNATs
— We continue our investigation into the application of pervasive, embedded networks to support multi-robot tasks. In this work we use a new a hardware platform, the GNATs, to ai...
Keith J. O'Hara, Victor Bigio, Eric R. Dodson, Ary...