1682 search results - page 323 / 337 » A behavior model for persuasive design |
111
click to vote
KDD
2005
ACM
16 years 2 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
169
click to vote
HPCA
2002
IEEE
16 years 2 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
127
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
143
Voted
SIGMETRICS
2009
ACM
15 years 8 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Transient faults due to particle strikes are a key challenge in microprocessor design. Driven by exponentially increasing transistor counts, per-chip faults are a growing burden. ...