uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
State-Space Exploration for Concurrent Algorithms under Weak Memory Orderings
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2008 (English)In: Proc. 1st Swedish Workshop on Multi-Core Computing, 2008, 82-88 p.Conference paper (Other academic)
Place, publisher, year, edition, pages
2008. 82-88 p.
, Research report / Blekinge Institute of Technology, ISSN 1103-1581 ; 2008:07
National Category
Computer Science
URN: urn:nbn:se:uu:diva-105806OAI: oai:DiVA.org:uu-105806DiVA: diva2:222516
Available from: 2009-06-09 Created: 2009-06-09 Last updated: 2011-01-21Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Jonsson, Bengt
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 316 hits
ReferencesLink to record
Permanent link

Direct link