5757 search results - page 481 / 1152 » Dynamic Policy Programming |
198
click to vote
IEEEINTERACT
2003
IEEE
16 years 27 days ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
173
click to vote
IEEEPACT
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper describes Compiler-Directed Content-Aware Prefetching (CDCAP), an integrated compiler and hardware approach for prefetching dynamic data structures. The approach utiliz...
202
click to vote
SC
2000
ACM
15 years 12 months ago
2000
ACM
We present an optimized parallelization scheme for molecular dynamics simulations of large biomolecular systems, implemented in the production-quality molecular dynamics program N...
226
click to vote
TYPES
1995
Springer
15 years 11 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
221
click to vote
VISSYM
2007
15 years 10 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...