1
Publié 2006
Table des matières: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Accéder au texte intégral
Électronique eBook
4
Publié 2005
Table des matières: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Accéder au texte intégral
Électronique eBook
5
Publié 2015
Table des matières: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Accéder au texte intégral
Électronique eBook
7
Publié 2006
Table des matières: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
Accéder au texte intégral
Électronique eBook
8
Publié 2007
Table des matières: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Accéder au texte intégral
Électronique eBook
9
Publié 2006
Table des matières: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique -- Self-organization...
Accéder au texte intégral
Électronique eBook