๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An executable specification and verifier for relaxed memory order

โœ Scribed by Seungjoon Park; Dill, D.L.


Book ID
119772957
Publisher
IEEE
Year
1999
Tongue
English
Weight
196 KB
Volume
48
Category
Article
ISSN
0018-9340

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Sensitivity and specificity of three cli
โœ Cheryl A. Luis; Warren W. Barker; K. Gajaraj; Dylan Harwood; Randy Petersen; Ali ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 97 KB ๐Ÿ‘ 1 views

Objective. To evaluate the sensitivity and speciยฎcity of the clinical features of three published diagnostic criteria for diuse Lewy body disease (DLBD) using autopsy-conยฎrmed Alzheimer's (AD), DLBD and AD DLBD (mixed) dementia cases. Design. Retrospective chart review of an autopsy series of 56 pa

Cross-modal temporal order memory for au
โœ Daren Zhang; Xiaochu Zhang; Xiwen Sun; Zhihao Li; Zhaoxin Wang; Sheng He; Xiaopi ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 170 KB ๐Ÿ‘ 1 views

## Abstract A function of working memory is to remember the temporal sequence of events, often occurring across different sensory modalities. To study the neural correlates of this function, we conducted an eventโ€related functional magnetic resonance imaging (fMRI) experiment with a crossโ€modal mem