1
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
4
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
5
Published 2010
Table of Contents: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- On Discriminative Joint Density Modeling -- Model-Based Online Learning of POMDPs -- Simple Test Strategies for Cost...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ..., and Environmental Data Mining -- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Invited papers -- Putting the Hodge and Tate Conjectures to the Test -- Curves of Genus 3 with a...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...
View full text
Electronic eBook
15
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
17
by Plattner, Hasso., Plattner, Hasso.
Published 2013
Table of Contents: ... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook