523 search results - page 82 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
MICRO
2002
IEEE
14 years 1 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
SIGSOFT
2009
ACM
14 years 1 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
AIPS
2003
13 years 10 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...