3116 search results - page 219 / 624 » Positively dependent types |
223
click to vote
CGO
2011
IEEE
14 years 8 months ago
2011
IEEE
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
187
click to vote
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Jamming attacks and unintentional radio interference are one of the most urgent threats harming the dependability of wireless communication and endangering the successfu...
158
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
138
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
171
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...