Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel game » parallel gates, parallel age, parallel amr
game program » games programs, garde program, grace program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel game » parallel gates, parallel age, parallel amr
game program » games programs, garde program, grace program
1
Argitaratua 2010
Aurkibidea:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”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 2014
Aurkibidea:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Aurkibidea:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
Aurkibidea:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
15
Aurkibidea:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Argitaratua 2013
Aurkibidea:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Testu osoa
Baliabide elektronikoa
eBook
18
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]