1
出版 2010
書本目錄: ... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...
獲取全文
電子 電子書
2
出版 2011
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
獲取全文
電子 電子書
4
書本目錄: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
獲取全文
電子 電子書
5
出版 2007
書本目錄: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
獲取全文
電子 電子書
10
Freeman, Adam., Freeman, Adam.
出版 2010
書本目錄: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
獲取全文
電子 電子書
11
出版 2013
書本目錄: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
獲取全文
電子 電子書
12
出版 2008
書本目錄: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...
獲取全文
電子 電子書
14
出版 2008
書本目錄: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
獲取全文
電子 電子書
15
出版 2006
書本目錄: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
獲取全文
電子 電子書
16
出版 2013
書本目錄: ... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...
獲取全文
電子 電子書
17
出版 2015
書本目錄: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
獲取全文
電子 電子書
18
出版 2015
書本目錄: ... Operations -- Presentation of a Fuzzy Control Training and Test System -- Web Service Intrusion Detection...
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems...
獲取全文
電子 電子書
20
書本目錄: ...- and Many-Core Systems -- Parallelizing Compiler for High Performance Computing -- Dual-Execution Processor...
獲取全文
電子 電子書