Sciweavers

2996 search results - page 95 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
GI
2005
Springer
15 years 12 months ago
On the Signaling Overhead in Dynamic OFDMA Wireless Systems
: It is well known that dynamic OFDMA systems potentially increase the spectral efficiency of wireless systems. They exploit diversity effects in time, space, and frequency by ass...
James Gross, Adam Wolisz, Hans-Florian Geerdes
ATVA
2009
Springer
100views Hardware» more  ATVA 2009»
16 years 27 days ago
Dynamic Observers for the Synthesis of Opaque Systems
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
Franck Cassez, Jérémy Dubreil, Herv&...
RP
2009
Springer
124views Control Systems» more  RP 2009»
16 years 26 days ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez
ICDCS
2007
IEEE
16 years 19 days ago
Self-Similar Algorithms for Dynamic Distributed Systems
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
K. Mani Chandy, Michel Charpentier
PRDC
2005
IEEE
15 years 12 months ago
Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
Wei Chen, Shiding Lin, Qiao Lian, Zheng Zhang