4894 search results - page 191 / 979 » Dynamic Abstraction Planning |
189
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
149
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
165
click to vote
EUROGP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we consider a new class of search and optimization algorithms inspired by molecular dynamics simulations in physics.
168
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...
149
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years