Search alternatives:
programming solving » programming evolving, programming solutions, programming building
solving programs » solving programmed, solving problems, solving programming
programs testing » programs using, progeny testing
testing array » testing barry, using array, tiling array
https » http
1
Published 2010
Table of Contents: ... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
3
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
7
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
8
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
9
Table of Contents: ... Related Solutions -- Converting a String to an Array and Vice Versa -- Parsing Numbers from Buffers...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... for the Hidden Subgroup Problem in Nil-2 Groups -- Quantum Property Testing of Group Solvability -- Solving NP...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
View full text
Electronic eBook
12
Table of Contents: ... in modern microprocessors through genetic programming -- Antenna array synthesis with Evolutionary...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...
View full text
Electronic eBook
14
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Reconfiguration Algorithm for Field Programmable Analog Scalable Device Array (FPADA) with Fixed Topology...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- Sequential Vector Packing -- A Tighter Analysis of Set Cover Greedy Algorithm for Test Set -- A More...
View full text
Electronic eBook
18
Subjects: ...Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...
View full text
Electronic eBook