1
per Freeman, Adam., Freeman, Adam.
Publicat 2010
Taula de continguts: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Obtenir text complet
Electrònic eBook
5
Publicat 2015
Taula de continguts: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
Obtenir text complet
Electrònic eBook
8
Publicat 2013
Taula de continguts: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... -- On Discriminative Joint Density Modeling -- Model-Based Online Learning of POMDPs -- Simple Test Strategies for Cost...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ..., and Environmental Data Mining -- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation...
Obtenir text complet
Electrònic eBook
13
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
Obtenir text complet
Electrònic eBook
17
Publicat 2010
Taula de continguts: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... Identification, Collection and Distribution -- Testing Distributed ABS System with Fault Injection -- Learning...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Obtenir text complet
Electrònic eBook