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