Sciweavers

34229 search results - page 291 / 6846
» Power-aware computing systems
Sort
View
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 4 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»
14 years 11 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
15 years 11 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»
15 years 10 months 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
15 years 10 months 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