1
יצא לאור 2010
תוכן הענינים: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים: ... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
מאת Karrenberg, Ralf., Karrenberg, Ralf.
יצא לאור 2015
נושאים: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2015
תוכן הענינים: ... Systems on Spatiotemporal Cellular Automata -- Autonomous Robot Path Planning techniques using Cellular...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ...Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים: ... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים: ...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
מאת Camina, Alan., Camina, Alan., Lewis, Barry.
יצא לאור 2011
תוכן הענינים: ... Functions -- Graphs -- partitions and Paths....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2014
תוכן הענינים: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... -- Improving Approximate Graph Edit Distance Using Genetic Algorithms -- Approximate Graph Edit Distance Guided...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2014
תוכן הענינים: ... of Complex Networks -- NovoGMET: De Novo Peptide Sequencing Using Graphs with Multiple Edge Types (GMET...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני