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