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