Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
processing computing » processing computer, processing computational, processing conditions
program processing » programs processing, program proceedings, program process
https » http
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
processing computing » processing computer, processing computational, processing conditions
program processing » programs processing, program proceedings, program process
https » http
1
Pubblicazione 2007
Sommario:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”Testo
Elettronico
eBook
2
Pubblicazione 2006
Sommario:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”Testo
Elettronico
eBook
3
Pubblicazione 2007
Sommario:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”Testo
Elettronico
eBook
5
Sommario:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Testo
Testo
Elettronico
eBook
6
Pubblicazione 2012
Sommario:
“... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...”Testo
Elettronico
eBook
7
Pubblicazione 2012
Sommario:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Testo
Elettronico
eBook
8
Pubblicazione 2010
Sommario:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... Verification of Hybrid Programs -- Challenges and Issues of Supporting Task Parallelism in MPI....”Testo
Elettronico
eBook
10
Pubblicazione 2006
Sommario:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”Testo
Elettronico
eBook
14
Sommario:
“...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
Testo
Testo
Elettronico
eBook
15
Pubblicazione 2008
Sommario:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”Testo
Elettronico
eBook
16
Pubblicazione 2008
Sommario:
“... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”Testo
Elettronico
eBook
17
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Pubblicazione 2007
Sommario:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“... Verification in Polar Frequency Domain: A Biologically Motivated Approach -- Face Alignment and Adaptive Weight...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“... -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement...”Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“... Portable Immersive Environment -- A Fiducial-Based Tangible User Interface for White Matter Tractography...”Testo
Elettronico
eBook