587 search results - page 63 / 118 » Improving the Java memory model using CRF |
140
click to vote
PDP
2005
IEEE
15 years 7 months ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
123
click to vote
ASPLOS
2000
ACM
15 years 6 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
122
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
129
click to vote
SIGMETRICS
2011
ACM
14 years 4 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...