1
Publicado em 2010
Sumário: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Freeman, Adam., Freeman, Adam.
Publicado em 2010
Sumário: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2006
Sumário: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Garofalo, Raffaele., Garofalo, Raffaele.
Publicado em 2011
Assuntos: ...Microsoft .NET Framework....
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2015
Sumário: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... of the Hamiltonian Matrix-Vector Multiplication -- Tunable Parallel Experiments in a GridRPC Framework: Application...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2006
Sumário: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2006
Sumário: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2011
Sumário: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... and Promotions -- A Data-Aware Scheduling Framework for Parallel Applications in a Cloud Environment. body>....
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...
Obter o texto integral
Recurso Electrónico livro electrónico