Documente publicate de Tania Ghinea
Tania Ghinea
1 document publicat în Biblioteca RegieLive
CDS
Capitolul 1 2016-2017 Rezumat •Definirea modelului abstract al calculului concurent. Modelul intreteserii. •Corectitudine •Implementarea modelului in Promela/SPIN si Java 2016-2017 Calcul concurent •Calcul concurent = instrument de abstractizare pentru paralelismul potential. •Program secvential = program... citește mai departe
275 pagini
Gratis Extras Preview