1
Argitaratua 2010
Aurkibidea: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2008
Aurkibidea: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2006
Aurkibidea: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
8
Aurkibidea: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2005
Aurkibidea: ...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2006
Aurkibidea: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2013
Aurkibidea: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
Testu osoa
Baliabide elektronikoa eBook