4894 search results - page 191 / 979 » Dynamic Abstraction Planning |
150
click to vote
CONCUR
2008
Springer
15 years 6 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...
110
click to vote
CORR
2010
Springer
15 years 4 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...
120
click to vote
EUROGP
2004
Springer
15 years 9 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.
136
click to vote
FPL
2000
Springer
15 years 8 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...
120
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years