共 25 条
[1]
PetaBricks: A Language and Compiler for Algorithmic Choice
[J].
PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION,
2009,
:38-49
[2]
Bashkuev Gennadii, 2007, SMART 07, P1
[3]
Cavazos J, 2007, INT SYM CODE GENER, P185
[4]
Cho SH, 1997, 1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, P382, DOI 10.1109/ICPADS.1997.652577
[5]
DAVIS M, 1962, COMMUNICATIONS ACM, V5
[6]
Dean J, 2004, USENIX ASSOCIATION PROCEEDINGS OF THE SIXTH SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDE '04), P137
[9]
An extensible SAT-solver
[J].
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING,
2004, 2919
:502-518
[10]
Fursin G, 2005, LECT NOTES COMPUT SC, V3793, P29, DOI 10.1007/11587514_4