Advanced Synchronization Facility

Known as: ASF 
Advanced Synchronization Facility (ASF) is a proposed extension to the x86-64 instruction set architecture that adds hardware transactional memory… (More)
Wikipedia

Related topics

Related topics

9 relations
CPU cacheHaswell (microarchitecture)MicroprocessorTransactional Synchronization Extensions
(More)

Broader (4)

Concurrency controlParallel computingTransaction processingTransactional memory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
European Journal of Psychological Assessment Incremental Validity of the Trait Emotional Intelligence Questionnaire-Adolescent Short Form ( TEIQue-ASF )
This study examined the incremental validity of the adolescent short form of the Trait Emotional Questionnaire (TEIQue-ASF) in… (More)
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2011
2011
Attenuation tomography of the western United States from ambient seismic noise
[1] We show that the spatial coherency of the ambient seismic field can be used for attenuation tomography in the western United… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack
AMD's Advanced Synchronization Facility (ASF) is an x86 instruction set extension proposal intended to simplify and speed up the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
African swine fever spread in the Russian Federation and the risk for the region
  • EMPRES Daniel Beltrán - Alcrudo, EMPRES Vittorio Guberti, EMPRES Lorenzo de Simone, AGAH Julio DeCastro, AGAP Klaas Dietze
  • 2010
high, and very close to the borders with Ukraine and Kazakhstan. In October 2009, an isolated outbreak was detected in Leningrad… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Bone age assessment of children using a digital hand atlas
We have developed an automated method to assess bone age of children using a digital hand atlas. The hand atlas consists of two… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
BGR: blind geographic routing for sensor networks
This paper introduces BGR, a new beacon-less geographic routing algorithm for wireless sensor networks. Data packets are… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The Weather Research and Forecast Model: software architecture and performance [presentation]
The first non-beta release of the Weather Research and Forecast (WRF) modeling system in May, 2004 represented a key milestone in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria
Given a test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection… (More)
  • table 1
  • figure 2
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Model checking agentspeak
This paper introduces ASF, a variation of the BDI logic programming language ASL intended to permit the model-theoretic… (More)
  • figure 1
  • figure 2
Is this relevant?
2000
2000
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?