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