New Mexico State University |
Computer Science Department |
PUBLICATIONS |
· Philip Stenberg, Pieter Maris, Esmond Ng, Masha Sosonkina, Hung Viet Le, James Vary, Chao Yang: Accelerating Full Configuration Interaction Calculation for Nuclear Structure. Supercomputing Conference SC08. Austin, Texas U.S. November 15, 2008. · Hung Viet Le, Enrico Pontelli: Dynamic Scheduling in Parallel Answer Set Programming Solver. High Performance Computing Symposium. Norfolk Virginia U.S. March, 2007: 367-374. · Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31(6): 608-647 (2005). · Hung Viet Le, Enrico Pontelli: An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005. Lisbon, Portugal. September, 2005: 750-760. · Le Viet Hung, Do Duc Hanh: Global path planning and localization. The Second Asian Symposium Industrial Automation and Robotics. Bangkok, Thailand 2001. POSTERS · Hung Viet Le, Masha Sosonkina: Sparse Linear Algebra Components: Interoperable SPARSKIT. Supercomputing Conference SC07. Reno, Nevada U.S. November, 2007. · Hung Viet Le, Enrico Pontelli: Sharing Strategies of Parallel Answer Set Solvers & SAT Solvers. Supercomputing Conference SC05. Seattle, Washington U.S. November, 2005. |
Publication |