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