Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
function function » function functional, functions functional, function dysfunction
parallel testing » parallel nesting, parallel meshing, parallel routing
systems function » system function, systems functional, system functions
testing systems » testing system, heating systems, feeding systems
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
parallel testing » parallel nesting, parallel meshing, parallel routing
systems function » system function, systems functional, system functions
testing systems » testing system, heating systems, feeding systems
function https » functions https, fiction https
1
Julkaistu 2010
Sisällysluettelo:
“... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2011
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”Hae kokoteksti
Elektroninen
E-kirja
4
Sisällysluettelo:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2007
Sisällysluettelo:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2006
Sisällysluettelo:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2010
Sisällysluettelo:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2013
Sisällysluettelo:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2010
Sisällysluettelo:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2006
Sisällysluettelo:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2013
Sisällysluettelo:
“... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...”Hae kokoteksti
Elektroninen
E-kirja
17
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Julkaistu 2015
Sisällysluettelo:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2015
Sisällysluettelo:
“... Operations -- Presentation of a Fuzzy Control Training and Test System -- Web Service Intrusion Detection...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2005
Sisällysluettelo:
“... Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems...”Hae kokoteksti
Elektroninen
E-kirja
20
Sisällysluettelo:
“...- and Many-Core Systems -- Parallelizing Compiler for High Performance Computing -- Dual-Execution Processor...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja