3082 search results - page 351 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
171
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
214
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
155
click to vote
TMI
1998
15 years 6 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
149
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...