276 search results - page 34 / 56 » Decomposition tool for event-B |
NPC
2010
Springer
14 years 8 months ago
2010
Springer
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
GLOBECOM
2009
IEEE
14 years 7 months ago
2009
IEEE
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
We characterize a class of videos consisting of very small but potentially complicated motions. We find that in these scenes, linear appearance variations have a direct relations...
CGF
2011
14 years 1 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...