Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs sound » programs south, programs grounds, programs source
sound function » round function, round functions, bound functions
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs sound » programs south, programs grounds, programs source
sound function » round function, round functions, bound functions
function https » functions https, fiction https
1
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2008
Clár Ábhair:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2013
Clár Ábhair:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Clár Ábhair:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Clár Ábhair:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2008
Clár Ábhair:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2005
Clár Ábhair:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2014
Clár Ábhair:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2013
Clár Ábhair:
“... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
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
12
Foilsithe 2005
Clár Ábhair:
“... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2006
Clár Ábhair:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar