4164 search results - page 459 / 833 » Timing model reduction for hierarchical timing analysis |
204
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
204
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
205
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
207
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Current search engines do not support user searches for chemical entities (chemical names and formulae) beyond simple keyword searches. Usually a chemical molecule can be represen...