3688 search results - page 549 / 738 » Static analysis of aspects |
205
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
160
Voted
SOCC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Lowering supply voltage is an effective technique for power reduction in memory design, however traditional memory cell design fails to operate, as shown in [3], [10], at ultra...
178
click to vote
3DIM
2007
IEEE
16 years 29 days ago
2007
IEEE
Modeling dynamic scenes is a challenging problem faced by applications such as digital content generation and motion analysis. Fast single-frame methods obtain sparse depth sample...
179
click to vote
EUROMICRO
2007
IEEE
16 years 28 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
176
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...