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