1
Publicado 2006
Tabla de Contenidos: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ... of Optimal Matrix Partitioning for Parallel Dense Factorization on Heterogeneous Processors -- Parallel...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...
Enlace del recurso
Electrónico eBook
4
por Freeman, Adam., Freeman, Adam.
Publicado 2010
Tabla de Contenidos: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Enlace del recurso
Electrónico eBook
5
Publicado 2006
Tabla de Contenidos: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Enlace del recurso
Electrónico eBook
6
Publicado 2007
Tabla de Contenidos: ... for Automatic Profile Management -- Laplace Transformation on the FT64 Stream Processor -- Towards Data Tiling...
Enlace del recurso
Electrónico eBook
7
Publicado 2007
Tabla de Contenidos: ... on the TTA -- Asynchronous Functional Coupling for Low Power Sensor Network Processors -- A Heuristic...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Enlace del recurso
Electrónico eBook
10
Publicado 2014
Tabla de Contenidos: ... Processors -- Hyper Object Data Model: A Simple Data Model for Handling Semi-structured Data -- A Novel...
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Enlace del recurso
Electrónico eBook
12
Publicado 2007
Tabla de Contenidos: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
Enlace del recurso
Electrónico eBook
13
Publicado 2008
Tabla de Contenidos: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
Enlace del recurso
Electrónico eBook
14
Tabla de Contenidos: ... -- Design for Test -- Case Studies And Commentaries -- Metric-Driven Design Verification: Why Is My Customer...
Enlace del recurso
Electrónico eBook
15
Publicado 2015
Tabla de Contenidos: ... in Parallel Architectures and Multi- core Processors, For Performance Improvement -- Aligning Systems...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Enlace del recurso
Electrónico eBook
17
Publicado 2013
Tabla de Contenidos: ... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...
Enlace del recurso
Electrónico eBook
18
Publicado 2008
Tabla de Contenidos: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
Enlace del recurso
Electrónico eBook
19
Publicado 2005
Tabla de Contenidos: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Enlace del recurso
Electrónico eBook