5159 search results - page 435 / 1032 » Structural Testing of Executables |
191
click to vote
KDD
2006
ACM
16 years 8 months ago
2006
ACM
Often the best performing supervised learning models are ensembles of hundreds or thousands of base-level classifiers. Unfortunately, the space required to store this many classif...
196
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
Informal analysis of many usability tests suggests that there is regularly one participant that is substantially slower than all the others. Moreover, such outliers are more extre...
336
click to vote
POPL
2006
ACM
16 years 8 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
204
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we address the problem of ensuring the correctness of query results returned by an untrusted private database. The database owns the data and may modify it at any ti...
175
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...