670 search results - page 123 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
99
Voted
HPCA
2009
IEEE
16 years 29 days 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...
143
Voted
CVPR
2010
IEEE
15 years 8 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...
106
click to vote
VLSID
2007
IEEE
16 years 24 days 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...
100
Voted
EMSOFT
2009
Springer
15 years 5 months 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...
110
Voted
BC
1998
15 years 4 days 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...