3 zoekresultaten voor “software” in de Publieke website
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
Nieuw oefenpakket voor programmeren op quantumcomputer: OpenFermion
Over de hele wereld werken wetenschappers hard aan het ontwikkelen van een quantumcomputer. Ondertussen moeten onderzoekers leren om te programmeren op zulke machines, die fundamenteel anders zijn dan conventionele computers. Een groep wetenschappers onder leiding van Google, met onder meer natuurkundigen…
-
Lieuwe Vinkhuijzen wint derde prijs VERSEN Master Thesis Award
Promovendus Lieuwe Vinkhuijzen heeft de VERSEN Master Thesis derde prijs gewonnen voor zijn masterscriptie over quantumcomputers. ‘Een vooruitstrevende scriptie, die problemen in software engineering oplost; niet in het volgende decennium, maar nog verder in de toekomst’, aldus de jury.