Sciweavers

6251 search results - page 1202 / 1251
» Randomness, Computability, and Density
Sort
View
ICCAD
2004
IEEE
147views Hardware» more  ICCAD 2004»
16 years 22 days ago
Interval-valued reduced order statistical interconnect modeling
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...
James D. Ma, Rob A. Rutenbar
127
Voted
ICCAD
2002
IEEE
161views Hardware» more  ICCAD 2002»
16 years 22 days ago
Non-tree routing for reliability and yield improvement
We propose to introduce redundant interconnects for manufacturing yield and reliability improvement. By introducing redundant interconnects, the potential for open faults is reduc...
Andrew B. Kahng, Bao Liu, Ion I. Mandoiu
149
Voted
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 22 days ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
180
Voted
WEA
2010
Springer
284views Algorithms» more  WEA 2010»
15 years 10 months ago
Paging Multiple Users in Cellular Network: Yellow Page and Conference Call Problems
Abstract. Mobile users are roaming in a zone of cells in a cellular network system. The probabilities of each user residing in each cell are known, and all probabilities are indepe...
Amotz Bar-Noy, Panagiotis Cheilaris, Yi Feng 0002
147
Voted
PERCOM
2009
ACM
15 years 10 months ago
NoShake: Content Stabilization for Shaking Screens of Mobile Devices
—Consumer electronics and mobile devices intended for pervasive applications are often subject to shaking that makes their screen difficult to read. To address this usability cha...
Ahmad Rahmati, Clayton Shepard, Lin Zhong
« Prev « First page 1202 / 1251 Last » Next »