Sciweavers

800 search results - page 18 / 160
» Towards a formalization of budgets
Sort
View
ISCA
2012
IEEE
262views Hardware» more  ISCA 2012»
13 years 17 days ago
Boosting mobile GPU performance with a decoupled access/execute fragment processor
Smartphones represent one of the fastest growing markets, providing significant hardware/software improvements every few months. However, supporting these capabilities reduces the...
Jose-Maria Arnau, Joan-Manuel Parcerisa, Polychron...
ISEM
2008
101views more  ISEM 2008»
14 years 10 months ago
Towards decision support for participatory democracy
In many parts of the world there is a growing demand for participation in public policy decision making. This demand could be satisfied by the design and deployment of webbased gr...
David Ríos Insua, Gregory E. Kersten, Jesus...
CORR
2010
Springer
201views Education» more  CORR 2010»
14 years 7 months ago
Online Advertisement, Optimization and Stochastic Networks
In this paper, we propose a stochastic model to describe how search service providers charge client companies based on users' queries for the keywords related to these compan...
R. Srikant
ASWEC
2007
IEEE
15 years 4 months ago
A Formal Model of Service-Oriented Design Structure
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
ISLPED
2005
ACM
123views Hardware» more  ISLPED 2005»
15 years 3 months ago
Coordinated, distributed, formal energy management of chip multiprocessors
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
Philo Juang, Qiang Wu, Li-Shiuan Peh, Margaret Mar...