7092 search results - page 660 / 1419 » Parallelizing constraint programs |
159
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...
177
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
179
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
171
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
158
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...