1481 search results - page 128 / 297 » Software controlled power management |
138
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
We propose a control theory-based dynamic voltage scaling (DVS) algorithm for interactive 3D game applications running on batterypowered portable devices. Using this scheme, we pe...
118
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
128
click to vote
FCCM
2005
IEEE
15 years 10 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
129
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
165
Voted
ACSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Role based access control (RBAC) is a powerful security administration concept that can simplify permission assignment management. Migration to and maintenance of RBAC re...