1
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2013
Aurkibidea: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Testu osoa
Baliabide elektronikoa eBook
8
nork Bjørner, Dines., Bjørner, Dines.
Argitaratua 2006
Aurkibidea: ... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...
Testu osoa
Baliabide elektronikoa eBook
9
Aurkibidea: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Testu osoa
Baliabide elektronikoa eBook
10
nork Sharan, Kishori., Sharan, Kishori.
Argitaratua 2014
Gaiak: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2015
Aurkibidea: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ... of Reconfigurable Hardware for Accelerated Parallel Processing -- Routing-Aware Application Mapping Considering...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2005
Aurkibidea: ... -- An Extension of Self-organizing Maps to Categorical Data -- Programming Relational Databases for Itemset Mining...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Aurkibidea: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Testu osoa
Baliabide elektronikoa eBook
18
Aurkibidea: ...? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2006
Aurkibidea: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2013
Aurkibidea: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
Testu osoa
Baliabide elektronikoa eBook