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