1
Publicado em 2012
Assuntos: ...Computer programming....
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2015
Sumário: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2011
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2007
Sumário: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2013
Sumário: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2010
Sumário: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ...Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification -- Enhancing...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Point Processes with Defined Properties -- Generation and Selection of Surrogate Methods for Correlation...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... to Identify Performance Bottlenecks in a Computer System -- Selecting Small Audio Feature Sets in Music...
Obter o texto integral
Recurso Electrónico livro electrónico