Sciweavers

6598 search results - page 139 / 1320
» Graph Theory with Applications
Sort
View
IPPS
2006
IEEE
16 years 27 days ago
Fast distributed graph partition and application
Bilel Derbel, Mohamed Mosbah, Akka Zemmari
LOPSTR
2004
Springer
16 years 6 days 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