7092 search results - page 216 / 1419 » Parallelizing constraint programs |
90
Voted
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
112
Voted
SIAMCOMP
1998
15 years 5 days ago
1998
We build on the classical greedy sequential set cover algorithm, in the spirit of the primal-dual schema, to obtain simple parallel approximation algorithms for the set cover probl...
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
111
click to vote
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...