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