4647 search results - page 40 / 930 » Composite Design Patterns |
CAV
2008
Springer
13 years 12 months ago
2008
Springer
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
QEST
2010
IEEE
13 years 7 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...