1
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2008
İçindekiler: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2015
İçindekiler: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Tam Metin Erişim
Elektronik Ekitap