DSpace Home
→
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
→
Ιδρυματικό Αποθετήριο
→
Browsing Ιδρυματικό Αποθετήριο by Subject

Browsing Ιδρυματικό Αποθετήριο by Subject "C programs"

Now showing items 1-2 of 2

Dynamic deadlock avoidance in systems code using statically inferred effects

Gerakios, P; Papaspyrou, N; Sagonas, K; Vekris, P (2011)
Race-free and memory-safe multithreading: Design and implementation in cyclone

Gerakios, P; Papaspyrou, N; Sagonas, K (2010)

Now showing items 1-2 of 2

Browse

All of DSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Guides / Help

Links