Foreslåede emner i din søgning.
Søg alternativer:
program functionality » protein functionality, programs functional, supra functionality
functionality based » functional based, functionality needs, functionality business
parallel testing » parallel nesting, parallel meshing, parallel routing
testing program » writing program, training program, learning program
based https » based http
1
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
4
Omslagsbillede
Udgivet 2012
Indholdsfortegnelse: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
5
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
6
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
7
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
8
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
9
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
10
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
11
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
12
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
13
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
14
Omslagsbillede
Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
15
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
16
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
17
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
18
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
19
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
20
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning