Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
process computers » process computer, processor computers, processing computers
problems process » problems progress, problems problems, process process
computers https » computing https, computers gtt, computers help
interface verification » interface specification, inference verification, interactive verification
verification problems » purification problems, verification process, identification problems
process computers » process computer, processor computers, processing computers
problems process » problems progress, problems problems, process process
computers https » computing https, computers gtt, computers help
1
Publicado em 2007
Sumário:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2006
Sumário:
“... for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Sumário:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2006
Sumário:
“...Background of the Verification and Validation of Neural Networks -- Augmentation of Current...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2010
Sumário:
“...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2010
Sumário:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... and Verification -- Correctness Checking of MPI One-Sided Communication Using Marmot -- An Interface to Support...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2007
Sumário:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“... Verification in Polar Frequency Domain: A Biologically Motivated Approach -- Face Alignment and Adaptive Weight...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2013
Sumário:
“... Vulnerability of Voice Verification Systems to Spoofing Attacks by Means of a TTS System -- Exploiting Multiple...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2010
Sumário:
“... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2012
Sumário:
“... Network for Computer Vision Based Fall Detection with Fixed-Point Arithmetic -- Customer Relationship...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges Third...
Publicado em 2013
Sumário:
“....- Improved Parallel Processing of Massive De Bruijn Graph for Genome Assembly.- B3Clustering: Identifying...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2013
Sumário:
“... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2007
Sumário:
“... -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2012
Sumário:
“...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2007
Sumário:
“... in Speaker Verification -- Language–Independent Speaker Classification over a Far–Field Microphone -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2007
Sumário:
“... in Speaker Verification and Identification -- Methods and Features -- Frame Based Features -- Higher-Level...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2014
Sumário:
“... of the Sparsest k-Subgraph Problem in Chordal Graphs -- Error-Pruning in Interface Automata -- Aspect-Driven...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2015
Sumário:
“...Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- 3
- Seguinte »
- [3]