Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
parallel programs » parallel programming
https function » its function, sites function, ups function
function calls » function cell
calls https » cells https, calculus https
parallel programs » parallel programming
https function » its function, sites function, ups function
function calls » function cell
calls https » cells https, calculus https
1
Foilsithe 2010
Clár Ábhair:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2015
Clár Ábhair:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Foilsithe 2014
Clár Ábhair:
“... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2008
Clár Ábhair:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2010
Clár Ábhair:
“... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2014
Ábhair:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Ábhair:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2010
Clár Ábhair:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair:
“... -- A Personalized CALL System Considering Users Cognitive Abilities -- Autonomic Resources Management...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2005
Clár Ábhair:
“... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar