837 search results - page 26 / 168 » Hard combinators |
94
Voted
ICFP
2009
ACM
15 years 5 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
76
Voted
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Large and fast hard disks for little money have enabled the processing of huge amounts of data on a single machine. For this purpose, the well-established STXXL library provides a...
IEEEPACT
2007
IEEE
15 years 4 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
81
Voted
NLDB
2007
Springer
15 years 4 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
79
Voted
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
Most rule learning systems posit hard decision boundaries for continuous attributes and point estimates of rule accuracy, with no measures of variance, which may seem arbitrary to ...