1
出版事項 2008
目次: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
全文の入手
電子媒体 eBook
2
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook
3
著者: Sutherland, Bruce., Sutherland, Bruce.
出版事項 2015
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
4
目次: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
全文の入手
電子媒体 eBook
5
出版事項 2008
目次: ... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
全文の入手
電子媒体 eBook
7
出版事項 2006
目次: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
全文の入手
電子媒体 eBook
8
目次: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
全文の入手
電子媒体 eBook