Sciweavers

1487 search results - page 112 / 298
» The Computational Complexity of Link Building
Sort
View
TCS
2010
15 years 2 months ago
Analyzing the dynamics of stigmergetic interactions through pheromone games
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...
Peter Vrancx, Katja Verbeeck, Ann Nowé
VTC
2010
IEEE
415views Communications» more  VTC 2010»
15 years 2 months ago
System Level Simulation of LTE Networks
—In order to evaluate the performance of new mobile network technologies, system level simulations are crucial. They aim at determining whether, and at which level predicted link...
Josep Colom Ikuno, Martin Wrulich, Markus Rupp
WIOPT
2011
IEEE
14 years 8 months ago
Performance evaluation of resource allocation policies for energy harvesting devices
Abstract—We focus on resource allocation for energy harvesting devices. We analytically and numerically evaluate the performance of algorithms that determine time fair energy all...
Maria Gorlatova, Andrey Bernstein, Gil Zussman
CONCUR
2011
Springer
14 years 4 months ago
Tractable Reasoning in a Fragment of Separation Logic
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
Byron Cook, Christoph Haase, Joël Ouaknine, M...
INFOCOM
2009
IEEE
15 years 11 months ago
CFP: Cooperative Fast Protection
—We introduce a novel protection scheme, called Cooperative Fast Protection (CFP), to fight against a single link failure in survivable WDM (Wavelength Division Multiplexing) mes...
Bin Wu, Pin-Han Ho, Kwan L. Yeung, János Ta...