670 search results - page 123 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
HPCA
2009
IEEE
14 years 8 months ago
2009
IEEE
Analytical modeling is an alternative to detailed performance simulation with the potential to shorten the development cycle and provide additional insights. This paper proposes a...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Time-varying spatial patterns are common, but few computational tools exist for discovering and tracking multiple, sometimes overlapping, spatial structures of targets. We propose...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
EMSOFT
2009
Springer
14 years 5 days ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
BC
1998
13 years 7 months ago
1998
A simple analytical model is proposed here that captures to a large extent the kinematic structure of rat exploratory behavior. Previous studies have shown that such behavior consi...