Sciweavers

7195 search results - page 57 / 1439
» On Computing Power
Sort
View
MOBISYS
2011
ACM
14 years 5 months ago
Adaptive display power management for mobile games
Bhojan Anand, Karthik Thirugnanam, Jeena Sebastian...
115
Voted
VLSID
2007
IEEE
104views VLSI» more  VLSID 2007»
15 years 8 months ago
STEFAL: A System Level Temperature- and Floorplan-Aware Leakage Power Estimator for SoCs
In this paper we demonstrate the impact of the floorplan on the temperature-dependent leakage power of a System on Chip (SoC). We propose a novel system level temperature aware a...
Aseem Gupta, Nikil D. Dutt, Fadi J. Kurdahi, Kamal...
IJFCS
2007
100views more  IJFCS 2007»
15 years 2 months ago
On the Power of Deterministic and Sequential Communicating P Systems
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in...
Ludek Cienciala, Lucie Ciencialová, Pierlui...
TPHOL
1996
IEEE
15 years 6 months ago
Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
Bernhard Reus