Sciweavers

34229 search results - page 291 / 6846
» Power-aware computing systems
Sort
View
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 6 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 1 months ago
An Interior-Point Algorithm for Large-Scale Nonlinear Optimization with Inexact Step Computations
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
Frank E. Curtis, Olaf Schenk, Andreas Wächter
WIKIS
2009
ACM
16 years 1 months ago
Suffr: democratic control of computing infrastructure
Suffr uses Wiki to facilitate corporate governance. Suffr allows a group's members to administer a computer system and its information resources collectively. Categories and ...
Kirk Zurell
WOWMOM
2005
ACM
99views Multimedia» more  WOWMOM 2005»
16 years 5 days ago
Small Worlds and the Security of Ubiquitous Computing
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
Harald Vogt
SG
2005
Springer
16 years 3 days ago
Computer-Assisted Artistic Pattern Drawing
Computer-assisted animation production tools have an important role in animation production industries. They could reduce the production cost and time. In this paper, a new compute...
Hun Im, Jong Weon Lee