1
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2010
Aurkibidea: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Testu osoa
Baliabide elektronikoa eBook
6
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
7
Argitaratua 2010
Aurkibidea: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2014
Aurkibidea: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2014
Aurkibidea: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2015
Aurkibidea: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2010
Aurkibidea: ...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2015
Aurkibidea: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Testu osoa
Baliabide elektronikoa eBook
16
Aurkibidea: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2010
Aurkibidea: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2023
Aurkibidea: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Baliabide elektronikoa eBook
19
Argitaratua 2015
Aurkibidea: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2010
Aurkibidea: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Testu osoa
Baliabide elektronikoa eBook