4164 search results - page 412 / 833 » Timing model reduction for hierarchical timing analysis |
164
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— An iterative feature selection method based on feature typicality and interactivity analysis is presented in this paper. The aim is to enhance model interpretability by selecti...
171
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
Semantic analysis of sport sequences requires camera calibration to obtain player and ball positions in real-world coordinates. For court sports like tennis, the marker lines on t...
182
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
180
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...
181
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...