Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
function execution » function ejection, function evolution, function detection
program function » programme function, programs functional, program foundation
execution https » exertion https, execution status, execution actors
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
function execution » function ejection, function evolution, function detection
program function » programme function, programs functional, program foundation
execution https » exertion https, execution status, execution actors
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
1
Foilsithe 2007
Clár Ábhair:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2006
Clár Ábhair:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2007
Clár Ábhair:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
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
7
Foilsithe 2010
Clár Ábhair:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2008
Clár Ábhair:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2005
Clár Ábhair:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2008
Clár Ábhair:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
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
13
Foilsithe 2013
Clár Ábhair:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2005
Clár Ábhair:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Foilsithe 2006
Clár Ábhair:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
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
18
Foilsithe 2008
Clár Ábhair:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2015
Clár Ábhair:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- 3
- Ar aghaidh »
- [3]