Sciweavers

6598 search results - page 139 / 1320
» Graph Theory with Applications
Sort
View
IPPS
2006
IEEE
16 years 8 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