1
Published 2007
Table of Contents: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
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 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source -- Workflow Testing...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...
View full text
Electronic eBook
13
Published 2012
Subjects: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
View full text
Electronic eBook
14
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
15
Published 2010
Table of Contents: ...-Landau Theory for Atomic Fermi Gases Near the BCS-BEC Crossover -- Improved Support Vector Machine Multi...
View full text
Electronic eBook
16
Published 2011
Table of Contents: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... in Mammogram Images Using Ripley’s K Function and Support Vector Machine -- Selection of Experts for the Design...
View full text
Electronic eBook