1
Опубликовано 2010
Оглавление: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2005
Оглавление: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2008
Оглавление: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2014
Оглавление: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2008
Оглавление: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2005
Оглавление: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2005
Оглавление: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2010
Оглавление: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2007
Оглавление: ... Programming for the Contact Map Overlap Problem -- Session 11: Databases, Web and Text Analysis...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... -- Session 3 - Low Power Analog Circuits -- Design of a Linear Power Amplifier with ±1.5V Power Supply Using...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2008
Оглавление: ... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2006
Оглавление: ... Combinatorial Optimization Problems Using Evolutionary Algorithms -- Regular Sessions: Computational Linguistics...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2008
Оглавление: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2014
Оглавление: ... Machine Using Simple Derivative Term -- Representations of Highly-Varying Functions by One-Hidden-Layer...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2005
Оглавление: ... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2005
Оглавление: ...Information Organization -- Automatic Word Clustering for Text Categorization Using Global...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2013
Оглавление: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Полный текст
Электронный ресурс eКнига