1
Izdano 2007
Kazalo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Polni tekst
Elektronski eKnjiga
5
Izdano 2005
Kazalo: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Polni tekst
Elektronski eKnjiga
6
Izdano 2008
Kazalo: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
Polni tekst
Elektronski eKnjiga
7
Izdano 2010
Kazalo: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Polni tekst
Elektronski eKnjiga
8
Izdano 2014
Kazalo: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Polni tekst
Elektronski eKnjiga
9
Izdano 2006
Kazalo: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Polni tekst
Elektronski eKnjiga
10
Izdano 2008
Kazalo: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Polni tekst
Elektronski eKnjiga
11
Izdano 2014
Kazalo: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Polni tekst
Elektronski eKnjiga
12
Izdano 2010
Kazalo: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Polni tekst
Elektronski eKnjiga
14
Izdano 2013
Kazalo: ... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...
Polni tekst
Elektronski eKnjiga
15
Izdano 2008
Kazalo: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Polni tekst
Elektronski eKnjiga
16
Izdano 2006
Kazalo: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Polni tekst
Elektronski eKnjiga
17
Izdano 2005
Kazalo: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Polni tekst
Elektronski eKnjiga
18
Izdano 2008
Kazalo: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Polni tekst
Elektronski eKnjiga
19
Kazalo: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Polni tekst
Elektronski eKnjiga
20
Izdano 2010
Kazalo: ... for the Directed k-Tour and k-Stroll Problems -- Submodular Secretary Problem and Extensions -- Approximation...
Polni tekst
Elektronski eKnjiga