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