373 search results - page 17 / 75 » Analysis of Recursive State Machines |
110
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
103
click to vote
CSL
2000
Springer
15 years 7 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
149
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
113
Voted
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
Standard Reinforcement Learning (RL) aims to optimize decision-making rules in terms of the expected return. However, especially for risk-management purposes, other criteria such ...
117
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...