561 search results - page 81 / 113 » Alias Analysis of Executable Code |
BICOB
2010
Springer
14 years 1 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
BMCBI
2005
13 years 8 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...
SIGOPS
2010
13 years 7 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
NDSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Traditionally, techniques for computing on encrypted data have been proposed with privacy preserving applications in mind. Several current cryptosystems support a homomorphic oper...
FMCAD
2004
Springer
14 years 13 days ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...