Sciweavers

12742 search results - page 249 / 2549
» On canonical number systems
Sort
View
SIAMDM
2008
113views more  SIAMDM 2008»
15 years 6 months ago
Power Domination in Product Graphs
The power system monitoring problem asks for as few as possible measurement devices to be put in an electric power system. The problem has a graph theory model involving power dom...
Paul Dorbec, Michel Mollard, Sandi Klavzar, Simon ...
TWC
2008
85views more  TWC 2008»
15 years 6 months ago
Scaling laws of multiple antenna group-broadcast channels
Broadcast (or point to multipoint) communication has attracted a lot of research recently. In this paper, we consider the group broadcast channel where the users' pool is divi...
Tareq Y. Al-Naffouri, Amir F. Dana, Babak Hassibi
ICASSP
2009
IEEE
15 years 4 months ago
Joint optimization of the redundancy of multiple-description coders for multicast
We consider the optimization of multicast over packet-switched communication networks with a non-zero packet-loss probability. For the system setup consisting of a number of multi...
Ermin Kozica, W. Bastiaan Kleijn
CC
2010
Springer
117views System Software» more  CC 2010»
15 years 4 months ago
Efficiently Certifying Non-Integer Powers
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
Erich Kaltofen, Mark Lavin
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
16 years 4 days ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...