4513 search results - page 731 / 903 » Logic programming with satisfiability |
159
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
186
click to vote
WIOPT
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider the problem of transmission scheduling of data over a wireless fading channel with hard deadline constraints. Our system consists of N users, each with a fixed amount...
161
click to vote
APPT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The data redistribution problems on multi-computers had been extensively studied. Irregular data redistribution has been paid attention recently since it can distribute d...
184
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
149
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...