1
Veröffentlicht 2010
Inhaltsangabe: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2014
Inhaltsangabe: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2006
Inhaltsangabe: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Volltext
Elektronisch E-Book
17
Inhaltsangabe: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Volltext
Elektronisch E-Book
18
von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006
Inhaltsangabe: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Volltext
Elektronisch E-Book
19
Veröffentlicht 2012
Inhaltsangabe: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2012
Inhaltsangabe: ...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...
Volltext
Elektronisch E-Book