2 papers
cs.DC2014
Algorithmic Energy Saving for Parallel Cholesky, LU, and QR Factorizations
Li Tan, Zizhong Chen
The pressing demands of improving energy efficiency for high performance scientific computing have motivated a large body of software-controlled hard- ware solutions using Dynamic…
cs.PL2012
A Well-typed Lightweight Situation Calculus
Li Tan
Situation calculus has been widely applied in Artificial Intelligence related fields. This formalism is considered as a dialect of logic programming language and mostly used in dyn…