4520 search results - page 220 / 904 » Algebraic Techniques for Timed Systems |
221
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
186
click to vote
IOT
2010
15 years 4 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
170
click to vote
ITC
2003
IEEE
16 years 14 days ago
2003
IEEE
This work discusses the impact of power consumption on the test time of core-based systems, when an available on-chip network is reused as test access mechanism. A previously prop...
179
click to vote
DEXAW
2005
IEEE
16 years 24 days ago
2005
IEEE
Current knowledge discovery systems are armed with many data mining techniques that can be potentially applied to a new problem. However, a system faces a challenge of selecting t...
158
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...