1
Pubblicazione 2007
Sommario: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testo
Elettronico eBook
6
Pubblicazione 2010
Sommario: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ...Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification -- Enhancing...
Testo
Elettronico eBook
9
Pubblicazione 2013
Sommario: ... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...
Testo
Elettronico eBook
10
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Articolo
11
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Articolo
12
Pubblicazione 2006
Sommario: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Testo
Elettronico eBook
13
Pubblicazione 2015
Sommario: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
Testo
Elettronico eBook
14
Pubblicazione 2006
Sommario: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
Testo
Elettronico eBook
15
Pubblicazione 2010
Sommario: ... Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... for Elliptic Curves -- Efficient Pairing Computation with Theta Functions -- Small-Span Characteristic...
Testo
Elettronico eBook
17
Pubblicazione 2006
Sommario: ... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...
Testo
Elettronico eBook
18
Pubblicazione 2007
Sommario: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...
Testo
Elettronico eBook
20
Pubblicazione 2006
Sommario: ... DEVICES. 3.1.Separation efficiency of a CE-chip. 3.2.Separation of biomacromolecules and particles. 4...
Testo
Elettronico eBook