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