SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:DiVA.org:uu-29978"
 

Search: onr:"swepub:oai:DiVA.org:uu-29978" > Specification and V...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems

S. Takata, K. Taguchi, K. Joe, A. Fukuda (author)
Uppsala universitet,Institutionen för informationsvetenskap
 (creator_code:org_t)
CSREA Press, 1998
1998
English.
In: Procs. of Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA) '98. - : CSREA Press. ; , s. 923-930
  • Conference paper (peer-reviewed)
Subject headings
Close  

Publication and Content Type

ref (subject category)
kon (subject category)

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
S. Takata, K. Ta ...
Articles in the publication
By the university
Uppsala University

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view