3521 search results - page 366 / 705 » Algorithmic Control in Concurrent Computations |
134
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
162
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a distributed and adaptive topology management algorithm, called PATM (Priority-based Adaptive Topology Management), that constructs and maintains a connected ...
138
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We consider decision-making problems in Markov decision processes where both the rewards and the transition probabilities vary in an arbitrary (e.g., nonstationary) fashion. We...
140
click to vote
HICSS
1995
IEEE
15 years 8 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
171
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...