1
出版事項 2010
目次: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
全文の入手
電子媒体 eBook
3
出版事項 2006
目次: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... for Multiscale Flows – Towards the Petascale Generation of Mesoscale Numerical Weather Prediction -- Parallel...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
全文の入手
電子媒体 eBook
6
出版事項 2008
目次: ... Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes...
全文の入手
電子媒体 eBook
7
出版事項 2008
目次: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
全文の入手
電子媒体 eBook
8
出版事項 2015
目次: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
全文の入手
電子媒体 eBook
9
出版事項 2006
目次: ... -- Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig) -- Generation...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... in Instance Generation for Udine Timetabling -- Special Session: LION-MOME -- A Study of the Parallelization...
全文の入手
電子媒体 eBook
11
出版事項 2015
目次: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
全文の入手
電子媒体 eBook
13
出版事項 2008
目次: ... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...
全文の入手
電子媒体 eBook
14
出版事項 2012
目次: ... -- Evolving Paradigms: Retrospective and Prospection -- Anthropology -- Parallel Paradigms of Artists...
全文の入手
電子媒体 eBook
15
出版事項 2006
目次: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
全文の入手
電子媒体 eBook
17
出版事項 2013
目次: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
全文の入手
電子媒体 eBook
18
出版事項 2015
目次: ...)construction of Urban Street Networks: Generative Design Using Global Information from Structure -- A...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ... Near-Field Computations -- Efficient Generation of Parallel Quasirandom Faure Sequences Via Scrambling...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
全文の入手
電子媒体 eBook