3053 search results - page 247 / 611 » Performance of Generative Programming Based Protocol Impleme... |
101
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
112
click to vote
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
106
click to vote
HPCA
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we introduce a page-based Lazy Release Consistency protocol called ADSM that constantly and efficiently adapts to the applications' sharing patterns. Adaptation...
134
click to vote
NMELP
1994
15 years 6 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
148
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...