5775 search results - page 316 / 1155 » A Rationale-based Analysis Tool |
188
click to vote
JDCTA
2010
15 years 1 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
238
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
188
click to vote
SAS
2012
Springer
13 years 9 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
231
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
153
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...