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