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 detection » parallel deduction, parallel selection, parallel execution
detection program » detection problem, reduction program, protection programs
testing https » teaching https, being https, writing https
1
Copertina
Pubblicazione 2010
Sommario: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2007
Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
3
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:
4
Copertina
Pubblicazione 2008
Sommario: “... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
5
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:
6
Copertina
Pubblicazione 2010
Sommario: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
7
Copertina
Pubblicazione 2015
Sommario: “... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
8
Copertina
Pubblicazione 2013
Sommario: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
9
Copertina
Pubblicazione 2013
Sommario: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
10
Copertina
Pubblicazione 2007
Sommario: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
11
Copertina
Pubblicazione 2008
Sommario: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
12
Copertina
Pubblicazione 2010
Sommario: “... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
13
Copertina
Pubblicazione 2010
Sommario: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
14
Copertina
Pubblicazione 2008
Sommario: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
15
Copertina
Pubblicazione 2010
Sommario: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
16
Copertina
Pubblicazione 2008
Sommario: “... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
17
Copertina
Pubblicazione 2010
Sommario: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
18
Copertina
Pubblicazione 2008
Sommario: “... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
19
Copertina
Pubblicazione 2007
Sommario: “... of Graphs -- The Equitable Edge-Coloring of Series-Parallel Graphs -- A Low Complexity Intrusion Detection...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
20
Copertina
Pubblicazione 2007
Sommario: “... Constrained Minimum Cost -- Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca