Department of
Information Technology
Loading
Start
Education
Research
Doctoral education
About the department
Contact
Internal
Listen
UPMARC
Mission
Research
Application performance
Efficiency and Predictability
Ease of Programming
Correctness
Tools
Research Groups
Publications
Awards
Publications
Posters
Press
Events
Courses
Seminars
Summer Schools
Contact
Members
Organisation
Open Positions
More
Funding
Links
Internal
UPMARC Posters
Graduate Courses
Spring 2012
Parallel Computing: Theory - Hardware - Software with special focus on Multi-core Programming, 7.5hp, Spring 2012
Programming of Parallel Computers, 10 hp, 2012
Advanced Compiler Design
Spring 2012
Reading Group: Seminal Papers in Verification (and Related Topics)
(starts 2012-02-03)
Reading Group on Timed Automata
(started 2012-01-30)
Programming of Parallel Computers, 10 hp, 2012
(undegraduate course)
Advanced Algorithmics
(
Arne Andersson
, starts Period 4)
Spring 2011
Advanced Compiler Design
Separation Logic Seminar
Programming of Parallel Computers, 10 hp, 2011
(undegraduate course)
Autumn 2010
Domain Engineering
by Guest professor Dines Bjorner
Advanced Computer Architecture
Models for performance analysis of concurrent programs HT'10, 7.5p
Spring 2010
2010-01-14
Parallel Computing: Theory - Hardware - Software with special focus on Multi-core Programming, 7.5hp
Verification Techniques (including Model Checking)
Compiler Design II
x
Search results appear here...