14244 search results - page 308 / 2849 » Modeling Program Predictability |
138
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
All Netflix Prize algorithms proposed so far are prohibitively costly for large-scale production systems. In this paper, we describe an efficient dataflow implementation of a coll...
142
click to vote
DEBS
2010
ACM
15 years 6 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
166
Voted
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
143
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
139
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...