Soggetti all'interno della tua ricerca.
Cerca anche:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel problem » parallel program, parallel programs, parallel robots
problem program » problems programs, program program, problem problem
testing https » teaching https, being https, writing https
1
Copertina
Pubblicazione 2010
Sommario: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2007
Sommario: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
3
Copertina
di Freeman, Adam., Freeman, Adam.
Pubblicazione 2010
Sommario: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
4
Copertina
Pubblicazione 2010
Sommario: “... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
5
Copertina
Pubblicazione 2010
Sommario: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
6
Copertina
Pubblicazione 2015
Sommario: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
7
Copertina
Pubblicazione 2008
Sommario: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
8
Copertina
Pubblicazione 2013
Sommario: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
9
Copertina
Pubblicazione 2014
Sommario: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
10
Copertina
Pubblicazione 2015
Sommario: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
11
Copertina
Pubblicazione 2006
Sommario: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
12
Copertina
Pubblicazione 2008
Sommario: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
13
Copertina
Pubblicazione 2005
Sommario: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
14
Copertina
Sommario: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
15
Copertina
Pubblicazione 2008
Sommario: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
16
Copertina
Pubblicazione 2006
Sommario: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
17
Copertina
Pubblicazione 2010
Sommario: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
18
Copertina
Pubblicazione 2014
Sommario: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
19
Copertina
Pubblicazione 2006
Sommario: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
20
Copertina
Pubblicazione 2005
Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca