Sciweavers

1520 search results - page 179 / 304
» The Ring Loading Problem
Sort
View
SPIN
2010
Springer
15 years 1 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
TMC
2010
139views more  TMC 2010»
15 years 1 months ago
Optimize Storage Placement in Sensor Networks
—Data storage has become an important issue in sensor networks as a large amount of collected data need to be archived for future information retrieval. Storage nodes are introdu...
Bo Sheng, Qun Li, Weizhen Mao
WASA
2010
Springer
236views Algorithms» more  WASA 2010»
15 years 1 months ago
A Game Theoretic Approach to Multi-radio Multi-channel Assignment in Wireless Networks
Abstract. It has been long recognized that the interference among concurrent wireless transmissions plays a crucial role in limiting the performance of wireless networks. Recently,...
Devu Manikantan Shila, Yu Cheng, Tricha Anjali
GLOBECOM
2010
IEEE
15 years 16 days ago
Dimming Cellular Networks
We propose a novel technique called dimming to improve the energy efficiency of cellular networks by reducing the capacity, services, and energy consumption of cells without turnin...
David Tipper, Abdelmounaam Rezgui, Prashant Krishn...
CCIA
2010
Springer
14 years 10 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...