4722 search results - page 455 / 945 » Encoding Program Executions |
184
click to vote
SEW
2006
IEEE
16 years 10 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
170
click to vote
ASPLOS
2006
ACM
16 years 9 days ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
173
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
156
click to vote
IWIA
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
146
click to vote
ISLPED
2005
ACM
15 years 12 months ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...