157 search results - page 8 / 32 » Staircase-down SET programming approach for phase-change mem... |
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
103
click to vote
CSFW
2011
IEEE
13 years 11 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
105
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
102
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...