1
出版事項 2005
目次: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
全文の入手
電子媒体 eBook
2
出版事項 2014
目次: ... with Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic...
全文の入手
電子媒体 eBook
3
出版事項 2013
目次: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... -- Greedy Differential Approximations for Min Set Cover -- A Methodology of Visual Modeling Language...
全文の入手
電子媒体 eBook
6
出版事項 2012
目次: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
全文の入手
電子媒体 eBook