See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Language-based trustworthiness of multithreaded programs

Andri Saar, doktorant, (juh) Tarmo Uustalu; Keiko Nakata, Language-based trustworthiness of multithreaded programs (Mitmelõimeliste programmide keelepõhine usaldusväärsus), Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
Andri Saar
doktorikraad
Õpingud pooleli
Ei
1.09.2009
Inglise
Language-based trustworthiness of multithreaded programs
Mitmelõimeliste programmide keelepõhine usaldusväärsus
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)