1901 search results - page 237 / 381 » Predicting Program Properties from |
106
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
138
click to vote
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
149
click to vote
NSDI
2010
15 years 4 months ago
2010
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, many implementations of MapReduce materialize the entire outp...
128
click to vote
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
107
click to vote
CIB
2005
15 years 3 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...