1
Опубликовано 2012
Оглавление: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2008
Оглавление: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2005
Оглавление: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2014
Оглавление: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2005
Оглавление: ... Schur Functions -- Trace-Class Weyl Transforms....
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2005
Оглавление: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2008
Оглавление: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2015
Оглавление: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2008
Оглавление: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2008
Оглавление: ... of the Trace Minimization Eigensolver -- A Load Balancing Knapsack Algorithm for Parallel Fuzzy c-Means Cluster...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2007
Оглавление: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2014
Оглавление: ... in Sensor Network -- Performance Analysis of Routing Protocols for VANETs with Real Vehicular Traces -- A...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2005
Оглавление: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2006
Оглавление: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2006
Оглавление: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2006
Оглавление: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2006
Оглавление: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Полный текст
Электронный ресурс eКнига