5235 search results - page 108 / 1047 » Analysis of Multithreaded Programs |
ADT
2010
15 years 1 months ago
2010
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
100
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
107
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we introduce a profile-driven online page migration scheme and investigate its impact on the performance of multithreaded applications. We use lightweight, inexpens...