306 search results - page 37 / 62 » Dynamic Software Updates: The State Mapping Problem |
LCTRTS
2001
Springer
14 years 27 days ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
NFM
2011
13 years 3 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
We first formulate multiple targets tracking problem in a dynamic Markov network(DMN)which is derived from a MRFs for joint target state and a binary process for occlusion of dual...
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Bayesian networks are indispensable for determining the probability of events which are influenced by various components. Bayesian probabilities encode degrees of belief about ce...
PROCEDIA
2010
13 years 6 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...