Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functioning » programs functional, program functionality, programme function
parallel selection » parallel detection, parallel execution, parallel solution
selection programs » selection programme, selecting programs, selection progress
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
programs functioning » programs functional, program functionality, programme function
parallel selection » parallel detection, parallel execution, parallel solution
selection programs » selection programme, selecting programs, selection progress
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Scheduling -- A Memetic Algorithm for the Pickup and Delivery Problem with Time Windows Using Selective Route...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook