Sciweavers

7195 search results - page 57 / 1439
» On Computing Power
Sort
View
MOBISYS
2011
ACM
13 years 20 days ago
Adaptive display power management for mobile games
Bhojan Anand, Karthik Thirugnanam, Jeena Sebastian...
VLSID
2007
IEEE
104views VLSI» more  VLSID 2007»
14 years 4 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»
13 years 9 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
14 years 1 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