Sciweavers

780 search results - page 76 / 156
» software 2011
Sort
View
CASES
2011
ACM
12 years 10 months ago
Architecting processors to allow voltage/reliability tradeoffs
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
John Sartori, Rakesh Kumar
ECSCW
2011
12 years 9 months ago
The Pendulum of Standardization
Cooperation and collaboration are generally an inherent part of everyday practice, and particularly among nurses. However, the technologies that support these practices are still i...
Torbjørg Meum, Eric Monteiro, Gunnar Elling...
SLOGICA
2011
13 years 5 months ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky
TCBB
2011
13 years 5 months ago
Information-Theoretic Model of Evolution over Protein Communication Channel
—In this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
Liuling Gong, Nidhal Bouaynaya, Dan Schonfeld
SIAMJO
2011
13 years 4 months ago
Adaptive Multilevel Inexact SQP Methods for PDE-Constrained Optimization
We present a class of inexact adaptive multilevel trust-region SQP-methods for the efficient solution of optimization problems governed by nonlinear partial differential equations...
J. Carsten Ziems, Stefan Ulbrich