1
Published 2010
Table of Contents: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
View full text
Electronic eBook
2
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
View full text
Electronic eBook
8
Subjects: ...Microsoft .NET Framework....
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
15
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
View full text
Electronic eBook
19
Published 2011
Table of Contents: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...
View full text
Electronic eBook