1
Publicado 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...
Ligazón do recurso
Electrónico eBook
6
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
7
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Ligazón do recurso
Electrónico eBook
9
por Sharan, Kishori., Sharan, Kishori.
Publicado 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
10
Publicado 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Ligazón do recurso
Electrónico eBook
11
Publicado 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Ligazón do recurso
Electrónico eBook
12
Publicado 2015
Table of Contents: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ... Intelligence Environment for e-Gov Using Open Source Technologies -- Outlier and Image Mining -- A Fast...
Ligazón do recurso
Electrónico eBook
16
Publicado 2010
Table of Contents: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Ligazón do recurso
Electrónico eBook
18
Publicado 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Ligazón do recurso
Electrónico eBook