0 antall prosjekter

IS-DAAD-Forskerutveksl. Norge-Tyskland

Synthesis and analysis for concurrent programs (Syncopia)

A strong persisting trend in computer and software systems is the omni-presence of distributed and concurrent systems, as witnessed by multi-core architectures, networks and multiprocessor systems on chip, cloud computing, IoT, smartdust, blockchain, etc. The speed at which these innovations tak...

Tildelt: kr 36 017

Prosjektperiode: 2019-2021

Sted: Ukjent Fylke

IS-DAAD-Forskerutveksl. Norge-Tyskland

Go Runtime Enforcement Techniques

A strong persisting trend in computer and software systems is the all-presence of distributed and concurrent systems, as witnessed by the rise of cloud computing and multicore architectures. These developments pose serious challenges for the evolution of new programming languages and accompanyin...

Tildelt: kr 72 515

Prosjektperiode: 2015-2017

Sted: Ukjent Fylke

IS-DAAD-Forskerutveksl. Norge-Tyskland

Steffen, Martin DAADppp 2008-2009 Tysk-norsk forskerutveksling

...

Tildelt: kr 35 000

Prosjektperiode: 2008-2010

Sted: Ukjent Fylke