1
Publicado 2005
Tabla de Contenidos: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ...Introduction -- Conventional Architecture of Turbo Decoder -- Turbo Decoder with Parallel...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Simulations -- Sequential and Parallel Implementation of Networks -- Applications -- Parametric Studies...
Enlace del recurso
Electrónico eBook
6
Publicado 2008
Tabla de Contenidos: ... for Automatic Differentiation -- Efficient Higher-Order Derivatives of the Hypergeometric Function...
Enlace del recurso
Electrónico eBook
7
Publicado 2015
Tabla de Contenidos: ... Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability...
Enlace del recurso
Electrónico eBook
8
Publicado 2013
Tabla de Contenidos: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
Enlace del recurso
Electrónico eBook
9
Publicado 2015
Tabla de Contenidos: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ...-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ... for NTRU -- High-Speed Parallel Software Implementation of the ? T Pairing -- Refinement of Miller’s...
Enlace del recurso
Electrónico eBook
12
Publicado 2005
Tabla de Contenidos: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Enlace del recurso
Electrónico eBook
14
Publicado 2015
Tabla de Contenidos: ... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...
Enlace del recurso
Electrónico eBook
15
Publicado 2012
Tabla de Contenidos: ... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...
Enlace del recurso
Electrónico eBook
16
Publicado 2013
Tabla de Contenidos: ... on Crossbar Topology for Parallel Applications in MPSoC.- Modelling Higher Dimensional Data for GIS Using...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...
Enlace del recurso
Electrónico eBook
18
Publicado 2014
Tabla de Contenidos: ... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...
Enlace del recurso
Electrónico eBook
19
Publicado 2006
Tabla de Contenidos: ... Transport -- On – Ant System’s Parameters -- On the Invariance of Ant System -- Parallel Ant Colony...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...
Enlace del recurso
Electrónico eBook