Альтернативы поиска:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel sparse » parallel search
sparse program » lparse programs, space program, case program
testing https » teaching https, being https, writing https
1
Опубликовано 2007
Оглавление: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2008
Оглавление: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2014
Оглавление: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2008
Оглавление: ... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2008
Оглавление: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2007
Оглавление: ... -- Adaptive Sparse Grid Classification Using Grid Environments -- Latency-Optimized Parallelization of the FMM...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2006
Оглавление: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2008
Оглавление: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2007
Оглавление: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2014
Оглавление: ... for Extracting Liver from 3D CT Image -- A New Image Fusion Technique Based on Blocked Sparse Representation...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2013
Оглавление: ... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...
Полный текст
Электронный ресурс eКнига