1051 search results - page 164 / 211 » Analyzing Resource Behavior Using Process Mining |
111
Voted
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
125
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
82
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Collusion attack is a cost-effective attack against digital fingerprint. To develop an efficient collusion-resistant fingerprint scheme, it is very important for the detector t...
110
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...
116
Voted
PDP
2010
IEEE
15 years 4 months ago
2010
IEEE
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...