2512 search results - page 340 / 503 » Software Transactional Memory |
168
click to vote
OOPSLA
2010
Springer
15 years 14 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
149
Voted
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
117
Voted
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper presents hardware and software mechanisms to enable concurrent direct network access (CDNA) by operating systems running within a virtual machine monitor. In a conventi...
115
Voted
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
As server consolidation using virtual machines (VMs) is carried out, software aging of virtual machine monitors (VMMs) is becoming critical. Performance degradation or crash failu...
128
Voted
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...