Sciweavers

6598 search results - page 139 / 1320
» Graph Theory with Applications
Sort
View
IPPS
2006
IEEE
16 years 11 days ago
Fast distributed graph partition and application
Bilel Derbel, Mohamed Mosbah, Akka Zemmari
LOPSTR
2004
Springer
15 years 11 months ago
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
J. B. Wells, Boris Yakobowski