Sciweavers

190 search results - page 5 / 38
» Can Programming Be Liberated, Period
Sort
View
IADIS
2003
13 years 8 months ago
Forecasting the Growth of ATM and POS in the Portuguese Banking System
There are several factors that have been influencing and creating deep changes in the Portuguese banking sector. Among these, we can highlight technological innovation, the increa...
Fernando Alberto Freitas Ferreira, Nuno Sidó...
HPCA
2004
IEEE
14 years 7 months ago
Program Counter Based Techniques for Dynamic Power Management
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
Chris Gniady, Y. Charlie Hu, Yung-Hsiang Lu
DC
2010
13 years 7 months ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
POPL
2009
ACM
14 years 8 months ago
Bidirectionalization for free! (Pearl)
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
Janis Voigtländer
MOBICOM
2012
ACM
11 years 10 months ago
RadioJockey: mining program execution to optimize cellular radio usage
Many networked applications that run in the background on a mobile device incur significant energy drains when using the cellular radio interface for communication. This is mainl...
Pavan K. Athivarapu, Ranjita Bhagwan, Saikat Guha,...