Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
block programs » back programs, blocking programs, block diagrams
using https » using http, nursing https, aging https
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
block programs » back programs, blocking programs, block diagrams
using https » using http, nursing https, aging https
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
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
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
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
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



