1
Udgivet 2010
Indholdsfortegnelse: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... Smoothing to Inverse Halftoning Based on the MTF Function of Human Eyes -- Power Improvement Using Block...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ...: Architectures 2 -- Application Specific FPGA Using Heterogeneous Logic Blocks -- Reconfigurable Communication...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ... -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android Devices...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Indholdsfortegnelse: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Få fuldtekst
Electronisk eBog
18
Udgivet 2014
Indholdsfortegnelse: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Få fuldtekst
Electronisk eBog