4689 search results - page 304 / 938 » Analysis and modeling of control tasks in dynamic systems |
195
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
235
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
170
click to vote
ATAL
2003
Springer
16 years 2 hour ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
178
click to vote
TOG
2008
15 years 6 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
135
click to vote
DSOM
2005
Springer
16 years 6 days ago
2005
Springer
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...