1
Izdano 2005
Kazalo: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
Polni tekst
Elektronski eKnjiga
2
Izdano 2008
Kazalo: ...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... -- Probabilistic Program Analysis for Parallelizing Compilers -- 6: Linear and Non-Linear Algebra -- Parallel...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...
Polni tekst
Elektronski eKnjiga
5
Izdano 2007
Kazalo: ... to Supporting Multi-protocol Service Discovery in Pervasive Computing -- U-Interactive: A Middleware...
Polni tekst
Elektronski eKnjiga
6
Izdano 2005
Kazalo: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
Polni tekst
Elektronski eKnjiga
7
Izdano 2006
Kazalo: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
Polni tekst
Elektronski eKnjiga
8
Izdano 2005
Kazalo: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
Polni tekst
Elektronski eKnjiga
9
Izdano 2010
Kazalo: ... Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL...
Polni tekst
Elektronski eKnjiga
10
Izdano 2010
Kazalo: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Polni tekst
Elektronski eKnjiga
11
od Friesen, Jeff., Friesen, Jeff.
Izdano 2007
Teme: ...Java (Computer program language)....
Polni tekst
Elektronski eKnjiga