1
Published 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook