Sciweavers

20294 search results - page 361 / 4059
» Algorithmic Information Theory
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
A game theoretical algorithm for joint power and topology control in distributed WSN
In this paper, the issue of network topology control in wireless networks using a fully distributed algorithm is considered. Whereas the proposed distributed algorithm is designed...
Pau Closas, Alba Pages-Zamora, Juan A. Ferná...
IPL
2010
109views more  IPL 2010»
15 years 1 months ago
A new parameter for a broadcast algorithm with locally bounded Byzantine faults
This paper deals with broadcasting in a network with t-locally bounded Byzantine faults. One of the simplest broadcasting algorithms under Byzantine failures is referred to as a c...
Akira Ichimura, Maiko Shigeno
STOC
2005
ACM
138views Algorithms» more  STOC 2005»
16 years 7 months ago
Fast quantum algorithms for computing the unit group and class group of a number field
Computing the unit group and class group of a number field are two of the main tasks in computational algebraic number theory. Factoring integers reduces to solving Pell's eq...
Sean Hallgren
ISSAC
1989
Springer
77views Mathematics» more  ISSAC 1989»
15 years 11 months ago
A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
B. David Saunders, Hong R. Lee, S. Kamal Abdali
170
Voted
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison