3872 search results - page 267 / 775 » The Java memory model |
133
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
146
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
172
Voted
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
143
Voted
IISWC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
138
Voted
CF
2009
ACM
15 years 10 months ago
2009
ACM
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...