744 search results - page 99 / 149 » Software Transactional Memory on Relaxed Memory Models |
133
Voted
MASCOTS
1997
15 years 5 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
127
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
157
click to vote
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
Hash tables provide efficient table implementations, achieving O(1), query, insert and delete operations at low loads. However, at moderate or high loads collisions are quite freq...
144
Voted
PC
2010
15 years 2 months ago
2010
Compute unified device architecture (CUDA) is a software development platform that allows us to run C-like programs on the nVIDIA graphics processing unit (GPU). This paper prese...
123
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...