Sciweavers

434 search results - page 63 / 87
» Logical Analysis of Hash Functions
Sort
View
96
Voted
BMCBI
2008
111views more  BMCBI 2008»
15 years 16 days ago
SimHap GUI: An intuitive graphical user interface for genetic association analysis
Background: Researchers wishing to conduct genetic association analysis involving single nucleotide polymorphisms (SNPs) or haplotypes are often confronted with the lack of user-f...
Kim W. Carter, Pamela A. McCaskie, Lyle J. Palmer
IWMM
2007
Springer
116views Hardware» more  IWMM 2007»
15 years 6 months ago
Heap space analysis for java bytecode
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
ICFP
2012
ACM
13 years 2 months ago
Introspective pushdown analysis of higher-order programs
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
Christopher Earl, Ilya Sergey, Matthew Might, Davi...
103
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
Improving program slicing with dynamic points-to data
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
Markus Mock, Darren C. Atkinson, Craig Chambers, S...
110
Voted
DBSEC
2004
170views Database» more  DBSEC 2004»
15 years 1 months ago
RBAC/MAC Security Analysis and Design for UML
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
Thuong Doan, Steven A. Demurjian, Charles E. Phill...