1
Julkaistu 2010
Sisällysluettelo: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2012
Sisällysluettelo: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2006
Sisällysluettelo: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2005
Sisällysluettelo: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2007
Sisällysluettelo: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2014
Sisällysluettelo: ... in Sensor Network -- Performance Analysis of Routing Protocols for VANETs with Real Vehicular Traces -- A...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2006
Sisällysluettelo: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2008
Sisällysluettelo: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2015
Sisällysluettelo: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2008
Sisällysluettelo: ... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2006
Sisällysluettelo: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Hae kokoteksti
Elektroninen E-kirja