Samþykkt | Titill | Höfundur(ar) |
---|---|---|
10.2.2015 | Analyzing different scheduling policies in Natjam using Timed Rebeca | Helgi Leifsson 1976- |
3.2.2011 | Developing Correct Distributed Systems: Real World Case Studies | Helgi Leifsson 1976- |
16.6.2011 | Guided Search for Deadlocks in Actor-Based Models | Steinar Hugi Sigurðarson 1985- |
8.8.2012 | Hröðun Samsetningar Þvingunarstöðuvéla með GPGPU Samhliðu | Gunnar Kristinn Vilbergsson 1981- |
16.6.2011 | Timed Rebeca: Refinement and Simulation | Árni Hermann Reynisson 1984- |