1
Baskı/Yayın Bilgisi 2010
İçindekiler: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2007
İçindekiler: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2013
İçindekiler: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2006
İçindekiler: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2012
İçindekiler: ... with Decentralized Parallel Adaptation of Tetrahedral Meshes.-Efficient Simulations of the Transport Properties...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Analysis of Parallel 3D FFT for Flat Cartesian Meshes on Large Blue Gene Systems -- Scalable Multi-cores...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2008
İçindekiler: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2013
İçindekiler: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Tam Metin Erişim
Elektronik Ekitap