4164 search results - page 103 / 833 » Timing model reduction for hierarchical timing analysis |
195
click to vote
PTS
2008
15 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
173
click to vote
ESWA
2008
2008
Web mining based on Growing Hierarchical Self-Organizing Maps: Analysis of a real citizen web portal
15 years 6 months ago
This work is focused on the usage analysis of a citizen web portal, Infoville XXI (http://www.infoville.es) by means of Self-Organizing Maps (SOM). In this paper, a variant of the...
184
click to vote
IBPRIA
2005
Springer
15 years 12 months ago
2005
Springer
Using Comaniciu et al.’s approach as a basis, [9], this paper presents a real-time tracking technique in which a multiple target model is used. The use of a multiple model shall ...
188
click to vote
SPIN
2009
Springer
16 years 26 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A new noise reduction method based on spatio-temporal frequency analysis is proposed that can be applied to head-related impulse response (HRIR), which is an impulse response betw...