1
Izdano 2006
Kazalo: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Polni tekst
Elektronski eKnjiga
5
Izdano 2015
Kazalo: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Polni tekst
Elektronski eKnjiga
6
Izdano 2007
Kazalo: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Polni tekst
Elektronski eKnjiga
7
Izdano 2014
Kazalo: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Polni tekst
Elektronski eKnjiga
8
Izdano 2013
Kazalo: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
Polni tekst
Elektronski eKnjiga
9
Izdano 2012
Kazalo: ... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...
Polni tekst
Elektronski eKnjiga
10
Izdano 2007
Kazalo: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
Polni tekst
Elektronski eKnjiga
11
Izdano 2005
Kazalo: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Polni tekst
Elektronski eKnjiga
12
Izdano 2007
Kazalo: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Polni tekst
Elektronski eKnjiga