[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - Leveraging Compiler Optimizations to Reduce Runtime Fault Recovery Overhead
- 作者Hosseini, Fateme S.; Fotouhi, Pouya; Yang, Chengmo; Gao, Guang R.
- 文件大小563.59KB
- 发表时间2017
- DOI10.1145/3061639.3062273
- 页码1-6
Simplicial radditive functorsVoevodsky, Vladimir · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
PrefaceGuo, Xuejun; Qin, Hourong; Tang, Guoping · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
Comparing homotopy categoriesBlanc, David · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2008
ForewordBak, Anthony; Rosenberg, Jonathan; Weibel, Chuck · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
Quillen model categoriesHovey, Mark · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
PrefaceFriedlander, Eric M.; Østvær, Paul Arne; Quick, Gereon · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2011
Cyclic Cohomology of CoringsRangipour, Bahram · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2009
Representability of derived stacksPridham, J.P. · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2012