Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
efficient functionality » efficient functional, office functionality, efficient functionalisation
functionality testing » functionality setting, functional testing, functionality using
function efficient » functions efficient, junction efficient, junctions efficient
parallel function » parallel functional, parallel auction, parallel union
testing https » teaching https, being https, writing https
efficient functionality » efficient functional, office functionality, efficient functionalisation
functionality testing » functionality setting, functional testing, functionality using
function efficient » functions efficient, junction efficient, junctions efficient
parallel function » parallel functional, parallel auction, parallel union
testing https » teaching https, being https, writing https
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:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”View full text
Electronic
eBook
5
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
6
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
7
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
8
Published 2008
Table of Contents:
“...Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification -- Enhancing...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...”View full text
Electronic
eBook
10
“...Given a nonconvex minimization problem where the objective function is nonlinear and twice...”
Article
11
“...Given a nonconvex minimization problem where the objective function is nonlinear and twice...”
Article
12
Published 2006
Table of Contents:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”View full text
Electronic
eBook
14
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
15
Published 2010
Table of Contents:
“... Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... for Elliptic Curves -- Efficient Pairing Computation with Theta Functions -- Small-Span Characteristic...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... DEVICES. 3.1.Separation efficiency of a CE-chip. 3.2.Separation of biomacromolecules and particles. 4...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Algorithm Over Edwards Curves -- Probabilistic Public Key Encryption with Equality Test -- Efficient CCA...”View full text
Electronic
eBook