171 search results - page 26 / 35 » Exploring Very Low-Energy Logic: A Case Study |
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
— As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) ...
NOCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...
CANDT
2009
15 years 1 months ago
2009
Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions i...
ACMDIS
2008
ACM
14 years 11 months ago
2008
ACM
This paper examines an under explored area of digital photography, namely photo display. Using examples from a study undertaken with six families, we examine photo displays on man...