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
بواسطة Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
منشور في 2013
جدول المحتويات: ...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
بواسطة Abderazek, Ben Abadallah., Abderazek, Ben Abadallah.
منشور في 2010
جدول المحتويات: ...- and Many-Core Systems -- Parallelizing Compiler for High Performance Computing -- Dual-Execution Processor...
احصل على النص الكامل
الكتروني كتاب الكتروني