1
Pubblicazione 2012
Sommario: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Testo
Elettronico eBook
4
Pubblicazione 2011
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
5
Sommario: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Testo
Elettronico eBook
7
Pubblicazione 2007
Sommario: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Testo
Elettronico eBook
8
Pubblicazione 2006
Sommario: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Testo
Elettronico eBook
9
Pubblicazione 2010
Sommario: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
Testo
Elettronico eBook
10
di Freeman, Adam., Freeman, Adam.
Pubblicazione 2010
Sommario: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
Testo
Elettronico eBook
12
Pubblicazione 2013
Sommario: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testo
Elettronico eBook
14
Pubblicazione 2012
Sommario: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Testo
Elettronico eBook
15
Pubblicazione 2012
Sommario: ...-Diagnosis Function for Rehabilitation Training Robot System --  Human Behavior Recognition by a Bio...
Testo
Elettronico eBook
16
Pubblicazione 2014
Sommario: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...
Testo
Elettronico eBook
19
Pubblicazione 2013
Sommario: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Testo
Elettronico eBook
20
Pubblicazione 2008
Sommario: ...Design of Micro Products -- Application of a DF?A Methodology to facilitate the assembly of a Micro...
Testo
Elettronico eBook