Sciweavers

4555 search results - page 190 / 911
» Deductive Algorithmic Knowledge
Sort
View
WAE
2001
281views Algorithms» more  WAE 2001»
15 years 3 months ago
Using PRAM Algorithms on a Uniform-Memory-Access Shared-Memory Architecture
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
David A. Bader, Ajith K. Illendula, Bernard M. E. ...
ICUMT
2009
15 years 7 days ago
Cooperative robust sequential detection algorithms for Spectrum Sensing in Cognitive Radio
Abstract-- We consider the problem of Spectrum Sensing in Cognitive Radio Networks. In our previous work we have developed DualCUSUM, a distributed algorithm for change detection a...
ArunKumar Jayaprakasam, Vinod Sharma
171
Voted
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 9 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
116
Voted
CISS
2008
IEEE
15 years 9 months ago
Distributed algorithm and reversible network
Motivated to design a feasible optical network architecture for the future Internet, we address the question of scheduling (wavelength assignment) in an optical network. The key ch...
Shreevatsa Rajagopalan, Devavrat Shah
INFOCOM
2007
IEEE
15 years 8 months ago
Polynomial Complexity Algorithms for Full Utilization of Multi-Hop Wireless Networks
— In this paper, we propose and study a general framework that allows the development of distributed mechanisms to achieve full utilization of multi-hop wireless networks. In par...
Atilla Eryilmaz, Asuman E. Ozdaglar, Eytan Modiano