Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
parallel problems » parallel problem, parallel programs, parallel process
problems programs » problems progress, problems problems, programs program
programs function » programs functional, programme function, programs fiction
function relation » function relations, function regulation, function section
relation https » relations https, religion https, relations http
parallel problems » parallel problem, parallel programs, parallel process
problems programs » problems progress, problems problems, programs program
programs function » programs functional, programme function, programs fiction
function relation » function relations, function regulation, function section
relation https » relations https, religion https, relations http
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:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Clár Ábhair:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2007
Clár Ábhair:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2010
Clár Ábhair:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2005
Clár Ábhair:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2010
Clár Ábhair:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
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
12
Foilsithe 2010
Clár Ábhair:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2006
Clár Ábhair:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
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
15
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
16
Foilsithe 2015
Clár Ábhair:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2005
Clár Ábhair:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2014
Clár Ábhair:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
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
20
Foilsithe 2005
Clár Ábhair:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar