Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs 15 » programs 11, programs 10, programs 14
15 function » 15 functions, 5 function, 15 functional
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs 15 » programs 11, programs 10, programs 14
15 function » 15 functions, 5 function, 15 functional
1
Argitaratua 2015
Aurkibidea:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2013
Aurkibidea:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2012
Aurkibidea:
“... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2014
Aurkibidea:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]