1
Udgivet 2005
Indholdsfortegnelse: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ...Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis...
Få fuldtekst
Electronisk eBog
4
Udgivet 2012
Fag: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
7
Udgivet 2015
Indholdsfortegnelse: ... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ... Grid Infrastructure for Functional Genomics -- Building a Biodiversity GRID -- Mega Process Genetic...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ....BUILDING BLOCKS OF CE-CHIP DEVICES. 4.1.Wafer materials, micromachining and wafer bonding. 4.2.Power...
Få fuldtekst
Electronisk eBog
12
Indholdsfortegnelse: ...What Is Enumeration? -- Generating Functions Count -- Working with Generating Functions...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ... of Networks Using the Cat Cortex as an Example -- Organization and Function of Complex Cortical Networks...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
Få fuldtekst
Electronisk eBog
16
Indholdsfortegnelse: ...) -- Triodes in Parallel Operation (PAR): -- Balanced (Differential) Gain Stage (BAL) -- Feedback (FB...
Få fuldtekst
Electronisk eBog
17
Udgivet 2012
Indholdsfortegnelse: ...-Compensating Technology for Disturbing Torque of Space Swing Camera -- Matrix Multiplication Parallelization...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Få fuldtekst
Electronisk eBog
20
Udgivet 2011
Indholdsfortegnelse: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
Få fuldtekst
Electronisk eBog