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