1
Indholdsfortegnelse: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
4
Udgivet 2011
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
8
Udgivet 2011
Indholdsfortegnelse: ... -- Automation Tools Supporting the Development of Information Standards for Complex Systems -- Use of Structured...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Få fuldtekst
Electronisk eBog
10
Udgivet 2012
Fag: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
11
Udgivet 2015
Indholdsfortegnelse: ... Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... -- Trajectory Singularities for a Class of Parallel Motions -- Vertices and Inflexions of Plane Sections...
Få fuldtekst
Electronisk eBog
18
Udgivet 2014
Indholdsfortegnelse: ... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...
Få fuldtekst
Electronisk eBog