262 search results - page 49 / 53 » The design space of ubiquitous product recommendation system... |
DSN
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
MICRO
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper proposes and evaluates single-ISA heterogeneous multi-core architectures as a mechanism to reduce processor power dissipation. Our design incorporates heterogeneous cor...
109
click to vote
GPCE
2009
Springer
15 years 24 days ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
205
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
Spatio-temporal databases have been the focus of considerable research activity over a significant period. However, there are as of yet very few prototypes of complete systems, f...