1
Publicado 2008
Table of Contents: ... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...
Ligazón do recurso
Electrónico eBook
2
por Priestley, Mark., Priestley, Mark.
Publicado 2011
Table of Contents: ... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...
Ligazón do recurso
Electrónico eBook
3
Table of Contents: ... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ...-Based Network Beamformer -- Software Development for the Square Kilometre Array -- A Simple Model...
Ligazón do recurso
Electrónico eBook
5
por Bradley, Aaron R., Bradley, Aaron R.
Publicado 2011
Table of Contents: ...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...
Ligazón do recurso
Electrónico eBook
6
Publicado 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...
Ligazón do recurso
Electrónico eBook
10
Publicado 2005
Table of Contents: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
Ligazón do recurso
Electrónico eBook
12
Publicado 2006
Table of Contents: ... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Ligazón do recurso
Electrónico eBook
14
Publicado 2007
Table of Contents: ... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...
Ligazón do recurso
Electrónico eBook
17
Publicado 2006
Table of Contents: ... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...
Ligazón do recurso
Electrónico eBook
18
Publicado 2012
Table of Contents: ... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...
Ligazón do recurso
Electrónico eBook
19
Publicado 2014
Table of Contents: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
Ligazón do recurso
Electrónico eBook
20
Publicado 2008
Table of Contents: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
Ligazón do recurso
Electrónico eBook