1
Vydáno 2010
Obsah: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2005
Obsah: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2005
Obsah: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2008
Obsah: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2008
Obsah: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2015
Obsah: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2005
Obsah: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2010
Obsah: ... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2014
Obsah: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2010
Obsah: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2008
Obsah: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2005
Obsah: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2005
Obsah: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2013
Obsah: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2010
Obsah: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2010
Obsah: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2014
Obsah: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2008
Obsah: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2007
Obsah: ... Programming for the Contact Map Overlap Problem -- Session 11: Databases, Web and Text Analysis...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2008
Obsah: ...-Centric Hardware Synthesis from Dataflow Models -- Special Session: Programming Multicores...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání