Sciweavers

1201 search results - page 48 / 241
» Exact Analysis of Exact Change
Sort
View
ICTAI
2005
IEEE
14 years 1 months ago
Reachability Analysis for Uncertain SSPs
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
Olivier Buffet
ICCD
1995
IEEE
121views Hardware» more  ICCD 1995»
13 years 11 months ago
Analysis of conditional resource sharing using a guard-based control representation
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...
Ivan P. Radivojevic, Forrest Brewer
FLAIRS
2004
13 years 9 months ago
Analysis of Rule Refinement Conflicts
There exists no methodical standard for conflict analysis in the selection of optimal rule refinements. Current rule base refinement systems select the best rule refinements out o...
Hans-Werner Kelbassa
QUESTA
2006
87views more  QUESTA 2006»
13 years 7 months ago
Mean value analysis for polling systems
The present paper deals with the problem of calculating mean delays in polling systems with either exhaustive or gated service. We develop a mean value analysis (MVA) to compute t...
Erik M. M. Winands, Ivo J. B. F. Adan, G. J. van H...
TCS
2010
13 years 6 months ago
A combinatorial approach to the analysis of bucket recursive trees
In this work we provide a combinatorial analysis of bucket recursive trees, which have been introduced previously as a natural generalization of the growth model of recursive trees...
Markus Kuba, Alois Panholzer