2468 search results - page 130 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
181
Voted
DSRT
2009
IEEE
15 years 1 months ago
2009
IEEE
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
116
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Address-space randomization is a technique used to fortify systems against bu er over
ow attacks. The idea is to introduce arti cial diversity by randomizing the memory location o...
142
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
146
click to vote
ACL
2008
15 years 5 months ago
2008
In statistical language modeling, one technique to reduce the problematic effects of data sparsity is to partition the vocabulary into equivalence classes. In this paper we invest...
151
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...