Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Subjects: Arm; Iris; program logic
-
Source:
Hammond , A , Liu , Z , Pérami , T , Sewell , P , Birkedal , L & Pichon-Pharabod , J 2024 , ' An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture : The AxSL Logic ' ,
-
Record details
Subjects: complexity; concurrency; consistency checking
-
Source:
Chakraborty , S , Krishna , S N , Mathur , U & Pavlogiannis , A 2024 , ' How Hard Is Weak-Memory Testing? ' , Proceedings of the ACM on Programming Languages , vol. 8 ,
-
Record details
Subjects: Memory; Metaphor; Multisensory perception
-
Source:
Wang , Q J , Thomadsen , J K & Amidi , A 2024 , ' Can metaphors help us better remember wines? The effect of wine evaluation style on short-term recognition of red wines ' , Food Research
-
Record details
Subjects: APOE4; amyloid imaging; memory
-
Source:
Kjeldsen , P L , Damholdt , M F , Madsen , L S , Nissen , P H , Aanerud , J F A , Parbo , P , Ismail , R , Thomsen , M K , Eskildsen , S F , Østergaard , L & Brooks , D J 2024 , ' Performance on
-
Record details